{"entities":{"Q4730755":{"pageid":6760332,"ns":120,"title":"Item:Q4730755","lastrevid":41831587,"modified":"2025-05-08T19:59:55Z","type":"item","id":"Q4730755","labels":{"en":{"language":"en","value":"A computable semantics for general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115930"}},"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":"Q4730755$A04EF9B2-E00F-4981-A7D6-E9DE2C2242AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a22587bdd8493312083327b118883fe6613540b5","datavalue":{"value":{"text":"A computable semantics for general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4730755$39DDBDB0-C1A3-48D2-898A-3870B7C6FE30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74470b9563da25b57a4dbc4b8865e2300778a55f","datavalue":{"value":"0681.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$991621BD-41D0-4887-AC16-DB64238A304B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b444cf9f81d9f1fb3384821792fc5ad9417e5840","datavalue":{"value":"10.1016/0743-1066(89)90017-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$22B8EB72-DEAB-4B43-A786-D74E71CB5897","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":"Q4730755$911E0578-7CCB-48F5-9695-3284E4151E84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4730755$BE21237E-5ADC-466B-955C-464B9661C4ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$6DB17CB6-997C-4200-AE4C-94282A899E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$BB78C041-60D3-443E-83E1-DCDA766E3839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$086ABD24-0B87-45D5-97A2-8F346FC7D9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$436A735E-252E-4EFA-A235-CC7476318A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$9316C7E7-02C0-4196-8517-0F5924DE1954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65538f8ef447a8aadf3dec8704bd1f67d4339d37","datavalue":{"value":"4115930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$5BB6FE75-9117-46F2-A46B-BA6AB4335D02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730755$EB3D427F-6C32-4B19-9E69-D67472C4F63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730755$B25555DE-72AA-40EB-88BF-A92F4227DFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730755$13B8A70C-354B-467A-82F2-4123A9716826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1fb019836d3d6fb23270a1fad109d19c41274bb","datavalue":{"value":"canonical general programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730755$B9DB6E0D-C654-4A47-9C2B-4C8E78A58122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab93d96f2170a320227d6faaa9833505db57404","datavalue":{"value":"success set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730755$EFC7BF6D-0571-4CA4-BE73-533E69DC1882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efe618e9dc96f8b5d3e2c8db712e1f01edf4e18","datavalue":{"value":"finite failure set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730755$26D963B0-52D3-4ABA-835E-1128EA813BA0","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":"Q4730755$5E8AE5B8-4C56-412B-B35C-47FEA3D3B030","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"784425785174cebd7b17064a4e7ba3618844ef81","datavalue":{"value":"https://doi.org/10.1016/0743-1066(89)90017-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4730755$9164BCC7-5F80-4A56-9580-87CF69E7B292","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e29c7ef38e923e87db46238838d5512e32ddfa3","datavalue":{"value":"W2035077417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730755$0D0922D6-4722-4C23-971B-D0A377C6F88D","rank":"normal"}],"P1643":[{"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":"876219b126690b34df294edc64e22285065cd0d5","datavalue":{"value":{"amount":"+0.9529329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$A0C7FAB0-90B9-42AD-8F53-7092AA940195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584d17113322b4fd20d613addd682b2fc32eaf59","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2bd0f23e9ee2ba6c85ff32102e99cd13a566b93","datavalue":{"value":{"amount":"+0.9443509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$425247D6-2E55-4426-93C0-B8746AB66660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d0cd9fa354ed49327af78d16afd2150a44e0a1","datavalue":{"value":{"entity-type":"item","numeric-id":5688900,"id":"Q5688900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbc16481f1af517765785e9c27602b8003aac40","datavalue":{"value":{"amount":"+0.94073874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$B24EB19D-3326-4C3C-805F-7B315DDE0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddaca5a3cff7c8241a58c411d2cfb2fe8104bef","datavalue":{"value":{"entity-type":"item","numeric-id":1274967,"id":"Q1274967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79941ebab2e6df2a1eeab4889349e4041437d0db","datavalue":{"value":{"amount":"+0.9375128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$22709048-9B8B-4BD2-849E-B331FDE7D934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3213ea9a9031d7732040880595449a301d3a8ade","datavalue":{"value":{"entity-type":"item","numeric-id":6488525,"id":"Q6488525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529ad0aa65c6109232f5f541b880236bdf9afeb5","datavalue":{"value":{"amount":"+0.9374811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$1CD7AB12-640D-4A5E-A0A9-1B180C8F2B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6d99dbf1df075bbd5e2f8a7a8557911f1f5da5","datavalue":{"value":{"amount":"+0.9359581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$E9C70B6A-1088-428E-B369-066F075F11E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e223bbc6d5fc894b4f9e10ed218fe63aed8e17cc","datavalue":{"value":{"entity-type":"item","numeric-id":4208859,"id":"Q4208859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5c6f0f0ad5f689e870136ccd54895803ea34e8","datavalue":{"value":{"amount":"+0.9336033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$AF171683-C4FF-4FAA-B185-B081572EB11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed2d94f77eaacbf1db207b0fb4aec3bd0f8536a","datavalue":{"value":{"amount":"+0.9312554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$5367E552-34FA-48EE-BE47-0C785009908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee51c5b56a5aac84a6e446473373c1edc02f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adff80c6c640cf86d60c56880213d126666a5833","datavalue":{"value":{"amount":"+0.9300712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$0C6AFC64-57BE-421F-B45F-0A9D918B53BF","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":"b407674b598497fcb987e58adef7905090bc9767","datavalue":{"value":{"amount":"+0.9286135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4730755$E45B151B-E550-4A09-BF6C-075A805A4EA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4730755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4730755"}}}}}