{"entities":{"Q4452589":{"pageid":6482188,"ns":120,"title":"Item:Q4452589","lastrevid":48244705,"modified":"2026-01-04T02:31:23Z","type":"item","id":"Q4452589","labels":{"en":{"language":"en","value":"The witness properties and the semantics of the  Prolog cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048570"}},"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":"Q4452589$8D2FB59E-0B04-49E8-9CB8-E16334A0D543","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"449877ce5590667b9bf10d356dff43801c46f2f2","datavalue":{"value":{"text":"The witness properties and the semantics of the  Prolog cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452589$E313D2F7-A3C8-4564-BCBB-C68071C81A0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acc7a2f6af214fa5a90b26d57579d42751dfe64d","datavalue":{"value":"1087.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452589$043EC13A-C285-4E6F-9236-6571153A2D41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91b529acdf61c05ccf3ac06731488940fbaf1769","datavalue":{"value":"10.1017/S1471068402001540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452589$40E66012-7A9F-4BEF-B058-8E4EF31D8EF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef0ea631c98980e80358e1b48129f32c64d7dc4b","datavalue":{"value":{"entity-type":"item","numeric-id":1390935,"id":"Q1390935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452589$2B7D84F9-98FD-4778-A176-581B9AD39D0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452589$380F1FFA-8219-46E8-935A-4F079119AF02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452589$AF2752CA-CDC5-44BF-BE2B-3F8147D18646","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452589$4A60ADBD-8BC4-4823-88FC-C58FB08E7C7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc2678d0bfb9bb6d70b2e53cb34a11827f361553","datavalue":{"value":"2048570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452589$54DE138C-021F-482D-92BE-9DEEEFB7B569","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452589$CBE677C6-FA83-47C6-95AB-816D68C54CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5ef96e16ad04069a357ef6a98a2823c300d1c3","datavalue":{"value":"abstract semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452589$C673730D-0C76-4627-92BB-08B01A84BCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7bf11626141f10491819543bc6e69eb57efdf3","datavalue":{"value":"depth-first search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452589$F31A4263-ACC4-4F34-8D5D-B4AB98161813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452589$8315D508-6A2B-490B-AAD5-0773475BF9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e260f0c8a4987c882298dbe39155e9ffb146fd9e","datavalue":{"value":"cut.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452589$FA2363A6-6B18-4D1B-880A-77B618D58607","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452589$B0FEFDBC-BA95-4265-81CD-5C05A613848D","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":"Q4452589$5BD8EF5A-76BA-406E-99C7-728BF2C4C659","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c6c8db1200122e2805144d9b7ff79ec3b615b73","datavalue":{"value":"https://doi.org/10.1017/s1471068402001540","type":"string"},"datatype":"url"},"type":"statement","id":"Q4452589$058DBC6B-EFC0-4B96-89B5-474835593861","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02766ba4342ccb127e28d5069e1a4c172d3ed42d","datavalue":{"value":"W2193302029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452589$2ACF122E-376B-4312-927E-029361046CE6","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":"669cf969aeb329a8556b1b0b68f6efd9b3163309","datavalue":{"value":{"amount":"+0.8098464012145996","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":"Q4452589$39B7AC0E-CEAC-4D64-A498-11E66DBB3BAD","rank":"normal"},{"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":"fd4266d42862d15a646e3ce3e5015b1a5264937b","datavalue":{"value":{"amount":"+0.8057205080986023","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":"Q4452589$64D8B122-0205-4D08-8BEB-AB3309A13455","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":"dd97a25bf6fb6a9c8bed42730946f0aedf3b719b","datavalue":{"value":{"amount":"+0.7972359657287598","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":"Q4452589$00902050-723A-4E4E-9905-31D4DF4DCFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1559360daea6e33333a513373d5cd8c4724f519a","datavalue":{"value":{"entity-type":"item","numeric-id":4015961,"id":"Q4015961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fcef6c71911cfb2c62fd31d8fead58aef3e9d9f","datavalue":{"value":{"amount":"+0.7862594127655029","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":"Q4452589$C928EFED-9671-42F0-94AD-FDA545ADC408","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":"c1e782f06005e06dd1b682ac33b82ecb91f8f4ac","datavalue":{"value":{"amount":"+0.7831541299819946","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":"Q4452589$FBDB033B-4D69-4AFD-BCAF-BD9ECC2D52A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452589"}}}}}