{"entities":{"Q3721789":{"pageid":5751695,"ns":120,"title":"Item:Q3721789","lastrevid":50692202,"modified":"2026-01-14T20:04:03Z","type":"item","id":"Q3721789","labels":{"en":{"language":"en","value":"Canonical logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951984"}},"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":"Q3721789$FEA85854-B48F-40A7-9BE5-18007F7A2559","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deca51a67b345a0a6e52c182bd75a9ef51efd8a4","datavalue":{"value":{"text":"Canonical logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3721789$C5D8F7C4-33DF-4A07-85A9-5202D87BEAD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9034302de9a6c7b255cd955b6ae21a617dbf3b65","datavalue":{"value":"0592.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721789$DA91A3E2-A7AB-47A5-99B3-EA1A7AAF0FE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edc4629b6978b7b6dcc30f9125c52f380e26f4de","datavalue":{"value":"10.1016/0743-1066(86)90020-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721789$E0DA0DF4-A9AA-4B71-B45D-F517642C94D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721789$DDDFD48E-0202-4168-971B-0C43CA4740B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721789$3D7357AC-E736-4E1E-A550-72B9EAC9FBEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721789$42319EBE-99F0-4837-AEDB-BD53FC2BEDEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3721789$C693A5DB-E134-4148-A1C3-961EED6C8C4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721789$3BEFB43C-83A7-4F66-AF3D-0C97D4F11E09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfd7054550ddd60839f236521477d3497df04da7","datavalue":{"value":"3951984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721789$47A313C5-C615-4A3F-A59B-0F5F4A4CFA05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ad9be70d7db725e5d04a3431727f0b05ff1680","datavalue":{"value":"canonical logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721789$CE7371FC-11FA-4D36-A863-A9481411EA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb68759d6dd5b828fd7c16e7b7f2a134205c50f","datavalue":{"value":"greatest fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721789$2755EED4-F17E-4E95-9E1A-30AAA8545899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efe618e9dc96f8b5d3e2c8db712e1f01edf4e18","datavalue":{"value":"finite failure set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721789$9BB5F69A-7A3B-4732-9407-4FA8EFD22B14","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":"Q3721789$EFC40D73-A03B-4C2D-B96C-0BC13B512697","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0e77d11ad37590837f6c12e0f3c35cbaad49b50","datavalue":{"value":"https://doi.org/10.1016/0743-1066(86)90020-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3721789$2CDAA973-AD70-42D8-91CE-F872E34ACE04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7df3c67626c1ee8f2065b3c3ecca1df72661c88c","datavalue":{"value":"W2029753048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721789$E5C61D4D-DE73-4FF0-9BD6-9878FF2EE660","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed33447b2191b3f838a06f84d94e7ac1e3acc282","datavalue":{"value":{"entity-type":"item","numeric-id":4730755,"id":"Q4730755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957ed1d15e25fb9389561c499a23a19ab3268ac7","datavalue":{"value":{"amount":"+0.8134020566940308","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":"Q3721789$9C1CEB47-DDE9-40D3-8D3C-D7864FD65E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b064794bacfe1398b45a192b2645c59cc4a39d5b","datavalue":{"value":{"amount":"+0.7826002836227417","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":"Q3721789$9B35CA60-722B-489C-BA94-26788DBBD90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fe35c49512ef6edd57763a74b6cf4b77213db0","datavalue":{"value":{"entity-type":"item","numeric-id":3727350,"id":"Q3727350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf34efbb93402004574d918693591088fe87d058","datavalue":{"value":{"amount":"+0.7761417627334595","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":"Q3721789$5783E64D-984F-47C1-9720-17D9F88D6CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf67681e0f32eedeb6b49c09fce8612d504403c","datavalue":{"value":{"entity-type":"item","numeric-id":1208418,"id":"Q1208418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70feadd91796172091cd6a39535f3eb99b1851a1","datavalue":{"value":{"amount":"+0.7679508328437805","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":"Q3721789$7715645D-8D02-46EA-B9E6-6F9E347D5EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440b1f158ba43985cedbece110a0c908812295cf","datavalue":{"value":{"amount":"+0.7665714025497437","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":"Q3721789$2FDD00DB-B5F4-41FE-AEC3-C269F34ED434","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721789"}}}}}