{"entities":{"Q3025342":{"pageid":3036058,"ns":120,"title":"Item:Q3025342","lastrevid":58102770,"modified":"2026-04-03T19:48:27Z","type":"item","id":"Q3025342","labels":{"en":{"language":"en","value":"Towards a Systematic Account of Different Semantics for Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2187136"}},"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":"Q3025342$CA578B76-56C0-4A7E-A525-DA6633AF3E96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86bc8e88f41587a28cfe8cc82758177838891201","datavalue":{"value":{"text":"Towards a Systematic Account of Different Semantics for Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3025342$2D834248-BFF1-4E9A-9227-F047BA5AF829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"531731f5c370d68b9c3d749c3cfc2be3acf16169","datavalue":{"value":"1101.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025342$75D12E6F-96F2-4A88-A2F2-571FE552811D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbeabc28ae419338d0fc6eb2152a601d7b21813c","datavalue":{"value":{"entity-type":"item","numeric-id":646501,"id":"Q646501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025342$92F07D66-AF52-4D11-886E-31AE0DAE981A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f460ecd3e2e10668e6c23b104091f0f56f4b7683","datavalue":{"value":{"time":"+2005-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3025342$BC4DF7E3-62FB-4E15-BF73-C1524866B136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e112e202acd56be11b63a74415a5a86f2f0616da","datavalue":{"value":"https://arxiv.org/abs/cs/0502088","type":"string"},"datatype":"url"},"type":"statement","id":"Q3025342$9ADCA40D-4279-402D-AB6B-F166A4C28350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025342$D2035DEA-1E5D-46FC-8B1B-0911B64CCCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025342$58B851DC-925E-4D14-B938-BCE3E2AC8F80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b577d2bc70e85147685972bcc2dd497c39dd7bb5","datavalue":{"value":"2187136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025342$EA4C9EA6-6813-48AC-9AB8-415B8A0340E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025342$7AD41F00-8FAC-4351-9A0E-07856D1490ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025342$0C74D00D-851A-44DE-8DA5-1450ECAF16A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341a9f5aa37a2b13f8902b729e787ffb8fdb85d2","datavalue":{"value":"stable semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025342$F13CCD41-8D8D-465B-B0E3-E365674ACC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025342$3B787D18-6553-4BEC-95BF-475D6A80AA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f26a4fe3043e4321aa608f64119a0ab7447c9dd","datavalue":{"value":"Fitting semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025342$5A56F84C-B57E-4729-AC6F-CCF2A930EA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025342$614FB86E-132F-4CBF-B1FE-076776B93D37","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":"Q3025342$7D887A39-8837-4653-9F26-5C8EC24D1631","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffa2b460b28da344c7768e348516a10441468577","datavalue":{"value":"W2032346221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025342$25FEB08D-B44A-40B6-8C8D-875EF1F923D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"360f4c44930028d97129775515170b5f8f1c79e3","datavalue":{"value":"10.1093/LOGCOM/EXI018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025342$82126129-B24A-4FC8-9FF5-ABB08BAFC7E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025342$45D2C3AB-3532-41B2-822D-5BA436317D06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d886c6996dd68f2caf749ad639a1d4c8dc19d6","datavalue":{"value":{"entity-type":"item","numeric-id":5897300,"id":"Q5897300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee11cee47a4c2e0743765d39af0e4008ab60adb3","datavalue":{"value":{"amount":"+0.988196074962616","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":"Q3025342$5B6375AB-DE91-43A3-9838-E2E0FD836F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615f28c3e10f513287a7ca474218f488ec5513d4","datavalue":{"value":{"entity-type":"item","numeric-id":4673541,"id":"Q4673541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91b9544e817973dbf3f3c1534a1cca608d48094","datavalue":{"value":{"amount":"+0.838246762752533","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":"Q3025342$A5EAD380-EA0D-4819-AA7A-BF52F03E0CD5","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":"15db86e1a048edebac3a1f26379e93511fbff956","datavalue":{"value":{"amount":"+0.7984354496002197","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":"Q3025342$A6F37718-8113-4FBB-9E88-2EE670106E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f89ae176d732d6fee29c2e267d7757dc151483","datavalue":{"value":{"entity-type":"item","numeric-id":5930853,"id":"Q5930853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8fe2893cf068dd6f1fb94ba674bc4ca239f65c","datavalue":{"value":{"amount":"+0.7967984676361084","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":"Q3025342$4C2CB8BC-CE5B-4A7C-8955-B8F456E0E1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008fa0f62f1704ca6091e674f4f651219ac15c20","datavalue":{"value":{"entity-type":"item","numeric-id":4327612,"id":"Q4327612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd09206f80ca26f01a19ff82e271a8a6b44c0ff5","datavalue":{"value":{"amount":"+0.7925903797149658","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":"Q3025342$EE47134D-7886-4EB3-97A4-63A31CF7C594","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3025342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3025342"}}}}}