{"entities":{"Q4934231":{"pageid":6963813,"ns":120,"title":"Item:Q4934231","lastrevid":47432602,"modified":"2026-01-01T18:00:41Z","type":"item","id":"Q4934231","labels":{"en":{"language":"en","value":"Operational and goal-independent denotational semantics for Prolog with cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389812"}},"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":"Q4934231$752DB533-12E0-497F-955B-8AECA006BF31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edc056f98fbc1aab0a0dfce6512ff9b305efc7b3","datavalue":{"value":{"text":"Operational and goal-independent denotational semantics for Prolog with cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934231$13BDD837-8281-46E6-8FF6-AC9BD1F883B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da117b3eaf3a504d5d7486d8540cc44e8172b94d","datavalue":{"value":"0948.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934231$93C5DF7E-6DF1-41BE-ABA0-BBC3E1DCBA8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9fd321bba81e66dfe1b35c60656c17243647c95","datavalue":{"value":"10.1016/S0743-1066(99)00012-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934231$B0D48B94-4799-4DE6-A7CD-F6A882610548","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4869c7dfab7d11e532d3d8c20fdfd5fa6f2c4cbe","datavalue":{"value":{"entity-type":"item","numeric-id":383355,"id":"Q383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934231$5D2C6DCE-D24A-4AC1-B102-9A97DB75D52F","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":"Q4934231$896C37B4-9EC7-4F6B-AD4A-BA7888286B75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cd41bcd6eb3eaebdb801c878ba706a0044ed940","datavalue":{"value":{"time":"+2000-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934231$BEB77627-D220-452A-B0D2-C415AC4CFC2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934231$7E07662A-1A61-41C0-B2CA-F796DE8651AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4d40f4adeff155e4af753ea3e94aefec8efd023","datavalue":{"value":"1389812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934231$C708D147-166B-4CD5-B4B4-36440AABB06F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934231$2ACAF8F3-9505-41C2-A5BA-52765E7ADD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934231$39DA411B-7EAC-4855-B43A-1B526CC53421","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":"Q4934231$96354810-B51C-4C80-A343-7F166CADF2F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0576ae00502862466f613737e9caca85a84a6432","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7d1fc639f6471a2d8ca33fafc8250b0615e18f","datavalue":{"value":{"amount":"+0.9086427688598632","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":"Q4934231$0A3BFADD-E10C-49BF-80E0-B21D1E2DB352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff45b691a4c2d08a9e78be0657663cf5915fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":920622,"id":"Q920622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28dfd72d95f0e76d07b8a5832fbfcacbf5c7a737","datavalue":{"value":{"amount":"+0.8840030431747437","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":"Q4934231$54D3AA3B-0D15-4E8F-9725-0D5E59C53762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9182f7bf2ac57e21698bbe82f88190f2ce2cb191","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f61a4a713723e7cac5c0fe690491038c455e54","datavalue":{"value":{"amount":"+0.8811019659042358","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":"Q4934231$BE82D332-D425-4391-A522-B0ADFF7ED561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf1bf4ffb49442dd97750b163245d7db1e0dc8f","datavalue":{"value":{"entity-type":"item","numeric-id":3768369,"id":"Q3768369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbb3812c253ef341c84ae20580a3ce55d0bc698","datavalue":{"value":{"amount":"+0.8535268902778625","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":"Q4934231$932F0C6F-2E28-402C-A56A-EA55D099E4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f019cc73cdad5e0f2e8eee25bc06340b751f92a2","datavalue":{"value":{"entity-type":"item","numeric-id":5170718,"id":"Q5170718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be631cf9a1e08efa64ecf734375924bc6bcb84f","datavalue":{"value":{"amount":"+0.8266551494598389","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":"Q4934231$322D7993-7B0A-425C-9F5B-AEBC65CA81F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934231"}}}}}