{"entities":{"Q896915":{"pageid":898763,"ns":120,"title":"Item:Q896915","lastrevid":65171610,"modified":"2026-04-12T00:47:29Z","type":"item","id":"Q896915","labels":{"en":{"language":"en","value":"Completeness of Hoare logic with inputs over the standard model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521250"}},"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":"Q896915$2150AD59-41E3-422B-89EC-C8C93599798F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34ccbfd28bb2d73d315891d485bb6f57285f33b4","datavalue":{"value":{"text":"Completeness of Hoare logic with inputs over the standard model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896915$9895985F-8481-45BB-A7B3-056531129EA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b7dfb931c330b6adbaf3fd43d3f6bf01e7ba630","datavalue":{"value":"1333.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896915$6704A752-7646-4D31-BF69-1787947C9509","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2eeb79e367cee99c5957fd91537ec95c42abec3","datavalue":{"value":{"entity-type":"item","numeric-id":896914,"id":"Q896914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$268BE118-2F93-4A24-91D7-A9B3E4FD99DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74246861243ea76a94191f99191ef611bacbf35f","datavalue":{"value":{"entity-type":"item","numeric-id":208306,"id":"Q208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$D3998B6D-9770-4F1B-963E-DBD769952A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$CFBAAB78-BE76-41C9-87E7-FB42154CBCEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$731022CE-FE3C-4A37-AA99-1AA18921E1EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb56a7ddf3ae6dd98b64268c91e50a5f39b77eda","datavalue":{"value":{"time":"+2015-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896915$4DF3325C-524E-4709-9870-3F649AED21DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896915$1B54238F-16E1-476A-9A3A-279150D5E3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896915$40737ABB-7AC8-457D-9FF1-A516AE728CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896915$EE68A417-B205-49B4-8772-FB2123A697C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff6da6b8c0887dbcfcd6ba2e8aa31c637d51f242","datavalue":{"value":"6521250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896915$BCBA25D3-9138-497A-B822-493D59D94533","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q896915$D2092D14-50D1-42D1-AABF-614D07C613D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q896915$3B1352DC-18F0-409B-849A-6690C4ACDD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec3064e1f5c4a76c7cd4c747e77c17fa60ecd84","datavalue":{"value":"standard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q896915$89C55C38-67BF-46D0-AB59-32AE281FDFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q896915$B40BEF49-45A8-4966-B843-7110428FD019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419ef25c0efa8413763a9f77b3af4f5d4083c705","datavalue":{"value":"arithmetical definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q896915$4D9A01D4-500F-4A4F-8A40-D498ACA50FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8d2ace629fcb251b7d3c1dc5e5f69af57a9f5b","datavalue":{"value":"logical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q896915$8D591CBD-8473-4C88-B27E-3AC16E75A322","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":"Q896915$92D7FE59-A447-47E9-9086-FE4EE89D7E5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87cef263cd8067b15d819874ad09bc81e4d1958f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q896915$B3095BF9-BB7C-4538-8AFE-664C6E0C43DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38fcab3077a54ad2ed0057107f3f6a2c5a03116c","datavalue":{"value":"W2187700024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896915$5CDDCC64-E0C1-4E4E-8AF3-8FFB3DEA8239","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$CFC559A6-4B7D-4AC9-B93F-3E6B27A920F9","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":"Q896915$9A6FD48E-F6AB-4885-A79B-4F7559E14359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$7F21C8AD-7BAB-4279-B19A-06E5207FEB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e57c1ff39f8d8b1f50daf676885aeffc53a7754","datavalue":{"value":{"entity-type":"item","numeric-id":1170877,"id":"Q1170877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$522831D7-5A42-4C80-8587-C8EA561ABA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$39BCCB67-9FFE-438D-9F37-1FC0D42F480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23a54cf5c2c32f027cfca2700657a849c9c7aec","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$BF8A517C-0611-4441-88E2-7D733261021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$B112215A-7670-4E81-A955-3C600883910F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54c675b5f321bb111756a7e5b1af4bf61c7ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$9B3DECE9-1C40-46CE-A2F0-B18080537B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$2DC77251-61F9-495B-BD56-C8AD4D929636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c40bf792f48dba5fa959568e11244e0afca811d","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896915$39464023-A3E5-4B9E-8BEC-81F9DCB83BED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dec24f5447f89bb972901d87cf740527279c933","datavalue":{"value":"10.1016/J.TCS.2015.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896915$3E6A85B3-21E8-43BC-9050-27CEA5D676A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421bd76aa5975c497e9bc0b3b687585bd7f66745","datavalue":{"value":{"entity-type":"item","numeric-id":2971129,"id":"Q2971129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008465dc5b91d83748f3dcbb8fbfe472bf053029","datavalue":{"value":{"amount":"+0.8442960977554321","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":"Q896915$45BE90F7-053A-47F3-8770-886CA0B5252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6be2716a73939a8ef5f5bd209f6b1fa11bcbaa2","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6027baaf8984a55e1f44d474a92951707c4108cf","datavalue":{"value":{"amount":"+0.8416962027549744","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":"Q896915$A76DA1EE-3A96-4AC9-B68B-9E8E63BE954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c970fecd1a6b8794db83196dffa2c41f296ed6","datavalue":{"value":{"amount":"+0.8307878375053406","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":"Q896915$9103D4A3-48CD-4BCB-8C81-F81EAA8F22F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033de07e3d56708ecacab644c5d61e90a196357","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180eb261a1b7293f8414da95442f24b6516230c3","datavalue":{"value":{"amount":"+0.8060534000396729","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":"Q896915$C5C6C783-FE89-4BA0-93A3-BCDCE8379E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a02dd3cc93ca3c9a0e16106fae253dc2e0af80","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8350176c15246c682e2e62a96d4b37ff533e8a96","datavalue":{"value":{"amount":"+0.7924954295158386","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":"Q896915$12A5058F-5229-4A05-9D81-45740CF9A7B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of Hoare logic with inputs over the standard model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_Hoare_logic_with_inputs_over_the_standard_model"}}}}}