{"entities":{"Q2486260":{"pageid":2497003,"ns":120,"title":"Item:Q2486260","lastrevid":44180259,"modified":"2025-11-20T15:33:19Z","type":"item","id":"Q2486260","labels":{"en":{"language":"en","value":"Rewriting of imperative programs into logical equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2192952"}},"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":"Q2486260$32E9F402-D2BB-4AE8-B75C-AF35B3E69075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48f22c3bc88d052a977280c1f8878cecdd6a6ec5","datavalue":{"value":{"text":"Rewriting of imperative programs into logical equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2486260$FEF0985E-85C2-46C8-9E7F-D5FDDE092C4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a89aee2df340648a21df6b3f2bffb94a16a7b2e2","datavalue":{"value":"1082.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486260$4F80FB44-424C-4309-9BDB-DAA0E6BC2EA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b009942705fc24f2579d0abfe7d883da9ba4fed5","datavalue":{"value":{"entity-type":"item","numeric-id":2486258,"id":"Q2486258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486260$133BAEF0-D44D-491C-99FA-D2A85DAF803A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b56dff23538d7291019026c4547881c88adaa0e","datavalue":{"value":{"entity-type":"item","numeric-id":2486259,"id":"Q2486259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486260$4898CF60-B20B-4557-A3C8-EF2AAFD30890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20b4944fe4b96d4fda5cc5e09d49f0846d30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":685351,"id":"Q685351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486260$69B3C80C-BD00-4FB6-8E3F-D3A1F45DDBE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486260$04FFE679-06D4-4829-9585-7B251F89C42F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90b8e08a65c3f6b60302137bec886dcfcd8ff418","datavalue":{"value":{"time":"+2005-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2486260$608B5D00-121F-49C7-9FE4-3F7465D01619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486260$F9968BE8-0AD1-4E42-A8B7-6435AB6F6BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486260$1229E8B4-CCB6-4378-8A72-74AA8AF36E4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ae734eb94418d87dd53d95503c40d2c4c2b6435","datavalue":{"value":"2192952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486260$50CD57C5-CB6F-4CB6-80FA-0EFA9836827B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5016b4224eae8c1f804050b34ad7e72c4d49225d","datavalue":{"value":"Imperative program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486260$0A999F10-05AB-499D-B8CE-08580A71CED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e58670a309075c0628bd32b252a3d4f2c30abc0","datavalue":{"value":"Operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486260$5103A4B0-8BBA-4D44-BD09-C4F2D4B2A4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0973cfbae42ab098abdfe35b7821f9debffd70e4","datavalue":{"value":"Equational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486260$4E1FBE8F-5DB5-444F-A72B-A9CB153C5E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18b8383d25c228805cecdd56d98271af936c245d","datavalue":{"value":"Compiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486260$CA328443-773C-4E11-88E8-C10949A8CAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856cbb3a1dd9e116f4ff19f1aee6ebcdf5acff8f","datavalue":{"value":"Rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486260$E249DEF5-440C-4B39-A79F-1CC363AF9C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72754f025646d253a504a5c83a75eb55c7fd42cf","datavalue":{"value":"Rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486260$A0BC4FCD-3EDD-49A0-BDBF-30EA99AB61FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9928ae9fcfaf03e4706ca2a7e2f249f4a8e042bb","datavalue":{"value":"Program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486260$7845729B-D123-4EBE-936E-5B554BEAB3BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486260$708633CE-534D-42BE-9821-A3CFDCE3FF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486260$5F88D57F-EB52-4719-A005-FF47498919A6","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":"Q2486260$A2D52F3B-581E-42BA-89AE-BE5E5EF48DD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b283c37b8961511cae6f0e0fea4c02e77a56c7e5","datavalue":{"value":"https://doi.org/10.1016/j.scico.2004.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2486260$025A84A3-9396-480F-AC22-B6BA93BAD3F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5b8914a39cc5a653587aff2a167c425b87c5913","datavalue":{"value":"W1990968526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486260$0896795F-C7AE-45B8-9C97-5C5944214814","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fcc7c787ed6c9fa4c48ac5c642d4e4256b2dffa","datavalue":{"value":"10.1016/J.SCICO.2004.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486260$BFE26903-4720-45E5-9C4A-2EEB038F4617","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a584a90b8db6897841ab74bc5ce7d65f4c1ca595","datavalue":{"value":{"entity-type":"item","numeric-id":4725722,"id":"Q4725722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bb3bb74e41690428dc6bf18cfe99eeba4fb15b","datavalue":{"value":{"amount":"+0.90912414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$82137D68-B0CF-478F-9B21-406D61BC4574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803e4bf765d7edc092a2ce10d3e64145eef2dc57","datavalue":{"value":{"entity-type":"item","numeric-id":5492827,"id":"Q5492827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cdc9e5d856353ad6a66b003a558a305f71863a","datavalue":{"value":{"amount":"+0.901024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$4965401A-FA75-4AEB-863C-2A7D301FCDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca53b16627d27d6f42a078d807ba4a5faacddef","datavalue":{"value":{"entity-type":"item","numeric-id":4452602,"id":"Q4452602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e6bc681d2e2eef57836506a4745bae6a227783","datavalue":{"value":{"amount":"+0.9008726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$DE8B6F76-EBFC-4565-9286-7F7BC3257CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"048ca6511d1ae1abf5f4935f8eddf2fb85fc3122","datavalue":{"value":{"entity-type":"item","numeric-id":5881268,"id":"Q5881268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58c3cb739801b7b96a7a49144c499a1a9a53479","datavalue":{"value":{"amount":"+0.89659464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$8BE77378-13AE-4561-910F-CED37A201DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07db2a74cefbb08bf679fb8b9b66a33c4de83866","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd81b05b1f4edd4787623a5e20b4b3516b2ad1c6","datavalue":{"value":{"amount":"+0.8957828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$E8B464A8-2F81-4A60-91E9-562EB74ED719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3435cce93486d8873f6bd14330c5ba7b3ac1a263","datavalue":{"value":{"entity-type":"item","numeric-id":2764063,"id":"Q2764063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f2ad3b2ca4fa92d231d30ec214f983bebf29b8","datavalue":{"value":{"amount":"+0.89347315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$F834EDD4-5C93-4006-AA28-D8A2A88AFBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb011cd9eb19b2298944da1885c553fab608aa5f","datavalue":{"value":{"entity-type":"item","numeric-id":4700443,"id":"Q4700443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382baec6fbd3814a0c6057c407d8c3e85d8ab9fd","datavalue":{"value":{"amount":"+0.89287806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$F0E6E3A5-9BBC-4861-ACE5-17DA7430C0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a0c9557400bd05cf1c521b5f980192dbc272c0","datavalue":{"value":{"entity-type":"item","numeric-id":2900525,"id":"Q2900525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2ad20db8013abb38d67c0f8eaa48e34ac151ff","datavalue":{"value":{"amount":"+0.8893895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$78B4FCEF-F3A1-4BCC-A091-9A53EF1A6BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2af4ec774ddf93fa5655789596a53dfe9cd9e","datavalue":{"value":{"entity-type":"item","numeric-id":3727354,"id":"Q3727354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3089663b35ecc7b3993822a9a4f7566ef4b8bd1","datavalue":{"value":{"amount":"+0.8858609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2486260$DEEDB480-194F-459F-BE80-5633E324B50A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2486260","badges":[]}}}}}