{"entities":{"Q2971129":{"pageid":2981854,"ns":120,"title":"Item:Q2971129","lastrevid":58069983,"modified":"2026-04-03T16:43:13Z","type":"item","id":"Q2971129","labels":{"en":{"language":"en","value":"Completeness of Hoare logic relative to the standard model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6700300"}},"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":"Q2971129$C0BBE003-A9A0-470C-8F0C-5804240FD02B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec10e3da587c200721b8214fa5bcf87acb049dc8","datavalue":{"value":{"text":"Completeness of Hoare Logic Relative to the Standard Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2971129$85F575B7-08E8-4413-A29E-AEB7D898823E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d454ea1ec5c128684a9597a03d072de1d2e63f1","datavalue":{"value":"1444.03122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971129$4F7B5E56-2FDD-4A20-B4B3-49A2ACF76E48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9af19e9770d8aa387c4c47bec6e81ab07ca25be9","datavalue":{"value":"10.1007/978-3-319-51963-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971129$4D616CB2-B168-4F40-A9B7-1A829051ACBF","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":"Q2971129$501CCB23-7E6A-4736-9485-0F923A0810F0","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":"Q2971129$3E94972B-545B-4CD7-B8E4-43B7132E21CE","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":"Q2971129$CF43C520-F302-4B6C-93B7-1D0402E80C4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e783c5d172b895bc44a18793e3a8ba0dc037f0","datavalue":{"value":{"entity-type":"item","numeric-id":2971121,"id":"Q2971121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$B08C2A1B-F8E9-4FE9-BC10-1ADC22C7FCA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c8949104cb3355067f12c7ef2dbd734933f3b0","datavalue":{"value":{"time":"+2017-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2971129$DFCFAC88-3E11-4889-940D-3E8FC3F568B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"276691dc0fb8146975525bc68acd05c18bff8657","datavalue":{"value":"https://arxiv.org/abs/1703.00237","type":"string"},"datatype":"url"},"type":"statement","id":"Q2971129$80FCCAE5-890B-4AB1-B1D8-59D65CE4B3D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971129$FF4B7EF1-1B76-48F1-8A6B-24163A70FB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971129$236C7C33-5CCB-4C31-B421-346D1BF32EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971129$A1B3311B-4A8D-4551-B9CD-56D0ABAD599C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9da9f1ac590256794ecee086f339245d66aa9b81","datavalue":{"value":"6700300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971129$AA623F33-AF58-4F2D-A813-1AFCD540A047","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971129$5179427C-BBFF-4AD6-92F8-279DE8E9ECB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971129$B23B21A8-72A3-413A-AB82-AF20CE05E887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3317fee091a183b95c82d29dc1e995b7455f26","datavalue":{"value":"arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971129$9D38600F-8C30-4CF7-9D96-2EFC565CB024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec3064e1f5c4a76c7cd4c747e77c17fa60ecd84","datavalue":{"value":"standard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971129$1640647A-7AAC-454A-BDBB-EEC6841970AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971129$14364881-1989-494C-A03C-A6CF54EFC434","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":"Q2971129$8FC2B280-FA5E-4485-9FFC-62235010C71C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34dfabadee58355f9e57ba6ca16928522bfc6420","datavalue":{"value":"W2571534558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971129$92743B06-1F46-44D7-8C86-3393C67967C3","rank":"normal"}],"P223":[{"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":"Q2971129$06571DB3-92F1-44EC-A8C4-F8AC90D21838","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":"Q2971129$1F4EBF7A-C722-4777-86B0-26F37C6A57E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4655612b304d9bd7e703b05e0795028a785b49","datavalue":{"value":{"entity-type":"item","numeric-id":3792662,"id":"Q3792662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$393FAD10-A36E-4BE5-8393-0FE022E91E92","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":"Q2971129$6BAFD316-D1C0-44D2-B8AA-E01B4996895F","rank":"normal"},{"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":"Q2971129$8D410263-F374-4903-BF9D-C49D6E5E7A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$23E060CE-A5A1-433A-8638-EB11C4F8F639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$F30463B6-35C4-4321-93C8-6DA73B71AFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$999960FB-4628-43A2-9DE9-CFE7AA628053","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":"Q2971129$18DC1933-0F88-4243-AA1C-758281856D3A","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":"Q2971129$92C67518-A406-4DEF-963A-8E396B68389B","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":"Q2971129$01441BB8-1858-4A7E-8A26-0D704CB587F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$EAF2BFF7-2CD3-46F5-B225-3F052BB1C839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4865afb21c33e3673f55a527f52adb166c48c4","datavalue":{"value":{"entity-type":"item","numeric-id":1252031,"id":"Q1252031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$6A3C58AF-4FA6-41B7-AC21-2453BF7C93DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$FD436A0C-2FD0-4B50-9030-8C028D844754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896a4e1608ded66dec0047e42ace35f2bb27df8d","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$B2078037-84D0-4655-9B21-C707CBFE4DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e9de10892cbf49d39c44126c1348d5c54ef8f8","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$77AFA675-2425-4258-BD4F-32213BE06DD3","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":"Q2971129$1E19FFFB-3238-429A-B34C-D09FA345C95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1791b251100148310e06222593bae3932d0d682","datavalue":{"value":{"entity-type":"item","numeric-id":896915,"id":"Q896915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971129$E9D2074A-AC83-4992-9C47-356458C216B6","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":"Q2971129$94A90D6B-DB17-4CC9-8C5D-1BF74792FF8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc4027996ff35b334ca14e10250202b44b865b6","datavalue":{"value":{"entity-type":"item","numeric-id":896915,"id":"Q896915"},"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":"Q2971129$9684AC00-4E92-4928-BA5C-665ECDDAFF7C","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":"475a49aafca9c8d9c5768ef78f2aa1c55ceab3da","datavalue":{"value":{"amount":"+0.8369007110595703","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":"Q2971129$D3A0596F-A367-45F1-8613-2FDAF6146258","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":"596e3611cb4ef5b191c9e0fd806db8d193f29d9f","datavalue":{"value":{"amount":"+0.8325368762016296","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":"Q2971129$A4E8240D-C41B-48FF-A014-1B084B7B6E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ae49cf223900108061449596843f5e829fbcd7","datavalue":{"value":{"entity-type":"item","numeric-id":3327706,"id":"Q3327706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be22d342b9d9856414e5acc1e304194556e8088","datavalue":{"value":{"amount":"+0.8284353613853455","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":"Q2971129$7B074A52-762F-45AA-BEFB-27EC29D86B9E","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":"0fa0c95f2a2f029ecc4336f61d5b053a9492a13b","datavalue":{"value":{"amount":"+0.8171992897987366","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":"Q2971129$B405AD87-58BB-491D-83E8-C6248178C478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2971129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2971129"}}}}}