{"entities":{"Q2324211":{"pageid":2334954,"ns":120,"title":"Item:Q2324211","lastrevid":71844477,"modified":"2026-04-14T00:55:04Z","type":"item","id":"Q2324211","labels":{"en":{"language":"en","value":"Hoare logics for time bounds. A study in meta theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105317"}},"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":"Q2324211$ACEC4393-E49F-4A80-977C-171E69E43C55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5996def20636b3951ad06984016f4e742062ed99","datavalue":{"value":{"text":"Hoare logics for time bounds. A study in meta theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324211$A9E5313E-962E-48C3-B82D-A9AEC8DE3B59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"288185c0cd47558ec37d4e02f535afc6a86e0a6a","datavalue":{"value":"1423.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$DA5FA73C-25CF-4741-8C0D-E7E113032F81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9323b26a708ecd03e0f138f6c1f6e3b0461b866","datavalue":{"value":"10.1007/978-3-319-89960-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$937DBF88-D552-42F3-B378-67334A91A4C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d33c2cb482f696fa81fcf6b993c9bc4e7576e8","datavalue":{"value":{"entity-type":"item","numeric-id":1799113,"id":"Q1799113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324211$BBA22E3A-B3EF-4457-8B4F-1E4E70A43961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324211$05375F1D-54E8-4881-BB82-4CE7EA508628","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324211$10E1987A-A23B-4762-BC91-18EAB901FE60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$2C3AE914-2746-4607-B825-DE74A5BE9652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$636073D5-54E4-4317-AF00-3D2A6C5E03E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$5EB046A1-8995-463E-B2BA-EECDE13171B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$8437FEF5-E8C2-4EA7-AC49-23DFA4DBA771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$66DC9BED-CA18-4177-91A0-6AB2B7C7F158","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a713c7c740fc4c00e38a8d4e312eaa84a7e45d8","datavalue":{"value":"7105317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$FEFAC264-E674-4D81-AD8B-4D99976D83B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324211$F85F13ED-6DCF-4390-B67F-8D42412B1746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c95d08c7a71975dab7e6d3c09c6fe9dee722caa","datavalue":{"value":"algorithm analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324211$60B0D4BD-7F57-4C4C-A229-C0273AAFE18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324211$DCC1836A-3C09-4238-B9E0-A9681F54BB60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324211$270352CB-92D0-405C-B52C-FAB1835A415A","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":"Q2324211$40EF261E-5975-4B5A-AA4F-AF52DB6F11F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31eb8218dd76ca4111bf25df2f4712fd261043fb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89960-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324211$FEB4F01F-8894-427F-801A-84B95BA0C273","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8de16435de12fc47247adad6c5b3ad6b6f9459a2","datavalue":{"value":"W2794603918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324211$F681AA05-C9EF-4444-BC2A-4A8417B0651C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657cd5c37ddc4925aa22258e79c3297e618c290f","datavalue":{"value":{"amount":"+0.8053234815597534","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":"Q2324211$2707BAFF-F711-496A-AAC6-21AB987C2195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d48c27ec0c5d7ddd25078a82ef9bfda9180ea8c","datavalue":{"value":{"entity-type":"item","numeric-id":1091122,"id":"Q1091122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2717a16c3bc3a142dc9f56825d5567bd275c8b","datavalue":{"value":{"amount":"+0.8033965229988098","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":"Q2324211$464B22D2-672F-4397-A1F6-817EF3E5F5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae2b40b4e83834fb2954c391dc76d22b4fcf205","datavalue":{"value":{"amount":"+0.7625842690467834","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":"Q2324211$0636E1FB-97AA-49A5-B306-7E807FE706D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8397883bfeb2eccf6f02b2b50f3b6e86f4045ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3178280,"id":"Q3178280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37942566128283dfa68c6037be842f2b180d9f6d","datavalue":{"value":{"amount":"+0.7580435276031494","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":"Q2324211$4B25E45C-DE1E-4D41-A34C-840759734B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0fb18a9de068fe4dd0ee3c1f302efc6b93f8ba","datavalue":{"value":{"amount":"+0.7459549903869629","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":"Q2324211$F7C71754-D871-4F90-9D7D-7FC522E12A66","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324211$B9F97536-A82D-4B53-AE7E-838A39A3D1F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hoare logics for time bounds. A study in meta theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hoare_logics_for_time_bounds._A_study_in_meta_theory"}}}}}