{"entities":{"Q3718131":{"pageid":5748037,"ns":120,"title":"Item:Q3718131","lastrevid":50681075,"modified":"2026-01-14T19:09:28Z","type":"item","id":"Q3718131","labels":{"en":{"language":"en","value":"A kripke-kleene semantics for logic programs*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947601"}},"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":"Q3718131$04670D2E-DC0F-4A3C-9FFD-4010D3B00F82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edb46138adb5fe704b0545a4d968c24896b3f7d0","datavalue":{"value":{"text":"A kripke-kleene semantics for logic programs*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3718131$F5087A1F-0235-4C20-8FFA-83D7EB74F31A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a466b06be00f67599592383043abb58f3007676c","datavalue":{"value":"0589.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718131$F474E0B4-0595-44D5-8A99-913E5C659177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30fc958401bdcda605c27037d6c5bf1e75404841","datavalue":{"value":"10.1016/S0743-1066(85)80005-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718131$E607BAAF-0601-4B71-9528-EA2C784D8CAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718131$56DCF552-B1FA-4D84-879D-69E7215BC2F9","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":"Q3718131$2EBCC603-D410-4147-BD92-44DE64FA8A91","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":"Q3718131$9624E8D9-9553-4E34-856C-29DE30CD5CBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718131$CA368379-F0FB-4F01-B5E3-6B60AB9A908B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718131$790066BA-FA17-4C87-9AC1-9C9F07ECE066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718131$433F6164-1D8D-46C6-9234-6AE01F7B44F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34da3e389ebf5c057dfdeff3fb13b560324d3f8f","datavalue":{"value":"3947601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718131$D9A3F8CE-B654-4F19-B535-7E8D977B5B1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718131$AF6DAF76-8285-433F-BE8F-65648CAC7E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718131$CACC9E5B-9391-4A9B-B826-591DA6F286CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e950e8d28baf59be2ce03e273891db53689b89f9","datavalue":{"value":"Horn clause logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718131$32231077-2767-4285-B4B1-F164AA5EBD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718131$A72C922E-05FC-421B-9727-197F20911B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17730dc0f6db200850095e55e116708eeb4075b","datavalue":{"value":"monotone transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718131$14964FF5-2AD5-4C24-B1E9-B8301049526C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718131$32266524-2895-409F-8ED8-36532118B198","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":"Q3718131$8CF216B6-1028-453B-B881-6646CF6C82C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac8912a1894a1aef6def6cccb2e1f56097e2e5f","datavalue":{"value":{"amount":"+0.8292152285575867","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":"Q3718131$CC3EC7A6-EE16-48E3-9226-D00FC65B8F2F","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":"52ccb0e02901c3a8f07fc593f74a72f9a2cc8334","datavalue":{"value":{"amount":"+0.8290545344352722","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":"Q3718131$5FA90AAE-B7D0-4D5B-B369-997124955B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6198f06c6f82fae4ba866a934a0cbf9c170ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3707364,"id":"Q3707364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac04f8e7f62ad003a91bfca830dcf6306598f6f","datavalue":{"value":{"amount":"+0.8230276107788086","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":"Q3718131$DE6FCE0F-9A2A-4C5A-98EF-026D3A46F88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7301680fa7de8c1070c0fb8f2a99612986f6438","datavalue":{"value":{"entity-type":"item","numeric-id":3318096,"id":"Q3318096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff046374f9d282009d6f9fcd14d1e9a2bf2b12d","datavalue":{"value":{"amount":"+0.8222078680992126","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":"Q3718131$2C6771B9-55A3-4C33-89A1-C6EE5AEEDF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7b8d2744be896f2cc910582335c1b9930830cb","datavalue":{"value":{"entity-type":"item","numeric-id":1292578,"id":"Q1292578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dee8552bf80de48cb376578262deb2c3b280d57","datavalue":{"value":{"amount":"+0.8197256922721863","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":"Q3718131$2DCED1F0-EF5D-4BEC-8D44-12767E008F1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3718131","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3718131"}}}}}