{"entities":{"Q469998":{"pageid":471765,"ns":120,"title":"Item:Q469998","lastrevid":52132772,"modified":"2026-01-21T00:19:33Z","type":"item","id":"Q469998","labels":{"en":{"language":"en","value":"A Hoare logic for linear systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6368383"}},"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":"Q469998$1AC18A29-D26F-4F94-A8D7-6A60D842CAD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d214b23aeffc3cadf8e880a38919aaceafd98f5b","datavalue":{"value":{"text":"A Hoare logic for linear systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q469998$16122705-1EA5-4BF8-A36D-D07BC6162A30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8f7e9263db8bd839e95f7d3a4575f867443de70","datavalue":{"value":"1298.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469998$ADCB47BC-49B3-4A53-955E-3F5A224FB9A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0326155ee2776709b948d74abcb135838e086e1","datavalue":{"value":{"entity-type":"item","numeric-id":287357,"id":"Q287357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$5004F3FC-3A39-478A-A0AD-E59F9D1362AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$7D3B0F87-2EC4-49B3-962C-A2FF1D51103F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b182cd4f9e9cb54195b7976a497640f4d81f2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1169557,"id":"Q1169557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$0642C23C-5894-4334-86E1-6E30A290B4A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$8171226C-4637-4ED8-A03B-6CDC9FA2DBCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a32b5676dba90d5d597031616e8aef006585815","datavalue":{"value":{"time":"+2014-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q469998$B10316EB-08C4-4453-AF62-41B6B9025B00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469998$ED4D152E-1BD4-4F2F-ACDC-2D416B3EE72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469998$6B8F2C82-7CE2-413D-85A6-468D9A3C97EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b361cc32d123419f52b1ec3699157dfbe035b06","datavalue":{"value":"6368383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469998$4FC3EF96-E512-40CA-B0C7-3CA7E4662901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q469998$BB946850-F0C7-4AA8-8B7B-04BDA99F6E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q469998$FDCFBAD2-9A26-4E66-AE25-916A755DB3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q469998$C710D5AB-1946-4EE9-B41E-8F1E2362EF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a873697bda241540e1019f29607482dad4f3a700","datavalue":{"value":"control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q469998$550A2A23-DFA4-4721-B814-CE3C4F6700B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d35d778fc1b80756177ab82e8bc9e25b1533e10b","datavalue":{"value":{"entity-type":"item","numeric-id":18468,"id":"Q18468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$624ACEDA-6330-4AD5-9252-D0396A86EB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$637F1055-DAD8-4584-8FAD-D55CF466488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$54ED320B-1FE1-4109-8EAE-A8E0B4369A1B","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":"Q469998$27DD48BE-774E-429C-B258-B07A677EF239","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22dc3eb7d5a6ed69ef1bbd1c263eeb465480c563","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0180-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q469998$9F60BA82-2F8A-45D7-B1CC-D14C5150EB7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"286b76ad58c267f523e5f351a31d3c82932a5239","datavalue":{"value":"W2084245236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469998$E09F8CAA-8C30-41F8-A66C-C893D209D3C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4e73e324ea72504b0558bbde5d1e593dd68a1197","datavalue":{"value":"Q55393264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469998$5EEC3C74-BA83-49E3-AFEC-1C84DF048364","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9193dbfc7bccf141a4aab951ab2becf3c421ce66","datavalue":{"value":{"entity-type":"item","numeric-id":1126522,"id":"Q1126522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$BFC92263-4066-4D4D-BF18-C396F3BAAAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$796DDF49-B265-4E94-9978-4B6CF3C13B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d00880e679cdceaab88a0b654cc507c415a26e","datavalue":{"value":{"entity-type":"item","numeric-id":2456559,"id":"Q2456559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$D0F16D25-AFE0-43AC-883C-96924D4ECADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea320a992264c718d9c887d03b88507d3e291f5","datavalue":{"value":{"entity-type":"item","numeric-id":2946594,"id":"Q2946594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$858C475F-F616-4A6F-8666-490C8D91D545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$800B5080-753F-4716-A33D-12EB89852F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fafac3bfa225fce4fe7a58a5010417033e7e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":4417982,"id":"Q4417982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$5D30B811-F5F8-4A3B-BE0A-C90C7552E77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afea125cc066f2c6ea296b8495ce1912d0031da","datavalue":{"value":{"entity-type":"item","numeric-id":5716880,"id":"Q5716880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$0CA2A146-3495-437C-B922-FC098A5FE424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$D6D1820A-2A8D-4270-939F-F28381733136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917f4f82293312e76890560dc0df3b9e4f8526ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394579,"id":"Q5394579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$5BE4EBD0-B5F5-43FA-9723-722594DD8E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3166adbcf351288c597748fde31768913b74c0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2571208,"id":"Q2571208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$60B8554C-3A55-467A-A478-778629A3F2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22dc01cbc5569e94d2e2f028e44f3a88b9fb11a6","datavalue":{"value":{"entity-type":"item","numeric-id":4093629,"id":"Q4093629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$35451638-EB47-4884-B979-334D05F0A2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106deb6aeb6cd6f238c87ee99fc1702adbc96bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3613360,"id":"Q3613360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$26DE459D-0DE8-475B-9352-F35591C708ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$1EF98503-E249-454F-9350-DB6D6B65037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55751d39474f8b9d5110f063d1a573ceab3ef960","datavalue":{"value":{"entity-type":"item","numeric-id":4400449,"id":"Q4400449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469998$28CC9027-3C92-4A82-8342-D7296D29DADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57f789016139b89eab23037e8613d0e22da66bfc","datavalue":{"value":"10.1007/S00165-011-0180-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469998$C1BE9A16-8512-4260-9667-C598D935DA37","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8620aeb99025e16d8e5fa91183022990fbd860fd","datavalue":{"value":"journals/fac/ArthanMO13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469998$624E944A-032E-49C2-BD59-1A688B6D4A26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f44ce4fe49b3af8a2e560e676663c4b27813029","datavalue":{"value":{"entity-type":"item","numeric-id":3613360,"id":"Q3613360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da1790ca26a354062b9810ce813c2242fe12d33","datavalue":{"value":{"amount":"+0.7308831810951233","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":"Q469998$10E3047F-9838-4EEB-BDA1-6D197ADF7445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f574c657ff784fd861f445f05b6ad0778f48d99","datavalue":{"value":{"entity-type":"item","numeric-id":1853604,"id":"Q1853604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f009d5da2e4099dda1d4926166b6def71563cb","datavalue":{"value":{"amount":"+0.7293642163276672","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":"Q469998$999179B6-5B64-4DA3-BB2F-8F59FD7B2485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bf7ec0f3a410a417075a3d76c794495c1ec5d3","datavalue":{"value":{"entity-type":"item","numeric-id":3613026,"id":"Q3613026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693948b111c51904396b075514d32fdfd002959f","datavalue":{"value":{"amount":"+0.7174966335296631","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":"Q469998$3FE2381F-358C-4C3F-844D-36587319C73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc80529a76301c3c3cc1df544dc265737d0cd7f","datavalue":{"value":{"entity-type":"item","numeric-id":729807,"id":"Q729807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae9a6e271bee24e8a1455e82b1034e918da21c6","datavalue":{"value":{"amount":"+0.7112430930137634","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":"Q469998$3FEE6DB5-584C-4629-8528-BD7FE833A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d8c6ae32f0ea162b879c0be3943a4a6576a7b3","datavalue":{"value":{"entity-type":"item","numeric-id":4417982,"id":"Q4417982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f1dd8c003a0afa75cea73b643fa3191ba6ebda","datavalue":{"value":{"amount":"+0.7065722942352295","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":"Q469998$690769C7-AA08-43CC-A9F4-A80614EE885F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:469998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:469998"}}}}}