{"entities":{"Q912643":{"pageid":914491,"ns":120,"title":"Item:Q912643","lastrevid":65300103,"modified":"2026-04-12T01:38:39Z","type":"item","id":"Q912643","labels":{"en":{"language":"en","value":"Simple operational and denotational semantics for Prolog with cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145356"}},"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":"Q912643$EC3D541D-3376-4D1A-8F70-95E1FB816315","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"610f719ddcaa878150048daff83a6fc603831020","datavalue":{"value":{"text":"Simple operational and denotational semantics for Prolog with cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912643$570ABF0A-AC60-45CA-BF14-19AD8FB98C2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9811d974006d7161d787f79fec5aa914fe48fe3","datavalue":{"value":"0698.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912643$7BB5E523-C8A2-429C-B93D-1F93470CFD84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5f71c15b668b172e5e62832b64312df7fc53f95","datavalue":{"value":"10.1016/0304-3975(90)90197-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912643$72BB7F00-EDE4-4FC6-AD11-71E1C615755C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"246bd6aad25903415dc243903e7d6a30b46cc9cc","datavalue":{"value":{"entity-type":"item","numeric-id":912642,"id":"Q912642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912643$3F13BE21-B138-4011-8F76-41EDE658C608","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912643$F2884800-A087-4458-A543-CE78443F7C7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q912643$3BE06435-6C0D-48F5-A52E-AE349F95A5F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912643$9A4EF547-7EDC-48F0-9AAC-5967A9867FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912643$3E3F9B99-E2C1-4A28-8CC1-EA5E03DB736C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912643$FD5B59B1-57A3-4DCD-B25F-0BDEDF120AE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c84651fd2a0d53f32e49483b6fde5b04e35b6a6","datavalue":{"value":"4145356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912643$B4EA1558-C180-4540-A2DE-91ED8FD989D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q912643$94D851D4-3242-4244-A43C-6A7BB9D6256A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q912643$4F9E98A8-D671-4B85-9026-84A5F0D29DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"595e76ad4515661bbf9faf82ab4be5ead3e16f95","datavalue":{"value":"cut operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q912643$C1431688-9D0D-4111-BA18-2BFE18CFE112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q912643$C035FCD5-EB51-4D5B-A3A0-A7F9012DB586","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":"Q912643$2A128BC1-FB9A-47A4-AD1A-2127F4C9CF7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912643$994932C2-86BD-4228-8A09-50037F074603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8f0336a6b71d70843f056970aa97b5bf8a3242","datavalue":{"value":{"entity-type":"item","numeric-id":3809307,"id":"Q3809307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912643$60F975D2-BCDA-4EFD-B996-679322C2ADC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f894835a06dff0f50849bd4ff97552acc97d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3853124,"id":"Q3853124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912643$D2C18D9C-B63A-4015-BE79-9BA34FCCE2CF","rank":"normal"}],"P1643":[{"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":"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":"Q912643$AA44A011-3BD0-4A0B-9089-531BA55B556F","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":"8f8f2658885078cd80b0e50ef2b19c6c5f4524f0","datavalue":{"value":{"amount":"+0.9068018198013306","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":"Q912643$64D62991-E6B4-4DBD-BCE9-1D07B4B007EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc60b996e2de68d4c997a1a1f6687d980bd17bd","datavalue":{"value":{"entity-type":"item","numeric-id":3809307,"id":"Q3809307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f757ac7e1a15ba0b84e5976deaa782f922ea0a5","datavalue":{"value":{"amount":"+0.8815422058105469","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":"Q912643$26C3C7D0-AB39-492C-904E-455631BF4F22","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":"bde8bfc4131f8df02c1e12edffdf74ad7092cbbe","datavalue":{"value":{"amount":"+0.8768917322158813","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":"Q912643$B042A74C-F594-45EA-A520-733EE166095D","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":"700d0e5006c84d368380bfc8b292453f2895bbcc","datavalue":{"value":{"amount":"+0.8444966673851013","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":"Q912643$8D8E4348-6CED-4972-B230-B3706EF558B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple operational and denotational semantics for Prolog with cut","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_operational_and_denotational_semantics_for_Prolog_with_cut"}}}}}