{"entities":{"Q4015955":{"pageid":6045744,"ns":120,"title":"Item:Q4015955","lastrevid":55190032,"modified":"2026-02-04T15:02:25Z","type":"item","id":"Q4015955","labels":{"en":{"language":"en","value":"On rewrite programs: Semantics and relationship with prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 70124"}},"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":"Q4015955$390B50F1-3983-4320-9B3B-2958E69EF1E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2576de9df4681015c9076a5dd3b39152af64953f","datavalue":{"value":{"text":"On rewrite programs: Semantics and relationship with prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4015955$1F5533C6-D898-4244-A23F-FBE7BAB01251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa52d49dee90282dc95434797dec4fd1d5afd90a","datavalue":{"value":"0754.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015955$05705BA0-0FA0-4516-A877-DD239949F502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cb307f77a74271479addcc1f0f7c71fbaa02d2a","datavalue":{"value":"10.1016/0743-1066(92)90050-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015955$B42734E5-82EA-49C5-A914-2B73E880D381","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015955$28E247C6-D50C-4EB3-A34B-CD3AE20103E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015955$6DEF2695-B128-4B23-BFE1-CFAEFF5780F9","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":"Q4015955$41DDA1A8-671B-414C-B2B6-328535DC0600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9688fba77d08b63334dc8de515e99dd360c4df1","datavalue":{"value":{"time":"+1992-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4015955$B89EAB27-1227-4B6C-82ED-D99EBBE1BFF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015955$43FBAE13-F777-4614-A311-23A67ABE8596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015955$6D823A94-D3D0-4996-8CEA-2AF7A2D6B456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015955$1E3AB842-4670-4A9A-9FED-A8BC9640C87A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1844274a0cae42dff2dc111194eb70b637c589ab","datavalue":{"value":"70124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015955$87F08274-0AB6-494E-A417-3FA30BF74798","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015955$EEE020E3-2DC4-46AD-8174-D5BBD678590B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a38bb9a8ae9abb740c5fe9f1da21163005dd29","datavalue":{"value":"rewrite programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015955$F3AED19C-AD83-41A4-B4AB-5245DCA58030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015955$583838F5-1FF6-4B4C-9E96-5302CAC39A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015955$15ED2926-CF6A-4C3D-9F2B-EA22C6365D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa9e9f264ee7ab1c475a20dc9291a3b2cdad343","datavalue":{"value":"pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015955$242AF16F-27A6-4898-8791-A7E0E402D4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5916441ceabb80983e0893185048ef0e17ce7bb","datavalue":{"value":"loop-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015955$B357FA9D-E1B0-4D27-92B5-B2C3B93789F0","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":"Q4015955$6E399DF4-4A9D-4F9C-8A34-1B08E9C9A496","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49155e5244530d55df321050b4bd3b5c076f58ca","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90050-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q4015955$C23A7C99-BB96-4754-9F57-529881347545","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b9f23c283e9c94fb819bd57aded3a89cff12f5d","datavalue":{"value":"W1992391625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015955$023DE8D1-E091-4F5E-81DA-7D134235E54C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac6aaa1a5e0d0f76a93d6782bb8984caaf5e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1127337,"id":"Q1127337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f60d7f7c04f1bf113130ea869c7730d845daa2","datavalue":{"value":{"amount":"+0.8125569820404053","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":"Q4015955$EFEE8868-09B8-4348-9944-EB0E17974FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc203136d07b5870952a098d331539a4d11d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":5055829,"id":"Q5055829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885b425cb17b9f0ac29454ae2cf629837e362409","datavalue":{"value":{"amount":"+0.8036297559738159","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":"Q4015955$54D21204-2BBC-4C53-8B8B-936F0C0691A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8869a913721eb8494cf1d4e352c0ecd1743f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3820057,"id":"Q3820057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb7fdb40f3c2fdff48dfdc55d23fbed1ad02741e","datavalue":{"value":{"amount":"+0.8020937442779541","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":"Q4015955$DC41D0E7-BC83-4936-8D07-6BF7D0E9E9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f7a023baa30862b78e642630af08fd187940c4","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cc3e1aca0ddb20daa03e7439ce4f554bdf99bf","datavalue":{"value":{"amount":"+0.7873069643974304","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":"Q4015955$EBC2777A-1DD5-42F5-9B91-B20335702F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5df26af8858c7f89f0c823ae3279e1f9f8cef74","datavalue":{"value":{"entity-type":"item","numeric-id":5096353,"id":"Q5096353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac8509c7113cde5e61a2524d955b3018e9f7a5b","datavalue":{"value":{"amount":"+0.7781533598899841","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":"Q4015955$F447E461-A0B4-4682-8E29-F88C1C4F5882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4015955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4015955"}}}}}