{"entities":{"Q5170718":{"pageid":7200290,"ns":120,"title":"Item:Q5170718","lastrevid":52047092,"modified":"2026-01-20T20:08:24Z","type":"item","id":"Q5170718","labels":{"en":{"language":"en","value":"Semantics for Prolog with cut -- revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320267"}},"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":"Q5170718$E7DB7767-AFE7-44D9-82A5-48DC8A113848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05477f97be3d27fc5addc53419e9cea09c7779a1","datavalue":{"value":{"text":"Semantics for Prolog with Cut \u2013 Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170718$8DF6D712-FD7E-41F9-B6DB-43152515CF24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f59ca834d36461c531a8c2384f1e08ab26674074","datavalue":{"value":"1416.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170718$51A8D0F2-2933-47FF-BBC0-6AC230C4C092","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4876fc72ac63987adc35f31ca3b055a7d6ed131","datavalue":{"value":"10.1007/978-3-319-07151-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170718$2B2EEE5A-E95D-46EA-9F6B-F0E4ED3C433C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb87e5f61ed01c13ac630e89b0ae066a75abf62d","datavalue":{"value":{"entity-type":"item","numeric-id":2900263,"id":"Q2900263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170718$A640C278-C702-4132-8837-01C727EA2423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170718$784C6D5B-1B12-481A-9A3A-45A4DA896048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170718$1668DFAE-BD39-451E-A95C-F51CAF0529E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170718$ED3EEE4C-45C8-4D15-B1F4-E96DE57F1E0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170718$DC6FD2C4-DBF8-4503-9C2E-98DE48F95CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170718$7457DF17-0377-4E7A-91B7-EF7F2E17A284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6edb390076c3ff9e4a98e79e69d6519a5145e50f","datavalue":{"value":"6320267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170718$0F2907B3-C6F5-4B4F-A974-EA99ED346425","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":"Q5170718$2F2A685E-038D-4D77-B754-FC859E7198B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55a187eaec650539d0c51509fd09891105b64258","datavalue":{"value":"https://doi.org/10.1007/978-3-319-07151-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170718$8B4C8DB1-EEED-42DC-ACF0-5F83DB0E7967","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c673d85d567d856f11a8ffeb76d596da812a1e3","datavalue":{"value":"W45508484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170718$25BE2107-A538-4DC9-AA72-40BC4B9C54B1","rank":"normal"}],"P1643":[{"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":"e8ac48c4e1ca305c6ebcce49131d002335953977","datavalue":{"value":{"amount":"+0.8626106381416321","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":"Q5170718$68BFD318-387D-44D6-8FDD-DFF54F8D1A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60daddf52c836d83a7bd94396f9f16ce1390494f","datavalue":{"value":{"entity-type":"item","numeric-id":4282511,"id":"Q4282511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509f1afad3519e66baf9f1bb13d579ced5674360","datavalue":{"value":{"amount":"+0.8285462260246277","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":"Q5170718$655EC931-9B06-40F9-B95C-412DBCA6146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5439f22e6b4bd03640ca7837e4deba654a76aff","datavalue":{"value":{"entity-type":"item","numeric-id":4934231,"id":"Q4934231"},"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":"Q5170718$9B589B57-E373-4AC8-8A0A-A094C3EA2F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2bc69f520970fc4718370909c30f08c5215888","datavalue":{"value":{"entity-type":"item","numeric-id":805227,"id":"Q805227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997a16c7ef50af91d2b7122c917c2073a53cd1ff","datavalue":{"value":{"amount":"+0.8265460729598999","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":"Q5170718$42071C6B-499B-4154-AB4D-3F1473A898A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f06214f1831b6095f2fb1e6001989cea672daf","datavalue":{"value":{"entity-type":"item","numeric-id":4452611,"id":"Q4452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92399e5dc29b44867fc8dfabec1e0fe97cf3425d","datavalue":{"value":{"amount":"+0.8252778053283691","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":"Q5170718$4F7FA107-91A5-4C01-9B91-36E5CBFFBB9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170718"}}}}}