{"entities":{"Q1194328":{"pageid":1205077,"ns":120,"title":"Item:Q1194328","lastrevid":69863094,"modified":"2026-04-13T10:50:49Z","type":"item","id":"Q1194328","labels":{"en":{"language":"en","value":"From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64235"}},"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":"Q1194328$2F07C9A9-E742-48F4-8A60-613C867642DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1df7c27399d7880c2f850a5c198e2c9b7d6466ad","datavalue":{"value":{"text":"From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194328$20C63535-0A61-4428-B481-B1CB517B75E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b3f751e5d93a4130eb3190cfa69cd22d233d6e8","datavalue":{"value":"0761.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194328$CEEA6B78-4EDF-4C13-B0F7-77978A9D5E65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6788ce964750c0d325aadee93294ff2293d1c04c","datavalue":{"value":"10.1016/0304-3975(92)90051-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194328$0474E4EF-5505-4BCF-B85E-D021E8709ED6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$30066FA3-A2F6-4439-8C99-6F7AE840F6E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194328$8BEDCAAE-627A-44C9-9203-9E85D078DEE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194328$60DF3BC7-0D5B-4599-81B1-59C40A882FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194328$45DE637A-8545-4D14-B3FE-E5E2EC530E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194328$C726354B-8B20-42D0-968F-3EC7997B6600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194328$B4C99D4C-F776-4FA4-8994-2C4E732781F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daf881ebb4f89cc8a57aa9c3475d5ad8af075637","datavalue":{"value":"64235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194328$BA6841F0-9BE9-4BA7-99BE-976B32FC9AD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab85d384ef69d7e37066179f6af5f817410fe04c","datavalue":{"value":"logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194328$7CA683DF-154B-4D28-B6F5-669EE9AD5124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11661a45c9ce707d777af7d718cf471c14098ee","datavalue":{"value":"Horn clause logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194328$C97B4067-A5DC-4CE1-A603-2666C3B82795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$05B14F47-6388-4AC2-AB1A-890DC0C50807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c84243db84b9ad11e29e4f07f7d5740f9c0b8a","datavalue":{"value":{"entity-type":"item","numeric-id":671990,"id":"Q671990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$225BD793-D1F9-417E-AB24-C55AE6E3691D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$F4EF49D7-F2DE-410A-96B4-EE54B7FC5C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$1DEE5479-8766-4595-A94A-3A532E9EEE2F","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":"Q1194328$33C115E3-9189-4605-BD9A-BABAF1D091C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$C81929F2-1B0D-406A-BBAF-94A2246A0B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$D03D899F-4F52-4642-9E7F-E71CB120BDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$F63F3D62-7892-488D-A5B0-65F89C135CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d143122fb0182855e383d1a1512a8200834897","datavalue":{"value":{"entity-type":"item","numeric-id":3975139,"id":"Q3975139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$8AFD8FD9-3C01-449B-90C1-BEF98383BC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712533e6b73ae1d27b1a20e39c8933da5ab0ede1","datavalue":{"value":{"entity-type":"item","numeric-id":1177921,"id":"Q1177921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$E520D778-BE48-44D8-B1E8-C0AB70B2759D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a018ae0012997acbcad3c78eb1443f3f21cd52d","datavalue":{"value":{"entity-type":"item","numeric-id":920622,"id":"Q920622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$E36D7555-EFF2-4E43-879D-1D30B4795816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$4018D18D-BF63-4217-BF0E-3A7E8B064650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$CB5FD3BB-20F7-43C4-BB1E-14C9CBC03B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$5913D44D-35C7-4E11-8A07-5E4EA30FC557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$F4E69091-C8F1-4DB3-9DAE-7446C66637B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4c5df0a142e825f10aaf217015567d11fd8a99","datavalue":{"value":{"entity-type":"item","numeric-id":4038706,"id":"Q4038706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$907BE514-8E18-4CBB-90FF-06E2181E17C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194328$79805B2F-95C8-4C79-BAC7-6FCFFC303B1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b90a987bfbf518d4d499d6f2ff93900d089fb74","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90051-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194328$5BDD3D40-34DD-44CA-9D19-E22FF05D33AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a083c4a2f71e4a08ab1e98198a1889037799245c","datavalue":{"value":"W2155936349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194328$297276B0-88EC-496E-9900-190C3DD2916A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b46c8d38a6f07d894cc47342f506e273022ff2","datavalue":{"value":{"entity-type":"item","numeric-id":4205425,"id":"Q4205425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e280164b15d7efb8dba31cc0fce3c31c2f4161","datavalue":{"value":{"amount":"+0.8061441779136658","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":"Q1194328$7F274D35-06A1-435F-8A52-6F18CBB8F829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2681185cc09cf5682276dba49b4e16e0b19535df","datavalue":{"value":{"entity-type":"item","numeric-id":3975139,"id":"Q3975139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd7a1392980ca97020248ec9f50867171b778e1","datavalue":{"value":{"amount":"+0.782168447971344","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":"Q1194328$97CA33ED-DEF2-48E8-83E9-7AE840EA551E","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":"0bd7a1392980ca97020248ec9f50867171b778e1","datavalue":{"value":{"amount":"+0.782168447971344","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":"Q1194328$F1C22C59-99CA-4284-A20E-11EDEAB28D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a9ce6483b176eed7db96d8fb678f0377b9831d","datavalue":{"value":{"entity-type":"item","numeric-id":1177921,"id":"Q1177921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a168db16f3da3c9d41ad81018755b4f781abc7f","datavalue":{"value":{"amount":"+0.7811161875724792","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":"Q1194328$8FCDEDC4-1472-46EB-BCFE-A8342F6C532F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0486f4f34bd14f1100910ca9ed25bbe013078e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1349686,"id":"Q1349686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe515f49723e18159c07e83e15b69bcf32b36b77","datavalue":{"value":{"amount":"+0.7515915036201477","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":"Q1194328$1AB3BCF1-6E28-4CCB-97FC-1F30E6FE49DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_failure_to_success:_Comparing_a_denotational_and_a_declarative_semantics_for_Horn_clause_logic"}}}}}