{"entities":{"Q6567724":{"pageid":14178879,"ns":120,"title":"Item:Q6567724","lastrevid":103708070,"modified":"2026-06-06T07:57:37Z","type":"item","id":"Q6567724","labels":{"en":{"language":"en","value":"Verification of compiler correctness for the WAM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876671"}},"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":"Q6567724$600FAE95-3CBF-4441-8F42-A9F54F84543F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0dc4a44749b18bca113b0a38c2663e462dbbd7d","datavalue":{"value":{"text":"Verification of compiler correctness for the WAM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567724$4DFA6CC9-5A64-4C5F-9FB0-19661F8DACEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdea36737403e5bb777ebfc9f3fee1cc21f9ecd8","datavalue":{"value":"1543.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567724$6979C6AF-B995-4BC5-9DD8-ABBEC0D91DD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62c1547ef426e401b02d5f85f2cb62d8a1be04bb","datavalue":{"value":{"entity-type":"item","numeric-id":2752050,"id":"Q2752050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567724$B5DBFCE6-2E53-4E13-8E22-B241DD02ABCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-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":"Q6567724$28A5D63D-1214-43EA-8B4C-E2EC95D0402E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567724$A99F2E40-93C6-4436-9072-556C34C95C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567724$06998635-3AA2-4300-9AE4-0A379D5DB75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567724$38AA12B5-715E-42ED-8258-5528DC71621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567724$8937B98B-A10C-4A1A-BAC6-440A7543654F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567724$E68E5174-B1FF-498A-B0E9-BB7DC1A8DDCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3a3534c35a7104323fb21d4021d0a2736299225","datavalue":{"value":"7876671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567724$07D9B0E2-1140-4B10-98B8-C6C71374F4B3","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":"Q6567724$2350A91F-36F8-4CC4-999A-C7B5862E75B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567724$F103CC10-F23D-4B1D-BF10-64285CF744B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673b4c7ae8a199b2173754a4cabb2c5688edff4e","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567724$2C4DACE3-4CAA-44FF-BE8D-72895B273AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567724$DAF28D7C-5914-4678-973E-3B72B7E36728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567724$B7914160-B48E-4DAD-BCA6-429727EB1B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567724$2B355515-1142-477D-B8C4-51076EBFA8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95182f2cc2a60105385a6076ab3574d89a529bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4015948,"id":"Q4015948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567724$275ADD7B-CCBE-4954-B6DC-E06CE5DE72CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44ab4c18410e7839640a91ddee99fa8216e7bf63","datavalue":{"value":"10.1007/BFB0105415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567724$1274737D-3E67-4C71-9917-25749A8899FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f4094b15d2126e1c812eecb31844161f3f5c11","datavalue":{"value":{"entity-type":"item","numeric-id":4839029,"id":"Q4839029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269ff9b1a3ede029ce1c8c9a8f09a1041705d4e9","datavalue":{"value":{"amount":"+0.9061452150344848","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":"Q6567724$2BEC27B9-B851-4C3F-9AD0-B22217D81472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3052955fa4e6024e045c7eebfa730b43a74fd6a3","datavalue":{"value":{"entity-type":"item","numeric-id":4015948,"id":"Q4015948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d490857643135a5fd8b20116b1f3ec0f352d8422","datavalue":{"value":{"amount":"+0.8927441239356995","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":"Q6567724$CF41B463-C3F7-43DA-9AEB-CE36915FA45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5cf83a7b0d1bb9b74d84888bbd75c3b4f6f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":2702600,"id":"Q2702600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d1be22dce2197218a59449b06eb697f7461b7e","datavalue":{"value":{"amount":"+0.8919696807861328","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":"Q6567724$7F245C1F-DBE5-4975-94AA-7D81BACC5E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738b354b27f990f2b74aebbc90192eac7df09afc","datavalue":{"value":{"entity-type":"item","numeric-id":4520493,"id":"Q4520493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cf1bf5403fc5f879c1b6d487bbd87895d25ee9","datavalue":{"value":{"amount":"+0.884703516960144","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":"Q6567724$4ECFB292-F326-4A1D-BF87-6453555F91C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71daf96a532c3b59d50874185efe32426caf0db","datavalue":{"value":{"entity-type":"item","numeric-id":4202930,"id":"Q4202930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1162b1a5fc79c3944f1e868ee5fb2f9fa3cbcc","datavalue":{"value":{"amount":"+0.8316965103149414","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":"Q6567724$21ED5E61-24C8-4FD1-99CE-A218DDD9B1DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of compiler correctness for the WAM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_compiler_correctness_for_the_WAM"}}}}}