{"entities":{"Q4621212":{"pageid":6650795,"ns":120,"title":"Item:Q4621212","lastrevid":58302756,"modified":"2026-04-04T15:36:53Z","type":"item","id":"Q4621212","labels":{"en":{"language":"en","value":"Axioms for behavioural congruence of single-pass instruction sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020204"}},"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":"Q4621212$8607DC8B-05B0-4FE1-B1FF-80C4CD764289","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80b02c2965bf72d7ad8cfda747ba93814b5bdab9","datavalue":{"value":{"text":"Axioms for Behavioural Congruence of Single-Pass Instruction Sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621212$3E934BD2-EB17-4A0D-A42A-7B1DF32DF768","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535a09a5ce36a8c3bf3a750006af9033b305d3af","datavalue":{"value":"1424.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621212$F3F1A317-CB8C-4ECC-A351-309290A46D1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7060c73e5dccf196cb7753a73899cc9f9345f1ca","datavalue":{"value":"10.7561/SACS.2017.2.111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621212$11723602-2D59-43A6-A83D-A58007B4B3DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621212$2E37A566-80B2-48A0-AC79-534F1A61E597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621212$D8958976-1F7D-4D4E-A555-947BB7F3A1FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621212$1BB8F5B5-D799-4160-A145-DB48CDEF50BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621212$75685465-313A-4E28-A69B-6A5369CFBE13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ef42e3082321cd3b99cead2b498b5e40939fae4","datavalue":{"value":"https://arxiv.org/abs/1702.03511","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621212$3CCC1457-76D3-4DC7-87DD-EAD9AF842B71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621212$8596F033-3235-4BB7-AA5D-DA6D3AD2C2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621212$1C48C731-DBD1-4B07-881A-0EEA55D4F930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b89c8d25961afcbbd91eaf81938c2665c433e50","datavalue":{"value":"7020204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621212$9882EFE7-AB85-428E-BE35-32C88A2AAAF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd182c2e9058301efa292c2afe2941792b9eb1ae","datavalue":{"value":"program algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621212$0DFC2827-945F-4298-A5A0-E32088A93958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b4ac67ac17770e2e3478c87cfc8b72d82db15f","datavalue":{"value":"instruction sequence congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621212$5BB4D416-A7F4-4C20-A6F7-B76BAE4624EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c460b570025c7217d42d31a3d7ef9ce2f5abec3c","datavalue":{"value":"structural congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621212$7E0BC6BE-0718-4982-9DC2-8D9179FB0B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d584046545cb56b69265775cbf83e3f52222da","datavalue":{"value":"behavioural congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621212$36A21955-2278-44EE-AF06-AF93288AEA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621212$479EDA8E-DFE8-492F-8AF1-C22EC4082A63","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":"Q4621212$26922918-FF10-437B-827F-BE404199C1E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cebdaee2bf2a0677e0e951bae3717b521fc9424","datavalue":{"value":{"entity-type":"item","numeric-id":1858432,"id":"Q1858432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eddd841cac213e9143b9080bcd98fa38147db92f","datavalue":{"value":{"amount":"+0.731640100479126","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":"Q4621212$66BC4225-9C4E-44D1-AC55-E4A7674A4565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1595a50f3d56033f73393cba85428f4a5500aa7","datavalue":{"value":{"entity-type":"item","numeric-id":692925,"id":"Q692925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f516381f28d158980e4659745386ca5f68f38f2","datavalue":{"value":{"amount":"+0.7231825590133667","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":"Q4621212$0E5F27EC-2D89-487B-983B-9CE87B92864B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2597f0bff7d91c0069a6499cf111112e4b57f","datavalue":{"value":{"entity-type":"item","numeric-id":2209486,"id":"Q2209486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690644edab7bf798c76111738df8acaef78a95b8","datavalue":{"value":{"amount":"+0.7096908092498779","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":"Q4621212$6F24B1C8-59E1-4052-9BAA-638FAB14A8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0869c7dd0a97f7dfe2fa3ee303675e5d9f0a982e","datavalue":{"value":{"entity-type":"item","numeric-id":1586164,"id":"Q1586164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf27279cbeba1fd2c6acea1957e812d18fa2e8e","datavalue":{"value":{"amount":"+0.7079651355743408","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":"Q4621212$A0F46B15-0D12-4FAA-9B3B-1EBDE71890EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ea8c5d1fd146e415911c883b096beae62fba54","datavalue":{"value":{"entity-type":"item","numeric-id":4902302,"id":"Q4902302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ccd53c289c90708d0e89c349aed67f0c2f6ba1","datavalue":{"value":{"amount":"+0.7006707191467285","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":"Q4621212$011485C2-FD94-4A3D-A264-2516CD9C2C3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621212"}}}}}