{"entities":{"Q3392923":{"pageid":3403626,"ns":120,"title":"Item:Q3392923","lastrevid":50747660,"modified":"2026-01-15T00:46:47Z","type":"item","id":"Q3392923","labels":{"en":{"language":"en","value":"Proving the Correctness of the Implementation of a Control-Command Algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5596301"}},"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":"Q3392923$D4F82601-489A-4E35-AA4C-94AAC9ADEB27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a0e726c9d7b044126d0195f26230b346bae2198","datavalue":{"value":{"text":"Proving the Correctness of the Implementation of a Control-Command Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3392923$9428EF7E-43EA-4E1E-94E4-06659C5348A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1cd3df68bc87c0dd7827e399be3dc955f49dd85","datavalue":{"value":"1248.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392923$AC0745C1-5D33-4E1E-A14D-5597F9557129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"444848cbb95ec6e3b8ee80dfbb4b52483fff35ef","datavalue":{"value":"10.1007/978-3-642-03237-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392923$0A3445D3-3CEF-4A80-9BC8-AFD0F3FA7DE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23cb5932563e31092b87a96584d50cea804635d2","datavalue":{"value":{"entity-type":"item","numeric-id":411435,"id":"Q411435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$7A956382-5AE7-43B9-8732-AD990209CE3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$45F946B9-620A-404C-9D45-E73AE47297CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de6d3019de58c3b1284b728a467f4e3921f5e94","datavalue":{"value":{"time":"+2009-08-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":"Q3392923$EB00D37F-710B-40A3-B3E8-036897D2F1E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392923$D1AC7108-7A49-4F4D-A775-8DE6CBC62946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392923$CF5B2334-810F-4C17-96BC-465E2BB8AB1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2137efd09c9335456e289f82a174e9dc13a4195","datavalue":{"value":"5596301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392923$83A1F2A3-7F02-417B-A207-961530A398F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d003899790ea4243b59c37e2fed3529af97d306","datavalue":{"value":{"entity-type":"item","numeric-id":32154,"id":"Q32154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$A2AB2C24-C9DA-466A-A094-299C22AFA9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$97B19B7D-029D-4E02-8B5C-2E643584A176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$1E59B8C5-83E0-423F-98BD-C7D9AA95971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$9C9FD0EC-1B14-44A0-9852-1C18486160B1","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":"Q3392923$628B5C0B-1262-43ED-A63D-9D8F2916FDEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f92b7892f91ad48e6c15db0646e51f70f73af8b6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03237-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3392923$738FCD7F-3FF5-467F-9285-0E9D1B449E52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e441d75ad97cb42e5f0316df9fe35e5c722bc4b","datavalue":{"value":"W1490299611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392923$B8C880ED-532B-453D-844D-6BB36B1D518E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$C1035437-5F3C-475B-B969-C2E9379D5FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890821d39e22e55d75c64d4152ce3026a412df71","datavalue":{"value":{"entity-type":"item","numeric-id":5452705,"id":"Q5452705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$B874357F-DAAD-4355-8E36-81F348296514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b0687e36a807b4ab38ac13ff12a5f69222d271","datavalue":{"value":{"entity-type":"item","numeric-id":5458386,"id":"Q5458386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$7B99A70B-798A-4E05-9CE8-6A979C1CB916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f7b2ff21c29b868e86b16c540a19ece6dbb830","datavalue":{"value":{"entity-type":"item","numeric-id":3189807,"id":"Q3189807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$B0358D5C-2EBE-4F7B-8FFC-60ABB9F5666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$44AC12E6-26C0-457A-92DA-F96190EE87C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36883030cfbe7504efa1a529decfce95f5779b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307932,"id":"Q5307932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$429E09EF-5BD5-4B48-8AE0-55EC1FD150DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6e1588410337dd07172274ddcff3114ce32a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4473749,"id":"Q4473749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$46C5088D-D3C8-4424-B9CC-7B5AD40B373D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$7BA0A4FA-C81A-4508-A3FE-C6430A42E7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abe25c23c7294b52af126350df03ffdf3e84ea2","datavalue":{"value":{"entity-type":"item","numeric-id":3613375,"id":"Q3613375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$31311662-2F23-4CDD-9A44-118B063C2A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f58403091e3cae0cd0ee861240b50ca299f4cef","datavalue":{"value":{"entity-type":"item","numeric-id":3523109,"id":"Q3523109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$EAA20460-BB53-44BF-9A23-DFA52589ECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$AF17B42F-0B8C-457D-8B3C-1EC2AB3E12D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$A94C1644-A7F8-40AC-A1CF-5F78D49CB4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caac7c1dee010b7e7dfea82e11f7d64e5bd9dafd","datavalue":{"value":{"entity-type":"item","numeric-id":5273718,"id":"Q5273718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$4702ECBD-E954-40D9-9B05-E7D8FF3788DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff209b323cedc045a5ec59206d1e0599b8d553fe","datavalue":{"value":{"entity-type":"item","numeric-id":4246818,"id":"Q4246818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$5CC32FE8-D78B-4F12-BD67-0D5A077C5781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c090fe1b38ffcd772b08ec2baa6aeb6b3f749693","datavalue":{"value":{"entity-type":"item","numeric-id":1407764,"id":"Q1407764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$E82529FD-51E2-402E-B026-BFD0298C3B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e101bfbf06b622f6ed676449877c88e117d5513","datavalue":{"value":{"entity-type":"item","numeric-id":1805854,"id":"Q1805854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$A77C550B-0C0A-42CE-9F77-F08E430BDB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"428857f19eba1179901f1e71bbb4e9ad627c9e33","datavalue":{"value":{"entity-type":"item","numeric-id":5308361,"id":"Q5308361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$51DB1E90-CA88-49C4-BDB3-B728A973491E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8723df622574ee7b9d8344c383cb42a85ded5e","datavalue":{"value":{"entity-type":"item","numeric-id":3523125,"id":"Q3523125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$5F6661E3-1A3E-4505-B4E1-D7B73994E76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab3ce518514c1eb6a24ae802e28cbbc33a403c5","datavalue":{"value":{"entity-type":"item","numeric-id":3613374,"id":"Q3613374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$EE517851-9324-4935-86AA-1C7CD76118A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa00149d0b36ff3dcaebd33fb9f191140d4a5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3624588,"id":"Q3624588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$F060CDBB-D6FF-40A2-A8AD-C76BE671D44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df45e0632000f3f3c439f409f715768026c5eb9","datavalue":{"value":{"entity-type":"item","numeric-id":5307957,"id":"Q5307957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392923$2A657A79-FEFA-42D2-BD60-504DF8AC4593","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648dac7a495908878a88b39402af54933b84fa73","datavalue":{"value":{"amount":"+0.6878914833068848","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":"Q3392923$13913182-D396-4FE2-9CA1-F1EF39C0AB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7171422ce814a2a673e9a95c175557c2856f6c1b","datavalue":{"value":{"entity-type":"item","numeric-id":2520681,"id":"Q2520681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb15e15dc20965465858f719e1b99e48e29fcf8d","datavalue":{"value":{"amount":"+0.6776794791221619","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":"Q3392923$FA0FC272-3CE3-4D1D-9897-9BB65F57DBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2613e5534e7edd34021dea9f858374230bd31d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2988922,"id":"Q2988922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c58f35a5e01a33e8c0a093bf73d73f7e6f0bc7c","datavalue":{"value":{"amount":"+0.67634516954422","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":"Q3392923$33954F43-2590-47FA-AD50-DB721E5AB3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d0bf77e7685ce0bd385052c8e5469afbf3067c","datavalue":{"value":{"entity-type":"item","numeric-id":4249562,"id":"Q4249562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4564e5cde49b508fdc25e6063539ec88aa90d97","datavalue":{"value":{"amount":"+0.6747167706489563","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":"Q3392923$1B32A8BB-6D01-488B-9C7F-078343EC13AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f1f1363753b641cb509752c4a571b1a431d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3624588,"id":"Q3624588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4564e5cde49b508fdc25e6063539ec88aa90d97","datavalue":{"value":{"amount":"+0.6747167706489563","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":"Q3392923$947AC8F3-0109-4B9D-BC0C-C8C5327E973C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3392923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3392923"}}}}}