{"entities":{"Q1155":{"pageid":1490,"ns":120,"title":"Item:Q1155","lastrevid":4760,"modified":"2020-05-20T11:00:30Z","type":"item","id":"Q1155","labels":{},"descriptions":{},"aliases":{},"claims":{"P10":[{"mainsnak":{"snaktype":"value","property":"P10","hash":"b31f59803aef1717fb1227b1b704278c541ae75a","datavalue":{"value":"logic","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155$914136B3-E28D-4A21-ACBD-C916BC41004F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P10","hash":"81356de143d3837ac3ad4180eeb9d7092bfd4fc3","datavalue":{"value":"first-order-logic","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155$42DE6231-6DFF-4B3F-A534-847F5FC79867","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"21474069b5029a73e33b456a5ebff8a3015c39f9","datavalue":{"value":"B.56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155$97808781-73E3-466E-BE16-5B5174CE0E1C","rank":"normal"}],"P8":[{"mainsnak":{"snaktype":"value","property":"P8","hash":"50ef48a5f7ad923e3891f6738294303f6c78a27c","datavalue":{"value":"q_510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155$0A9F1B5A-FD4A-4A35-99E0-FC3E480DFF59","rank":"normal"}],"P9":[{"mainsnak":{"snaktype":"value","property":"P9","hash":"ac2bb3a12e516e8bc4bd49cca366975a34df1b96","datavalue":{"value":{"entity-type":"item","numeric-id":887,"id":"Q887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155$13CFB29D-7C9E-411A-BAF5-15F4F87E60CD","rank":"normal"}],"P5":[{"mainsnak":{"snaktype":"value","property":"P5","hash":"93b2fb485eefbb77410d933d9de5caf78eeb0b32","datavalue":{"value":"412387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155$AD9AD574-CDF1-46B7-A8FC-53A1BE101F99","rank":"normal"}],"P14":[{"mainsnak":{"snaktype":"value","property":"P14","hash":"c12ca9d416167914c7a3da4cd892469e9610be30","datavalue":{"value":"412396","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P1":[{"snaktype":"value","property":"P1","hash":"6ef6d19029f9e2503382303a8ff27dc5c748f765","datavalue":{"value":"(\\phi \\to \\psi) \\equiv (\\lnot\\phi \\lor \\psi)","type":"string"},"datatype":"math"}]},"qualifiers-order":["P1"],"id":"Q1155$0980b18f-42d4-d0ef-2a10-4a7918c9d65e","rank":"normal"}]},"sitelinks":{}}}}