{"entities":{"Q6164543":{"pageid":13299424,"ns":120,"title":"Item:Q6164543","lastrevid":47881873,"modified":"2026-01-02T23:33:39Z","type":"item","id":"Q6164543","labels":{"en":{"language":"en","value":"Approximating any logic program by a CS-program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719894"}},"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":"Q6164543$A88BD687-3ECC-4BEE-AE2E-0FC296DAA4AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf6de1a377f59a46f3ed61c678f44dfe40f84a68","datavalue":{"value":{"text":"Approximating any logic program by a CS-program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164543$93FD7A56-445C-442F-B293-92FC6BDA7F9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7f43988408f6fb42818a6aa25ef21a7b70d6d0","datavalue":{"value":"1517.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164543$56A2F5A8-498F-4537-B3D9-CE64CB47C4C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6f54154df02f83b69a0440c37643b536492a66b","datavalue":{"value":"10.1007/978-3-319-99840-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164543$77CE4433-8CE7-4D2C-9F03-D7362D17437F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"750ed031269672a85853b13f60f47c870d58920b","datavalue":{"value":{"entity-type":"item","numeric-id":2424679,"id":"Q2424679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164543$F41B3C69-499D-4069-880F-9000660EB4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc55e0e729f9df72a9a0fffb23412abcea8aee6b","datavalue":{"value":{"entity-type":"item","numeric-id":2827836,"id":"Q2827836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164543$ADD76C7A-C381-490E-8CA8-A0DF64A90D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc953e7dff7d26bdcb07d2cdf423e7bdad75f63","datavalue":{"value":{"entity-type":"item","numeric-id":1675158,"id":"Q1675158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164543$3B446550-4524-4981-BA89-A3C08F34CF68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164543$4EF6F5F4-C0CD-4B61-9B5C-965806150A5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-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":"Q6164543$046F2D39-69A8-465A-9D5A-1FD665E7A3E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164543$761EA50F-F196-43FC-B6F0-4F4719A5AF24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53c6d09601ae864838f6799946436bc7aa391a69","datavalue":{"value":"7719894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164543$8DD6F868-7ABF-4F16-B339-15D2281F11E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1f12524aca9ea6bc3498750e3c55127a3227928","datavalue":{"value":"logic program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164543$9D55C5F7-AE6E-45B0-BD36-96E9A6632A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164543$F99DF36A-CC42-44F9-9500-6FB5234F35F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164543$DFEA12AF-0DBD-4898-9E70-7E341F6E208C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f4a6cbdc012681f071574fb02a8b97fc4b9310","datavalue":{"value":"CS-program","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164543$4FCAABFB-2A5B-41E7-A3C0-6E59107A9ABD","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":"Q6164543$EDAADB90-2FB5-4B42-A783-AD4BF35D302D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd31d5885189f13f696a99669e1a9a71e178bfd5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99840-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164543$66E48840-1784-43EC-A6C3-C28E8271EC84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b67ea0ddbaa2d5231b872d1377c7b26ba156d8b","datavalue":{"value":"W2889563233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164543$691C0C0B-9B63-473B-8B95-85334E6CF226","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20286e8af150e1172ba3d53021d18495c85c7547","datavalue":{"value":{"entity-type":"item","numeric-id":6483351,"id":"Q6483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ab0d3402c5b269f584b7b95774374cd4589348","datavalue":{"value":{"amount":"+0.7618857026100159","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":"Q6164543$D83FB3E2-67A1-4940-A8B3-B8F239135B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba08af075418b24fefacdb992be0b95376ac131","datavalue":{"value":{"entity-type":"item","numeric-id":5930885,"id":"Q5930885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4a94165133c27f0c4872bde384aebecbe491c2","datavalue":{"value":{"amount":"+0.7486430406570435","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":"Q6164543$D3D5F1E5-AA8B-4E86-B6E4-AFD3869D905D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2c0b3f78b4e1d91930f85f205ab3cec37d7e57","datavalue":{"value":{"entity-type":"item","numeric-id":5446175,"id":"Q5446175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8db26f183c0b7074c93bbc9ebc2b479e5027ce","datavalue":{"value":{"amount":"+0.746815025806427","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":"Q6164543$661E23D6-FC75-4938-BE90-8DD2FC563EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed33447b2191b3f838a06f84d94e7ac1e3acc282","datavalue":{"value":{"entity-type":"item","numeric-id":4730755,"id":"Q4730755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b4f1363c8a7b296e7a67f4a852678cc734d7ee","datavalue":{"value":{"amount":"+0.7460588812828064","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":"Q6164543$AAB90973-8D61-4EE5-A3DA-A74EFE8BF3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f916edd1fdfc353e2c4e2b983a5961a845cca9a","datavalue":{"value":{"entity-type":"item","numeric-id":3578393,"id":"Q3578393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e7588719e3266c4e12d151652a0f15c556c3f1","datavalue":{"value":{"amount":"+0.7403256297111511","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":"Q6164543$5D9F9DDD-6FAD-4558-93E7-F48BCEDFBE3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164543"}}}}}