{"entities":{"Q3729995":{"pageid":5759901,"ns":120,"title":"Item:Q3729995","lastrevid":50825813,"modified":"2026-01-15T07:53:02Z","type":"item","id":"Q3729995","labels":{"en":{"language":"en","value":"Comments on \u201cgeneral failure of logic programs\u201d"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3960966"}},"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":"Q3729995$7D5455BB-AA81-420F-8C02-D1853207960D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c09365a77502b58718e1e60495420e900fe6c2b2","datavalue":{"value":{"text":"Comments on \u201cgeneral failure of logic programs\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3729995$D37C8193-BCC1-46D2-8DF9-F3B22DE092F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22f77c0cec83ba0c9370aed844e19dfcf44cf1a4","datavalue":{"value":"0596.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3729995$A267FA87-3E1F-45B9-A10B-BD850494FDDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd00829a8c4c446e70afad4f71a5215390f9c46d","datavalue":{"value":"10.1016/0743-1066(86)90018-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3729995$D04C4335-DBC5-4DF7-904D-84D08BEF046E","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":"Q3729995$A7A19BA8-0281-4FC5-9A42-5D4F7BC2795C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eb63b20d64c32d1c242efa8869e2c9d8345679","datavalue":{"value":{"entity-type":"item","numeric-id":688573,"id":"Q688573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3729995$A2D0C871-DC2F-4B0C-B175-F39C4ED216BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc887fe48915953c46a830e1bd31614664eea0f","datavalue":{"value":{"entity-type":"item","numeric-id":688574,"id":"Q688574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3729995$A328A431-6515-443B-AA64-2B64670F1AC7","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":"Q3729995$9896138C-7131-4D30-918A-1DBD3CF094A6","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":"Q3729995$5410AD8D-CA32-4CFD-A6B0-1B993A4BF0D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3729995$D3639254-7194-404E-86F7-9FC2CE1F743C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56d1fcbb6760cdcb3ef9f1db9608551cb136c823","datavalue":{"value":"3960966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3729995$33D400C7-93C2-4682-85DE-2EF726426D66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5df17d337565c042263891930b11ceb3638a1961","datavalue":{"value":"general failure sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729995$E56F7AA3-8095-4CCD-804E-2ABF07D8FAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729995$3A3BCE1A-0AAD-44E5-86D7-3CCF8ACFA14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729995$2EF8B619-AF03-40DE-8E7B-1B21EB998C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729995$EBA893AE-9E00-4C21-8A3E-0E40F0BDB397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edfb0bbbbcc9a2423c959cfb001e135459cdd128","datavalue":{"value":"negation- as-failure rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729995$451318E1-3403-4EE5-9EF8-E7F3E7EE0E16","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":"Q3729995$53110FC3-0F83-42FC-BA28-36A23DE7841C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995f47a42869b3a8e3a8310a1e4e0d54d1e8de4e","datavalue":{"value":{"entity-type":"item","numeric-id":3709865,"id":"Q3709865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6250e79dbefa250adf63ba7f9dd5c44a8e97832d","datavalue":{"value":{"amount":"+0.8994162082672119","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":"Q3729995$9E3A3A71-10C0-4D12-A9CD-F9764775D2AE","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":"cf276f5be441a930c7d13c25769b66af930c3da1","datavalue":{"value":{"amount":"+0.8106807470321655","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":"Q3729995$8621FBBB-3E58-42F4-903A-4FE5B70FE2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cae52f1a21ba66a900521f89b38195a30a2d9da","datavalue":{"value":{"entity-type":"item","numeric-id":3732985,"id":"Q3732985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf276f5be441a930c7d13c25769b66af930c3da1","datavalue":{"value":{"amount":"+0.8106807470321655","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":"Q3729995$A0231632-E642-49F0-A808-43FA13CBFA11","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":"e7644567d1448b42afee649670954949329cfb68","datavalue":{"value":{"amount":"+0.8060576915740967","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":"Q3729995$9300074B-74C2-47D1-B6F4-999C1F9ADB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8d845ffd3afc75d28008e681b45bb8943c9118","datavalue":{"value":{"entity-type":"item","numeric-id":3740275,"id":"Q3740275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a5481a7703fd9a180828fbc09e7fa075bdf3de","datavalue":{"value":{"amount":"+0.8029515147209167","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":"Q3729995$61DD81FE-E6AD-43FF-9E14-60203DE61944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3729995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3729995"}}}}}