{"entities":{"Q3365575":{"pageid":3376279,"ns":120,"title":"Item:Q3365575","lastrevid":88047590,"modified":"2026-06-04T13:30:23Z","type":"item","id":"Q3365575","labels":{"en":{"language":"en","value":"A semantics of logic programs without searching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000344"}},"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":"Q3365575$BFD0B2ED-DDAB-4F27-B61B-A99D1502CA6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58fd7e1e3ab3ac596020665f03d906db4509832e","datavalue":{"value":"1079.68518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365575$13B395C8-2086-4B04-B1C5-B854AC66B0FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb2b1c988d3bbfddc94fd9cb9c0683235b75b6be","datavalue":{"value":{"entity-type":"item","numeric-id":818922,"id":"Q818922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3365575$C865A558-2077-49B1-AA08-F8F6666C8294","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3365575$43336C94-7EC2-40CE-B3B0-E0FECFF239E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365575$2AED3CBC-F0A3-49FA-AFD4-1B1FB1AF08E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365575$4FF29529-E077-4CAA-AE97-AF4C02E93E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365575$DE26FB00-BE3A-4550-8031-3E4FE233D5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365575$10DB0F2C-C9E3-49E8-A96E-9FA29807CFB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e0109b1446a08980b8a902832b89f092b8865de","datavalue":{"value":"5000344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365575$C784AF5D-BB87-4323-BB5A-B560C255D298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3365575$9B7D5A94-C015-4F2B-9903-C8EE28C396DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3365575$E1CC0FAF-B0AA-4716-B86B-0B653C590D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c7408a768085b1a430ce9f012b6e4c950aaf016","datavalue":{"value":"abstract structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3365575$E33AA54E-266B-4AE1-B5C0-46AC3988993A","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":"Q3365575$C346F9A2-B062-43DE-AB8A-234B15841F4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3432b0ef7ebbe7867f7c47690c330fe62832e704","datavalue":{"value":{"entity-type":"item","numeric-id":5711171,"id":"Q5711171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7796ba207d2f438d7c0add67f447bf11f1c76b","datavalue":{"value":{"amount":"+0.8649312257766724","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":"Q3365575$733EC84F-7185-406E-BD71-55B74304496A","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":"9c909edadef28198c1cb742141031941f1d9e0f2","datavalue":{"value":{"amount":"+0.7954663634300232","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":"Q3365575$E7747151-0388-4D49-BA1A-FA64B5C24323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b46c8d38a6f07d894cc47342f506e273022ff2","datavalue":{"value":{"entity-type":"item","numeric-id":4205425,"id":"Q4205425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc33079aaca2d539a6bb14fefa12672a46aef237","datavalue":{"value":{"amount":"+0.7898901104927063","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":"Q3365575$0ED18685-C394-4469-A525-95D9A3FE6DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da608a22c5e6ac6c80ee22a454515a4a0241038","datavalue":{"value":{"entity-type":"item","numeric-id":4713366,"id":"Q4713366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e042b38c88cc2c2eea22ffac05bc2004f8733b6","datavalue":{"value":{"amount":"+0.7885032296180725","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":"Q3365575$BB6A9426-7B71-45F1-B992-06ADBD0FBDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbacd20f11591f7550cc228dfe34683bac896f","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b5799420d702630a243395875f96e898341bcf","datavalue":{"value":{"amount":"+0.7863123416900635","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":"Q3365575$4FEDE03C-CBF5-49CE-86F2-98C9788C936A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantics of logic programs without searching","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantics_of_logic_programs_without_searching"}}}}}