{"entities":{"Q549683":{"pageid":551450,"ns":120,"title":"Item:Q549683","lastrevid":51292790,"modified":"2026-01-17T15:32:00Z","type":"item","id":"Q549683","labels":{"en":{"language":"en","value":"Normal forms in total correctness for while programs and action systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5925510"}},"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":"Q549683$5A130BA3-73BA-4D1F-88F7-9B67A2857E64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfbee6e8605a7db76b585424119438afb9dd37ec","datavalue":{"value":{"text":"Normal forms in total correctness for while programs and action systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549683$866F0854-CE21-4DDC-BB98-3CD1497A091C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24861816b38d85d6820ef243678fec6d88f2cede","datavalue":{"value":"1221.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549683$CB886717-7CF0-47D0-9E0D-279BB11F5F00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"590ecdf2f6090425f036c1b39890a1736ad1d5b4","datavalue":{"value":{"entity-type":"item","numeric-id":549682,"id":"Q549682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$A00CD8B1-51F9-42B3-9D8A-0DA38695D07C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$AA35873A-9830-4010-9D67-63F68B59C229","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dd288f91e249ba649089623a2b7d89908afe78c","datavalue":{"value":{"time":"+2011-07-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":"Q549683$42E6E098-2A28-4662-BFBE-F190A4AC2113","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549683$DF821492-8B9C-4B9E-B115-B6FEF17483CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c12fcd18f6c20c289f0cec67e73255e5b7ef70e","datavalue":{"value":"5925510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549683$5DD41C77-7DE4-46ED-B53A-B6D55866B4CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b542e32ed363d914492c96f9edb9e93d4194ed6a","datavalue":{"value":"demonic refinement algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q549683$33B3983C-77F4-450D-B069-60A49BECD466","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":"Q549683$9F98FEC7-8392-45D0-9251-C601A5DC3D96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3e4f04575115ad0b9bee2c148f826a80c32d2be","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2011.04.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q549683$30997EEA-A273-4017-9A19-CC30D716376C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b9857f0fdc01ee4b3eaa37691409fc42e491733","datavalue":{"value":"W2054917142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549683$3F57EDF7-FE20-434C-B140-1AE1BFC80EB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd8ac16bf352ecb0ae67e413a0bcc2dcb69557","datavalue":{"value":{"entity-type":"item","numeric-id":3814785,"id":"Q3814785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$6621F5BA-1839-42B1-9F4B-C1202D621A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$5D554FE5-3A30-4838-8389-DDD1D45D8E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$C42C16BB-AF85-4D85-8A78-351C885FEF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$D95A93AD-C07C-4CAD-AC83-4107EADBA89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$364247A9-DF84-48E5-A46D-2B1D49E9BB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$C7EF9AFF-5396-4520-8D26-829174D31C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04423ef643adfc05648864517dad32b25804c149","datavalue":{"value":{"entity-type":"item","numeric-id":3870277,"id":"Q3870277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$F75995B7-6C37-4D7F-B716-9ECCBBF0A152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$17485C62-A480-4966-BB81-F95033A10DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$9213AC58-8620-495F-9067-D39ED205A953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f29bbeded03b5c34676a0e50a74637f09aaf8a","datavalue":{"value":{"entity-type":"item","numeric-id":5459189,"id":"Q5459189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$F1790AB0-4411-481A-9AEE-C84657B58B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff91fdd17b290644b8158a8f8c228dd3a8f285d","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$B2B6FB5C-30BF-42EF-87BE-1FCC5FCDDA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e186c569b8f49701f179319efa49430fae0cf8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4130977,"id":"Q4130977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$E36C2951-8DD9-4E02-A82F-0A9BA86B4804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8e57704ab227460b0d31ed03704318b96cda0e","datavalue":{"value":{"entity-type":"item","numeric-id":3651525,"id":"Q3651525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$8423FA51-7B6D-47BB-BF0D-20DEEF0B1AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7dee35badbafdef12cf49d8facb897d47ee0c2","datavalue":{"value":{"entity-type":"item","numeric-id":923890,"id":"Q923890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$6F3895B2-F8F5-45B7-A311-DE8B0DBB3945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd1ee8ddef8c3617a21c4911ab4abb48a578a69","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$31734523-0A1E-45AA-8BBE-5096D82693A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549683$EFF0FBB8-AFFD-4ED7-B2C5-0AE415A0C78E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43c0a9d4e9350f48d9666b8fda923382f21442a5","datavalue":{"value":"10.1016/J.JLAP.2011.04.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549683$BCCABD6F-9B05-4100-95D3-765DE6493A44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffff10fe6c17253b7641c1e1d5d15c1be098367","datavalue":{"value":{"entity-type":"item","numeric-id":3651525,"id":"Q3651525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93db3ee1a3758d7d17e87b8217be81d3a033bfb","datavalue":{"value":{"amount":"+0.9523292779922484","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":"Q549683$7B91996A-669A-402C-AA80-31693BF1C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b448852c958cdb0ecc2c93f211b0e5409cc6066e","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6913d0d4d451a7b0c827bc03337dca5af426b964","datavalue":{"value":{"amount":"+0.7837302088737488","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":"Q549683$F506F606-3C1D-4868-8B21-49CAC46EA481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fa3d3d0eea70a1a135949962f4363d5f425c8a","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ae006ff8c099cae8afaab9bd6dcf85a7efc7b4","datavalue":{"value":{"amount":"+0.7825069427490234","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":"Q549683$EEA4A9F9-0E62-4453-B315-A035996D9A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3275536ea2cdf37741bbee2a80619cb6f3712cd","datavalue":{"value":{"entity-type":"item","numeric-id":3575271,"id":"Q3575271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780a50f692fb2354221d876b3b4a9e604ac9960c","datavalue":{"value":{"amount":"+0.7763563394546509","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":"Q549683$CA232752-65B3-4344-A953-872F3E43A0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15529d64dbf61a436024a0579129e429bcf78898","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0591e96f5bb27ef5251c9e4e0f1fa9bfecfd10e","datavalue":{"value":{"amount":"+0.7577900290489197","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":"Q549683$6AC3358A-6FF1-4815-AAFA-447968E5341B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:549683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:549683"}}}}}