{"entities":{"Q4834296":{"pageid":6863876,"ns":120,"title":"Item:Q4834296","lastrevid":47321044,"modified":"2026-01-01T08:55:51Z","type":"item","id":"Q4834296","labels":{"en":{"language":"en","value":"The Essential Inadequacy of Deduction in Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 758467"}},"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":"Q4834296$DEB547F3-184D-4CFB-86F8-A9010C253C61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a144b13917cb8627b6b56631c0111c7233cbc350","datavalue":{"value":{"text":"The Essential Inadequacy of Deduction in Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4834296$ACE21480-DAC6-44A1-B6D5-AAA3FBE78744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e774e9f6cfca4264ecc88c14f0aad359466b2b9","datavalue":{"value":"0827.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834296$36AB9E4A-567A-4E28-A746-B7B04E56F8B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7caac171d0b0c24af94789dc22eb8051ef86c94f","datavalue":{"value":{"entity-type":"item","numeric-id":1221108,"id":"Q1221108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834296$A937997D-0AF9-4A4C-A0EA-F6B34CD401AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"072bf8242b94f6e94b5f95bb1354e68b510b95f7","datavalue":{"value":{"entity-type":"item","numeric-id":3768367,"id":"Q3768367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834296$A5AD9E11-67F2-4DA1-A659-BEE41B7084AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf60efd0e92e0c4dd72abc0ac63025367466502","datavalue":{"value":{"entity-type":"item","numeric-id":300260,"id":"Q300260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834296$718C453D-881F-44B5-A6D9-ACAE7B45F2B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7950fcba93937c458f7df15b99792b7a58fc45","datavalue":{"value":{"time":"+1995-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4834296$37FA8698-8203-4539-B888-E40107FDB507","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aeca22066a527b6bf3e93af1a26c55f3216a23a","datavalue":{"value":"https://semanticscholar.org/paper/04f074d747a4c3322755b046131019cbeff4fe82","type":"string"},"datatype":"url"},"type":"statement","id":"Q4834296$A88CE6F3-C07A-41A8-96E7-E75F3F928BB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834296$CF307FF8-643C-48F9-80ED-A2ABB0280E4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f134d424fef3f6d677f604b8f76238bcd247c92c","datavalue":{"value":"758467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834296$B6724933-F50E-4632-B37B-942297317A75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834296$F15DF459-DCED-44B6-9E11-BF902C663168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5d2176b61a482811fec80ca4a4d8c5dc60cbefe","datavalue":{"value":"LP-deduction relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834296$8528E48C-DCFC-423E-9A10-A18369436D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bfe027b78cf7e063563231d29c8336698f0c64f","datavalue":{"value":"LP-consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834296$7EF9E6F3-7EE4-48D8-A01C-7A773E8379F9","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":"Q4834296$344A4BEF-2101-4D16-859B-07CBDCE6AA24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"100c8eb43905064b7df094d936eb672aeaa94c8b","datavalue":{"value":"W2079660095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834296$16097469-4B4E-449F-B62B-75B9429BC718","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92f772922c14645d3f6de8eab89c2c6d7b9d5289","datavalue":{"value":"10.1093/JIGPAL/3.1.107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834296$1287EDD6-F791-419E-AD19-9092ED15AC3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834296$040120F9-15D5-4501-B4FC-ECE79422B5A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cca44cc01e1539f6ea0687a214d7623f8cf8000","datavalue":{"value":{"entity-type":"item","numeric-id":4842537,"id":"Q4842537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9a86059514d78273e1f9154cea4a73cbec6e34","datavalue":{"value":{"amount":"+0.7666698694229126","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":"Q4834296$750B027A-3C9F-4C8B-9350-F9CEB9D0330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86621906eeee17313837d8fa8d9a23bf6546584b","datavalue":{"value":{"entity-type":"item","numeric-id":4208858,"id":"Q4208858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b6368be0033c4fa3b1a177354cad129f13dcf7","datavalue":{"value":{"amount":"+0.7622402906417847","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":"Q4834296$F727B472-5A01-46E6-A3AF-5DA6B255579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee08a2115648bf6876f249bfe90f355eb3dfb8a","datavalue":{"value":{"entity-type":"item","numeric-id":3126167,"id":"Q3126167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff227462ec7df9409e419ba9f5a62079392ed75","datavalue":{"value":{"amount":"+0.7612135410308838","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":"Q4834296$A42BAA21-4A95-4DE9-8357-19523B863A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fcabdffab0f5c6d19329f18a3079a3943dd00e","datavalue":{"value":{"amount":"+0.7517849206924438","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":"Q4834296$7155EAB9-77AD-4C8A-84D3-2BBFC05B786D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1263048b49fb17b0d13866395fe9dd64bd423cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3134502,"id":"Q3134502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ce928ca7f7004890faeda1446443a9246dffd6","datavalue":{"value":{"amount":"+0.7441915273666382","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":"Q4834296$8B025286-1231-4DE9-AAE1-F6F58FE7F451","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4834296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4834296"}}}}}