{"entities":{"Q5902369":{"pageid":8011503,"ns":120,"title":"Item:Q5902369","lastrevid":102017558,"modified":"2026-06-06T03:19:07Z","type":"item","id":"Q5902369","labels":{"en":{"language":"en","value":"Correctness of a higher-order removal transformation through a relational reasoning."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652925"}},"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":"Q5902369$918B7EDB-9D41-40DA-88C0-BB0FE9387AC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0750a34bd761da02dc74542a311383d1b6bb3023","datavalue":{"value":{"text":"Programming Languages and Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902369$0B62EF0E-2190-4540-BAE2-87C586E340BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8581a49314d04fe2779224e1304fc6f5763c6b4","datavalue":{"value":"1254.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902369$06816D04-1DF6-4C8E-8CB9-9A58CE95D134","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f271e07fe507ff96d0acfd7db8c7e0699bf55333","datavalue":{"value":{"entity-type":"item","numeric-id":703584,"id":"Q703584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902369$5F52B932-EFA4-477E-ADA1-FBA5A2378AE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902369$6D73EEB6-706E-4A24-A62A-949B40E8B255","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a298e5caca0f42371daea3257fe0d30ab5b1de8e","datavalue":{"value":{"time":"+2010-01-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":"Q5902369$A2F5F8EF-147F-4545-8799-EFCD4743448E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902369$AEAE29AF-9660-4CD1-9651-F5F4B846FDBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bda29fcb8977a0a9f7b92e9666ace39811585f2a","datavalue":{"value":"5652925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902369$CD301FDA-79F7-40BD-88F9-75ECE6F44BB4","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":"Q5902369$D40D1D7F-19B9-4EA5-A5E4-7B24C6F8A384","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfc03a8c6cc69deb7d8513dda8957312145fa845","datavalue":{"value":"https://doi.org/10.1007/b94290","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902369$CAB9EEF3-385D-483A-B3AC-4C05E6DFF3FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b48d9fda78bafaa4793ed158750ddad3da7a7e49","datavalue":{"value":"W2493559803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902369$1A58F8B7-9FAE-49B8-A305-7296A79B86CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"291f8785b06dce100e1ddc22a905f1e3e65a9748","datavalue":{"value":"10.1007/B94290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902369$3031FB34-6CF6-4E7A-8AFE-FD52FB31766F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043864543ceb1e5c98187ddd1ab12fe09a6286df","datavalue":{"value":{"entity-type":"item","numeric-id":5096758,"id":"Q5096758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8953d0502808a1794fedc50991695b3fe7454fb4","datavalue":{"value":{"amount":"+0.7410688996315002","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":"Q5902369$ADFFB6E0-6FD9-4797-82E4-A503FF2362F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83ecc53fe3c7d43b0c5a8c2dbe4bb42db881df4","datavalue":{"value":{"entity-type":"item","numeric-id":4499196,"id":"Q4499196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1e3911303418de0321637ed564cbe9728ab53e","datavalue":{"value":{"amount":"+0.7399157285690308","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":"Q5902369$AA3DC653-6E50-425E-89D3-EA4835C58B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36393a0594559eb21044445851122896e219110d","datavalue":{"value":{"entity-type":"item","numeric-id":4649541,"id":"Q4649541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b961cb38d32ae92cdc65294576be4e235a5eda","datavalue":{"value":{"amount":"+0.7348035573959351","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":"Q5902369$8E01F028-CD7E-42C0-B58E-E622D808B39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f3ad7d15f021414a3a31a7fe2a336e2f6f1431","datavalue":{"value":{"entity-type":"item","numeric-id":671683,"id":"Q671683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddbc2308f1d572ccc248d248f409fb67d8935d5c","datavalue":{"value":{"amount":"+0.7325583100318909","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":"Q5902369$7252AA53-361C-4160-B162-761B6B0A7D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9216c1f97ec59433a63b73a5131ebc54d8e847","datavalue":{"value":{"entity-type":"item","numeric-id":4675766,"id":"Q4675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b07892489de7b33939f0ab81c4d6b9908bff7c","datavalue":{"value":{"amount":"+0.7305477261543274","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":"Q5902369$382DFEAC-527E-431F-99E1-AEE2EB4B965B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness of a higher-order removal transformation through a relational reasoning.","badges":[]}}}}}