{"entities":{"Q5101458":{"pageid":7131034,"ns":120,"title":"Item:Q5101458","lastrevid":54391292,"modified":"2026-01-26T18:11:59Z","type":"item","id":"Q5101458","labels":{"en":{"language":"en","value":"A transformation of propositional Prolog programs into classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577936"}},"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":"Q5101458$2B04A48D-45AE-42CC-B48D-61EAB70FB7F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0a9893e15a83751500c79ef25105a957943503e","datavalue":{"value":{"text":"A transformation of propositional Prolog programs into classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5101458$6E15C955-F687-404E-92BC-6366F6BBE9C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b2bbba05a7dfb40a36446b7940b76c4480c3dbe","datavalue":{"value":"1496.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101458$F2C12DE7-D95A-4FE4-8B29-1588153C54AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a57a99b354f4b79514f9ff86b64a174932721215","datavalue":{"value":"10.1007/3-540-59487-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101458$7BB0D280-5017-453D-90E3-1582D959A6EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$AE28570B-546B-4472-8CBF-8684A6C67D2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$844A791E-4E24-4A23-90EC-34BCD41B205F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101458$296F45CB-0113-4DF3-BF60-2FE39A83B992","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101458$9C9C4C43-3A5E-4F89-A3E4-36CEDF3BEEA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16b7aa3711fef0696d633b95e7998dd4a6d73d99","datavalue":{"value":"7577936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101458$86ED5FC7-5424-4099-A5AC-4CED4C6EF3E7","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":"Q5101458$38AF86F6-5882-482F-9A16-829B74E456DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8a353bde0bdf1470c0cb450c504ee1432c1d222","datavalue":{"value":"https://doi.org/10.1007/3-540-59487-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101458$88436EF8-E3B0-4742-907A-E3AD41588EFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39a63fb62e533435ab82218cbfc2f07a4c72424e","datavalue":{"value":"W2159100323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101458$5FB7BC8B-F360-4180-8595-F6B0EC96F966","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3602e75d4f5fa16bfe4f86530f0ea474ede400a8","datavalue":{"value":{"entity-type":"item","numeric-id":1390936,"id":"Q1390936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$701156B4-7D02-4DBA-8930-11F1455B471E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$10F1B13A-542F-4564-B874-AF95F16B1C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80536a6c4d7f535a1dcfc23142b1431bdf463243","datavalue":{"value":{"entity-type":"item","numeric-id":1899138,"id":"Q1899138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$61631800-E31B-46FC-8BDF-6920AB71A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9307462592c91029388661516b8c66b7dff1851d","datavalue":{"value":{"entity-type":"item","numeric-id":3992234,"id":"Q3992234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$91877A9F-88E9-40AF-8998-32C9C6D57BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$C4EA91A2-035F-47E3-832F-AE54C8DFD815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49a11f42ca63670f174a56e0bf15f13e51d76af","datavalue":{"value":{"entity-type":"item","numeric-id":4729762,"id":"Q4729762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$F1D80243-7D2F-4F9C-B9CA-175201C97268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf7ccf04b1eabcd546c6daa01f0ca4ca9a9538c","datavalue":{"value":{"entity-type":"item","numeric-id":4215638,"id":"Q4215638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$AE9C0803-99DF-4153-BC2B-F07482F43E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$0EF5909A-5B9D-434B-8B0D-6A8EBA23E172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adf3b69f1569c7efd2007397ab963a81fdd382b","datavalue":{"value":{"entity-type":"item","numeric-id":4725709,"id":"Q4725709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$5098AE07-3DBF-4AFE-99EC-74BF3EEE0844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f1106673e90359456c76bb306302527cdfe34a","datavalue":{"value":{"entity-type":"item","numeric-id":1192340,"id":"Q1192340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$1D28CB19-4887-479B-8AD7-7E86B49D2C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66931ff3954b8ad84dbebd3e57200856032a0cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4304493,"id":"Q4304493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$470BBB4D-FA30-4283-86F7-346C76D48343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5122f51031bad4fb28e0e43199fdac05d8e56561","datavalue":{"value":{"entity-type":"item","numeric-id":1892097,"id":"Q1892097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$09E17FA9-C08A-4CF0-9E22-11016255730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f0354b2f3e3a282be3c2054f19eef0be15da5d","datavalue":{"value":{"entity-type":"item","numeric-id":4015484,"id":"Q4015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$6A61D7CC-0AAD-4DB6-9954-A6CC49B91C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefb8e1929ae3e9bdc9a5897157de842f119a8c5","datavalue":{"value":{"entity-type":"item","numeric-id":4275257,"id":"Q4275257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101458$6CCC06F4-D0AF-4B6D-8981-137B2625782D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf9fbd80ce396559d6a76cb13e442d4235f9d7fb","datavalue":{"value":{"entity-type":"item","numeric-id":1892097,"id":"Q1892097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6938f67fcbadf51d79351b81e03e933aeb551777","datavalue":{"value":{"amount":"+0.8043226003646851","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":"Q5101458$DDF094AE-D438-43DC-92D1-B5AA48240D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0fdf86f28858c64e4537be93177dfbf7fe7b9c","datavalue":{"value":{"entity-type":"item","numeric-id":4202945,"id":"Q4202945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098806bddca74c2c07388f874f216f09fb299cd1","datavalue":{"value":{"amount":"+0.8036047220230103","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":"Q5101458$1FFE79F4-4182-40C5-B534-BAB02A91C072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7168a241473f35e7bdd3bb270aebcc0ad7989e","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48cbdf530bd0e1dc82033b93a91c78f98179166","datavalue":{"value":{"amount":"+0.798347532749176","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":"Q5101458$110826E3-3D99-49A2-95E3-24DAA522A005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9961865a7bc3ad29945efc566bde2665a7c910","datavalue":{"value":{"entity-type":"item","numeric-id":4819011,"id":"Q4819011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33815da90f1987555fbe7ed4a60ce6ac690c77d1","datavalue":{"value":{"amount":"+0.7971044182777405","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":"Q5101458$EF95D609-8AF2-485C-8D29-5953CDB301D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77f27813c0c667a4e0f9574fc7001a283a3b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4015950,"id":"Q4015950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a89761a43a26423c35fdd9faa497599252abe19","datavalue":{"value":{"amount":"+0.7886651158332825","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":"Q5101458$5B0FAFF3-D413-458D-8641-18EF8A88061B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5101458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5101458"}}}}}