{"entities":{"Q3709865":{"pageid":5739771,"ns":120,"title":"Item:Q3709865","lastrevid":50524571,"modified":"2026-01-14T07:12:54Z","type":"item","id":"Q3709865","labels":{"en":{"language":"en","value":"General failure of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3938538"}},"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":"Q3709865$3A730B97-5725-4845-AB7F-9A50D9CB4EA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b4558dc34081855f005f36cad009dc3024be32a","datavalue":{"value":{"text":"General failure of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3709865$71D1292C-3BBD-41A3-A775-80C3EACC5165","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87d18398a6587709b9ad51fcfc2a276dcbc6b9fb","datavalue":{"value":"0585.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709865$96E8995C-813F-4160-BA1B-63A63AA000E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a4b1adb4c9e45100e1a468c948f499a02a50f85","datavalue":{"value":"10.1016/0743-1066(85)90016-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709865$09595182-AD67-4E95-AC9B-BD43ED43B9E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"112ebcbf4140cf8495431a90011fd28bca264e9f","datavalue":{"value":{"entity-type":"item","numeric-id":3709864,"id":"Q3709864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3709865$96BEFE4C-DFCE-403A-A26C-3D4A67CD8337","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":"Q3709865$CA73B2F2-6DF3-4866-A661-2B292A487055","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3709865$8A31FC8E-F813-4B1C-862B-043BF81B77CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709865$7A0654BF-C099-4246-B079-0A0FE6CB746D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b36eef1f8696ed3132f4bf0a8c1dadf07a81210","datavalue":{"value":"3938538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709865$F854D524-F70F-4C54-87B3-3362E7B9E9E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83d478eec3c71503f66149ab52c1c16a2d41db1","datavalue":{"value":"finite failure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709865$CDED4238-4842-4DDD-A24C-9EE4D054757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709865$BDE6F76B-A261-49BD-B944-19EED7FD69B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709865$AEBA72DE-4A45-4F54-9E82-E5F55F3A8968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709865$9EB75558-18A0-4558-B596-DC8923ED004B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ea45f791e1a244df1d943e565564d65190a4c40","datavalue":{"value":"negation-as-failure rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709865$8B26906A-FF88-4366-8B19-A13F3835D750","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":"Q3709865$5FD0C088-EA32-464C-80E4-28A3B01B7499","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8bee0b853fb31e9becf036ae3fb0e8032df70c0","datavalue":{"value":"https://doi.org/10.1016/0743-1066(85)90016-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3709865$129F6DFC-DFB6-4317-A42F-0DA2A61D0AAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f67e277e57cae94c9333ff315090e46c808263ae","datavalue":{"value":"W2028326943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709865$70A7D4C9-4ACA-45DA-8AED-D1E61F39B6AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9fa3e8b68526775a90960b86843d4ea329918c","datavalue":{"value":{"entity-type":"item","numeric-id":3729995,"id":"Q3729995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922f9f2f7ce0cc1aeeab9d01fbc99c34d49708a1","datavalue":{"value":{"amount":"+0.9313506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$C8CC1D09-E444-436C-AFDA-FECFE4181FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358d285ae9b1937d8e4f6b00914eb056783102f4","datavalue":{"value":{"entity-type":"item","numeric-id":4499240,"id":"Q4499240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fedd98e0ce7c24a49b66b014c198d4598261c22","datavalue":{"value":{"amount":"+0.88430846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$2E2C34F7-F24F-4D83-8585-41C01D1B1B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6975bdc9d6da6da02341e66fad7a3b0c782032df","datavalue":{"value":{"entity-type":"item","numeric-id":4834296,"id":"Q4834296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6136f2d8fe1c5f3b913bd5379ac1d53ec0ed38e5","datavalue":{"value":{"amount":"+0.8685249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$37F83835-ED53-48FA-BED7-F634B4E8936A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2b9e28815f430bf250c196e9dfa6b5f93d4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4409162,"id":"Q4409162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce2b3581e2f0fa8b66bd87b1c6e4d970ee6e413","datavalue":{"value":{"amount":"+0.86719173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$70E3A3DE-6156-48E6-AE0A-92BC536C3ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1b54fd7b39431feb0673fca0ec53731cb9b694","datavalue":{"value":{"entity-type":"item","numeric-id":2767053,"id":"Q2767053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc445b1718f6bbac45313ade4a72ce5be0fe467","datavalue":{"value":{"amount":"+0.86601454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$47594DA2-EA5A-43E2-8C99-AA3410218A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0cac6981f58e33f807f4f8d9568fa6c53de152","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff2af5ee52fbefd913e1a3f642a5de36324e46e","datavalue":{"value":{"amount":"+0.8653954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$D389B025-0329-4690-9016-33C11593834A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3a38e78f6a156ca29efc1a7eef2d172e6e013d","datavalue":{"value":{"entity-type":"item","numeric-id":3821633,"id":"Q3821633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff2af5ee52fbefd913e1a3f642a5de36324e46e","datavalue":{"value":{"amount":"+0.8653954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$CD69A277-B71B-41C1-BE96-6A796E87E12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a261eddd0dc989216193a57dc2f32d3a98d29213","datavalue":{"value":{"entity-type":"item","numeric-id":1924818,"id":"Q1924818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22278f7e25e2613b0cce098001a3f576ddb91457","datavalue":{"value":{"amount":"+0.8612319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$8C23FEF1-FFB9-4E00-B8D8-F0C4F002935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a3473d1b4dde1c282d33d41cbd0091f75bcd22","datavalue":{"value":{"entity-type":"item","numeric-id":4819004,"id":"Q4819004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b1ca067b0302a3e21bb98175fb9f6572ea0250","datavalue":{"value":{"amount":"+0.858442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$B2C7F97B-345E-4B99-95D5-283BD306DEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b254533dbc1834873bc702e1c327348b2eb041d7","datavalue":{"value":{"entity-type":"item","numeric-id":4010369,"id":"Q4010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342ad8684a4fcb803d398b457d1935a7da0478fd","datavalue":{"value":{"amount":"+0.85769665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709865$6269EEEF-9ED8-47B0-A143-2B94F029AD76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3709865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3709865"}}}}}