{"entities":{"Q5387355":{"pageid":7416929,"ns":120,"title":"Item:Q5387355","lastrevid":100956782,"modified":"2026-06-05T23:32:36Z","type":"item","id":"Q5387355","labels":{"en":{"language":"en","value":"Logic for computer scientists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5273775"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387355$3F817B87-4CF4-4D10-9CF4-C37B4CE1C3BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a3d36ea67288db626871e8a8160060129239589","datavalue":{"value":"1157.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387355$F6FAD0A4-E60E-453C-AA6A-6CCBC71274B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71c2a8fd59ff2aea42f2828ebd43ce4734ce1b7c","datavalue":{"value":{"entity-type":"item","numeric-id":515722,"id":"Q515722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387355$2618B3FE-50E3-4FF4-8A08-03DB3B989FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fcf9a1860cd7d1f6b1b7cf1250a28099f94116c","datavalue":{"value":{"entity-type":"item","numeric-id":3373755,"id":"Q3373755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387355$B3EC5223-3A4D-455C-A523-D16227689AD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25806089e583ea52da54f5efd50e3ccca7221450","datavalue":{"value":{"time":"+2008-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387355$6B252385-B366-4BE7-BCAD-9B267A678002","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387355$40FD55B0-50AA-4DC0-904F-3F669641F7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387355$000B380C-EE4E-45B3-AA16-E09CF1E118C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"824ddfa6120cbcfa79bf5dcf5ea5ff7a57498fc0","datavalue":{"value":"5273775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387355$D86E2B88-2FC3-4849-B4BD-50F8EA1B1334","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387355$33B8DACC-D194-4061-8EB4-755A8A00FC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387355$B6D92033-D07F-4278-BC67-42B1C62AE69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387355$936F9CCE-C0B4-4610-8488-1FF181EE0DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387355$FB29A53F-4720-4A61-8442-2DB440B96A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387355$E015DBF8-91BF-4214-938C-B78BFC317FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387355$24B01E0C-EBE3-42EC-927F-74EAE7D64674","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387355$ADFB4DE1-9F2A-418B-BD78-3DB2B8015D84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d04babaa06dc259361c7e79f86f8cbaf7960e5","datavalue":{"value":{"entity-type":"item","numeric-id":4840188,"id":"Q4840188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e1d6decc104593158bde2bb71c10069da7e120","datavalue":{"value":{"amount":"+0.8583818078041077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387355$8C7FB601-8751-4E07-BB5B-4A6E593ED4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80398b71b8b595238d3e53acbb8a995f385a3491","datavalue":{"value":{"amount":"+0.8556646704673767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387355$381D6438-4295-402B-8E6E-6790A710B91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e9e17b0a81aad215536eb5c0c4137929803b98","datavalue":{"value":{"entity-type":"item","numeric-id":3998237,"id":"Q3998237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876bdec198940066b8eb754d6697d52f71eaf044","datavalue":{"value":{"amount":"+0.8528022766113281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387355$5273219B-A9FD-408B-82FC-B58E10DAC5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219169bc114953f4a7c749e83f5e4953dd42e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4293537,"id":"Q4293537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876bdec198940066b8eb754d6697d52f71eaf044","datavalue":{"value":{"amount":"+0.8528022766113281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387355$DE6C5DC0-85CA-4D67-AF90-E0ECAEE28AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061eec73e6dd1f3a45722b47cfc991e7ff4fa874","datavalue":{"value":{"entity-type":"item","numeric-id":3998314,"id":"Q3998314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b384b05e3b828dae8b8c8fdf3f1ce193cd5bbbe1","datavalue":{"value":{"amount":"+0.8512420058250427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387355$8CB902D0-4A83-498F-A138-63FFB95A4587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic for computer scientists (scientific article; zbMATH DE number 5273775)","badges":[]}}}}}