{"entities":{"Q456473":{"pageid":458240,"ns":120,"title":"Item:Q456473","lastrevid":62094366,"modified":"2026-04-11T03:43:30Z","type":"item","id":"Q456473","labels":{"en":{"language":"en","value":"Program equivalence in a simple language with state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098630"}},"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":"Q456473$2AF8D8A0-672D-4902-9DDB-BD248BECB50F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6ba6acb9e24b07e71f6a90c60a95159e08d1988","datavalue":{"value":{"text":"Program equivalence in a simple language with state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456473$981CF379-3EC0-47AB-88A1-9846EFAE6C08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c350e7e77a6c4292b1c6b9e44945caeeb9ffd6fb","datavalue":{"value":"1248.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456473$86C19DF1-8193-40B7-B5BF-B1C2174EFC55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$94A80D2A-EDF0-4597-9D7A-F40B87BE5023","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$00521A56-2326-41CC-97F7-55457973B370","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a1506ab7ce1f53f78adaf1a8c5bad8d6fc9e1d6","datavalue":{"value":{"time":"+2012-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456473$339FEEEE-245F-4A99-B560-66878FEE8877","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456473$A77459C2-37E4-4F9E-B808-9083AEF7FB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456473$BE67A430-E2A8-49C8-B30C-14263E412F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456473$CBB392B1-172B-437A-86A1-CD80E22CB350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456473$623B617A-61FD-4550-A7FE-C4E558C9BE03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e07f46ca02a6f0432fa2c745c0e60c11564c49ee","datavalue":{"value":"6098630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456473$676384B8-5CFE-4559-849B-94B71C39BECC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q456473$081D171C-A350-4A98-915C-045328C057D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a83aef83084836dd302a4102450b38c77142fb7","datavalue":{"value":"nominal computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q456473$9A98C7BA-BAAF-4EE1-A4A7-D70E4A8473B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1cc7c500e821ccb6303215fbf0dff8f4e84a240","datavalue":{"value":"higher-order computation and local state","type":"string"},"datatype":"string"},"type":"statement","id":"Q456473$5463E7C3-7F28-4A77-873A-3E5E7F358B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q456473$045D03F8-E913-4F29-B907-575769FB0A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q456473$D412141E-431C-4E87-86CD-10F4ABF9C2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1da9786a628d099022505654e8ebe90a9b647a9f","datavalue":{"value":"environmental bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q456473$B703B86D-6664-471E-B150-37D1C257FD6A","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":"Q456473$6DC261B1-378A-4B1A-BB55-A5B4FB22EC06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a01c1a27627f84ee018b1868e9d21d826381c88","datavalue":{"value":"https://doi.org/10.1016/j.cl.2012.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q456473$3F056747-3F31-4602-90C5-1767DC21FAF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46338555d3e0d332942a42dc7471aa8ea55365b4","datavalue":{"value":"W2067169385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456473$65A32D2E-3E30-4AFC-BD44-F416F548D0E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$7923B23D-6FA5-40DB-8182-02D796A73B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62a16e034127a831815ec85a56e664e75152a0","datavalue":{"value":{"entity-type":"item","numeric-id":3000919,"id":"Q3000919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$CDF5EDCD-BB81-47B1-9CAF-67EC75A67C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$CC2BFEEA-27F2-449B-95C2-37CABB7E55BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a17c4379c86a96dcc7980a8094e17013458d89a","datavalue":{"value":{"entity-type":"item","numeric-id":3583027,"id":"Q3583027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$8DD7854A-880C-4B95-99C9-FF094B7E2382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145e622600d34e2e2f04dd6d81034ed240f20627","datavalue":{"value":{"entity-type":"item","numeric-id":5176935,"id":"Q5176935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$4BF492E0-AFE9-4D13-9B32-ABC4DFF14CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$B829C6A3-5ED6-4A87-931F-80A00F925F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a57ad67cddac85a1ec8508c32d92cfd4c3ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$2008CF11-02B3-44B1-9D25-AB79DE3B2E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70310057f6e65c7bae9c8a38aad2028890ef7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$5A23D9A7-99EB-4C7D-9EF1-785148B77834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$CFBBB284-8C91-425D-98AC-B3EE1AEA56E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$0F0FA9F8-8C6B-4B1C-A13C-D23396C37FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a0435b20bb30af3d74c5a5847b341f3432a5bd","datavalue":{"value":{"entity-type":"item","numeric-id":3012916,"id":"Q3012916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$788755C9-57BA-477C-AFB4-DF8429565247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$8237C4DB-8C18-4367-BF04-368C9ED16206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38afda5b02f7521f890d112a8cba2020fcff83","datavalue":{"value":{"entity-type":"item","numeric-id":1882896,"id":"Q1882896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$3B104773-62F0-48C6-A957-F5389959F971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$4E8C4D48-86E4-4FA7-A249-1D771EEAE55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e23ad7f02426eb9734b3fe6d68d72ea663383e2","datavalue":{"value":{"entity-type":"item","numeric-id":5739359,"id":"Q5739359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$E7E73349-FF07-47FD-B458-3EB448862459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d3e86ef9beb1da039ebfc32fde3222c113689d","datavalue":{"value":{"entity-type":"item","numeric-id":5899014,"id":"Q5899014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$344B23F2-171C-42FB-A730-9560E8358C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16f978b19ff461de1876c12ebfad350cb92104f","datavalue":{"value":{"entity-type":"item","numeric-id":5308457,"id":"Q5308457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$C38EB142-C5FB-4562-9857-81D7F380C788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79dd6a0185a982d063bc5e3c14ea609468ea8771","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$C84B3987-6C6E-41C1-B589-03F64EDFE255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5503ec6758ecd10ef48d90e9f8352ed2cf9d1543","datavalue":{"value":{"entity-type":"item","numeric-id":2474444,"id":"Q2474444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$A2660624-04B0-4643-AD33-8144141C6572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d61fd0251775ecc89999c54c5093919d359a307","datavalue":{"value":{"entity-type":"item","numeric-id":5958762,"id":"Q5958762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$7202679D-A494-4B39-9F21-2F0A94189389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$69EE8F41-1CC8-43F7-971D-A1AAEE81CCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d481a89e756cde75dd4a6b340d69be4e2e1c309","datavalue":{"value":{"entity-type":"item","numeric-id":3617719,"id":"Q3617719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$B4729F65-C4AA-4C51-A1CD-E5690B4795EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce730ee7a5403b7df2b306c982f584f0979db721","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$C4277DA0-217D-49DC-8301-0BD37A805CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$573C9524-BBBD-4543-B866-71B14272C449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a44e53117e2b5122cf3411e07466ea55fcf7f2","datavalue":{"value":{"entity-type":"item","numeric-id":1898483,"id":"Q1898483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$CD39618A-63A5-4928-A454-64026AA951B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$7A8B6E30-BC2E-409E-B26C-21AAF369547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$FB32ECFB-440F-46C0-BCD3-E3BD1B58AA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531abc143c539bf5980f3593b87d7cc25d9d1318","datavalue":{"value":{"entity-type":"item","numeric-id":3138547,"id":"Q3138547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$AEFB2384-0083-4E7D-9F04-A373911C357F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25d503739dfb5bef7232e5c56d10b9c20660a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5899513,"id":"Q5899513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$B2F231C6-88C0-495F-B762-7ADB562989EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e540469eeca447506cba8553e8dbe095c6a67a","datavalue":{"value":{"entity-type":"item","numeric-id":3546343,"id":"Q3546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$B3E62509-133D-4853-B2BF-88CDBB0D1D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$003D62B9-7CAD-4B3C-AC69-50620C65A481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c84e7af85fc692c87baa7ebb91f8c4491e61e0","datavalue":{"value":{"entity-type":"item","numeric-id":5878918,"id":"Q5878918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$59746629-78B7-4A92-BFAB-8883E5B4E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d720f0c7d01ab48ba569f9365b68151360f293d7","datavalue":{"value":{"entity-type":"item","numeric-id":3401132,"id":"Q3401132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$EBF14781-88F4-4FDB-A41D-0397851B71DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17787c3b81a05a1b7f19d09197e5a5826b2909d","datavalue":{"value":{"entity-type":"item","numeric-id":5408551,"id":"Q5408551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$FCE12FC5-BFC0-4C56-9D7C-90AA88B4203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94bc86850d8318fe1ce6b203612f3cb481c0bddc","datavalue":{"value":{"entity-type":"item","numeric-id":5292670,"id":"Q5292670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456473$30EF3046-6120-4EE8-8A69-BFE47C809B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79c9006d005bb1d70b19c6f3b05544c15ebb7d2b","datavalue":{"value":"10.1016/J.CL.2012.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456473$6C9271A6-F721-41C4-B9EA-FF132011A098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcb28e414112255b3a7240f3489e919013d3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5176935,"id":"Q5176935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a9376ab51c0c9e3a8ea767990969986eafae51","datavalue":{"value":{"amount":"+0.7811583876609802","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":"Q456473$3A17BC3E-A3FF-4DC2-8B20-E71150783180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467476586a2a65a633f7f3f113ce6f99a9d440a9","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75ba595344fa28e971e5464e436218ac44f1117","datavalue":{"value":{"amount":"+0.7802229523658752","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":"Q456473$14632480-E2BA-4C19-88D4-00B17F8FEA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cb6ea631bb1b4a20014eb11c209a3d5e397924","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9870a29da260c7072e3e6dd1b7ebd05f99ea35fd","datavalue":{"value":{"amount":"+0.7553548812866211","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":"Q456473$EE0A9993-6D75-4C60-9D69-110E2DDD2EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c2ff869d6244f93219a00f50056798e13e33b6","datavalue":{"value":{"entity-type":"item","numeric-id":3618813,"id":"Q3618813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b898ad90183b55c1ba43547ae8f9ea3b3189c7ba","datavalue":{"value":{"amount":"+0.7510597109794617","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":"Q456473$9749E0A1-95A1-48FA-9043-CE055D62D937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee4e493219cc37897fafa3a59caae91d217d725","datavalue":{"value":{"entity-type":"item","numeric-id":2346993,"id":"Q2346993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6a6d2441d8e206cf908b2cb532df23a108acbd","datavalue":{"value":{"amount":"+0.7509869933128357","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":"Q456473$C12EC538-2CDA-476B-B468-661D9DF90CD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program equivalence in a simple language with state","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_equivalence_in_a_simple_language_with_state"}}}}}