{"entities":{"Q2234060":{"pageid":2244803,"ns":120,"title":"Item:Q2234060","lastrevid":71633733,"modified":"2026-04-13T23:32:12Z","type":"item","id":"Q2234060","labels":{"en":{"language":"en","value":"Decomposing data structure commutativity proofs with \\(mn\\)-differencing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410635"}},"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":"Q2234060$36ACA987-5BCF-4C45-8C59-29AF942D9671","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cb5735719a6d789522a392b8f51fa6614d2060b","datavalue":{"value":{"text":"Decomposing data structure commutativity proofs with \\(mn\\)-differencing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234060$EF07D60D-4348-4E09-A3A3-AAE2ABE3397C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dcd2446d499c0f1d8145ed8b545a7d3abd88905","datavalue":{"value":"1472.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234060$299BFB3E-4971-4A92-B4F1-B7DD0A0EA959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d99202ac15dba9cd89a06b61ddc94194da49fc6a","datavalue":{"value":"10.1007/978-3-030-67067-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234060$F48CAF2E-B430-4B71-8469-600BB3C7E855","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3428d6758c8cd969fb5cc602f40fa07e68de0b76","datavalue":{"value":{"entity-type":"item","numeric-id":832228,"id":"Q832228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$783DDEEC-DB52-45B0-AE0C-276E564007E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b62294fb13e708c6a17a9b331a0fc305e71cac6e","datavalue":{"value":{"entity-type":"item","numeric-id":1702887,"id":"Q1702887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$B8957001-CADC-4D50-9C32-02EF38AE1748","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234060$03583252-0D80-4ECA-89F3-CAEC3AFC4CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234060$6E1502F1-6A5E-4A7B-AF7C-8C2E1B494E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234060$A17DE4D4-FE91-4583-8B65-634447F03DCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"356baf594d8fbb3c3852e9559c42f8bc4a4aba7a","datavalue":{"value":"7410635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234060$CC6B6EFA-BA2F-483B-89E2-375E680628CF","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":"Q2234060$084030EA-A2BE-4434-9531-6D7B0FE0C3E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7475e27050f10cfbd6df5a2c79854327c3faaa02","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234060$FC453BD1-080C-4526-B40A-DCE90C59AE7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c90cd5974242602246088f2af903558e8039d9d5","datavalue":{"value":"W3119735966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234060$C475395A-E4C2-4F3C-9072-DA4BC95190D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$E9BCFBCE-1C24-493C-AC6F-5B5DB660357E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ad3131adae1ec4cfb1e0e707f403902daa2316","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$F4104369-6510-4DD1-A5A8-BDEC4987D88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a26d3287ece83271cc7c5e695d831a30b246650","datavalue":{"value":{"entity-type":"item","numeric-id":2324210,"id":"Q2324210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$629B2B1E-479C-4401-890A-7A53ABD75561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9848121be970f29acbdd8ee1dd3e8034af4a7204","datavalue":{"value":{"entity-type":"item","numeric-id":2323992,"id":"Q2323992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$5E3862AF-B886-49CA-869D-E0209364EB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681d1a060becef7034c76396e1df8cd15b1e43c9","datavalue":{"value":{"entity-type":"item","numeric-id":6194574,"id":"Q6194574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$FF099A54-97EC-474B-A6CF-AB6E517E58DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c59c6f656ab94cbecb956a44c846cecea9cd9","datavalue":{"value":{"entity-type":"item","numeric-id":5145319,"id":"Q5145319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$A82A72EC-597D-4CD7-BCE7-AC8293E48574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a65ffb571a528db3397171c550c87447a2021d6","datavalue":{"value":{"entity-type":"item","numeric-id":1702924,"id":"Q1702924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$922BB933-0627-4FEE-8D4E-976F105269E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1809381f98716513d6e2527d3dd471ebbf1ef","datavalue":{"value":{"entity-type":"item","numeric-id":4804923,"id":"Q4804923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$D5F6084C-69AF-471F-BB44-5DD28669B985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1b6fc8dc35ffeec3f4a47a7815d0e7593e7260","datavalue":{"value":{"entity-type":"item","numeric-id":5255058,"id":"Q5255058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$CBC60E56-C615-4EF9-9796-FA32EE490AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95953f58f991c109178dbde517346fe7cea7ea38","datavalue":{"value":{"entity-type":"item","numeric-id":6044999,"id":"Q6044999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$FD7D025D-CB6B-41A9-A60A-4ED9AF52AFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$24856A34-7576-48C3-B651-A8CEFB7088D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$C5EB75EA-96A4-4CA1-8ED2-53A8433A9F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$A05243E0-F152-4CA5-A97E-92F71900A21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cdb65d4484ce30066c940d4e4480dbbf233292","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234060$BA0F9825-180B-4CDF-B10E-67E4588D555F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b47b75bebaaa2509ba4aa5e9db5488ea08a94fe","datavalue":{"value":{"entity-type":"item","numeric-id":2208295,"id":"Q2208295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612e3e91d53d1970ef70b36c40371dabf1e9d357","datavalue":{"value":{"amount":"+0.7628991007804871","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":"Q2234060$F2655A0E-B8A7-4C91-8864-A1D613D02B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7a309aa3eff0b8bff3c3f719d8e007dbb0258c","datavalue":{"value":{"entity-type":"item","numeric-id":2324210,"id":"Q2324210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fdebbf330bcf0bb02a2c4ecd21c16568fe94853","datavalue":{"value":{"amount":"+0.7217311263084412","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":"Q2234060$E0AF1A4D-61A6-4454-89B6-FB2F397763F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19223ef9a2d0e314e58ce6c8c2ffc965c774c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4341043,"id":"Q4341043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f301b8e390cc62dfaffc002eed1f08077cb892e","datavalue":{"value":{"amount":"+0.7102499604225159","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":"Q2234060$E09956EC-81BC-4B40-A638-9B79E70667E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3988132bf5a8fe91a1c53f6f9a823d6cd6b35907","datavalue":{"value":{"entity-type":"item","numeric-id":1664147,"id":"Q1664147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6629397bf5545273759d4d134e7be58f4ba2da4","datavalue":{"value":{"amount":"+0.6521825194358826","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":"Q2234060$3FE06B7E-696F-4BC4-AD78-249CE2F9CBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b412196237a7093cddc662ac4513bb0eaee72ee","datavalue":{"value":{"entity-type":"item","numeric-id":1702924,"id":"Q1702924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc3ed288e1414ee0dc3e8b43945443c28baa999","datavalue":{"value":{"amount":"+0.6493167877197266","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":"Q2234060$65BDAB9F-9269-4995-B38E-212E9B5D4CFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposing data structure commutativity proofs with \\(mn\\)-differencing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decomposing_data_structure_commutativity_proofs_with_%5C(mn%5C)-differencing"}}}}}