{"entities":{"Q551223":{"pageid":552990,"ns":120,"title":"Item:Q551223","lastrevid":62690298,"modified":"2026-04-11T07:47:51Z","type":"item","id":"Q551223","labels":{"en":{"language":"en","value":"Consistency, models, and soundness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5923987"}},"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":"Q551223$5C10D054-D1DF-4A73-B280-105FFFF0B326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"121ac0187edd911b3d9cee0df601c9a55b2dc51e","datavalue":{"value":{"text":"Consistency, models, and soundness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q551223$28F3AE51-365D-46A6-AD74-7A9F9CD05E4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f53d7117ea2e20a0d1e93b13f72bdb55061aa1a","datavalue":{"value":"1230.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551223$F4097052-A5BF-4BD9-AEE7-5880F46FBC83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a52ea1fb252bf36e15dc5cb6e573e2b334202e9e","datavalue":{"value":{"entity-type":"item","numeric-id":551222,"id":"Q551222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$1D2BFFA7-E69E-40D9-B8EA-1E8849F7CC35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c0ef791f970091a4c67284960cd8c6a57c7ef3f","datavalue":{"value":{"entity-type":"item","numeric-id":482314,"id":"Q482314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$C8941EDD-84C2-4CA6-A36B-BD4F54704BB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cb91b61275a9337dc0b3da1b4e47e94aca6afd0","datavalue":{"value":{"time":"+2011-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q551223$566435D4-5130-470D-8FD4-6B235C51F8BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551223$810BE63E-FF71-4433-A631-5FBBB3E1D4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551223$7B248805-7933-4D02-9FAC-6E42D6B8AA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551223$79A74174-764C-46E5-9887-45CEB910E7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551223$CC72132B-D3FB-4F85-B978-D2CDA89942A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c98e462914d4090007745bb18dfa642aebe3dcb","datavalue":{"value":"5923987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551223$56387699-2310-4133-87D4-9E43720A94CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$D108B1C1-9F4B-465F-A21C-9DE495209379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$43AE3253-EE55-4AED-8F1A-AD3FE3B18292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b1f5ae4cc25c614ac3d38bbbebcc0581f434a","datavalue":{"value":"relative/direct/approximative consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$DD23BE99-3B71-48C7-B5CC-94BE5B3B3C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c42702b906fb03fd614fb32726cacfb932ad8fba","datavalue":{"value":"consistency statement","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$E78BA03E-F492-4A08-AE7F-B59474D07E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e471463973a7d490210942181002a25c745e55c6","datavalue":{"value":"creation by definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$1705F007-1487-414D-91C4-82E462BB2238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90832388cb035c6d95e3bc05bd4a9fd27ea8536f","datavalue":{"value":"finitist point of view","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$19A71D7E-3938-45A2-8695-E4C28908A487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3f3c6ca943455fc27988d56d766cfafe1adc05","datavalue":{"value":"game formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$3005F6CC-B168-421A-BF0F-4D4E841F4A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$B4173432-CECD-4F6C-9388-24736A9BD034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4f7ed9b21dfa2d1790255ae6636c4167190726","datavalue":{"value":"\\(\\Pi^0_1\\)-sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$5FAEBBD4-3221-40FC-8A33-A190605E4A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$9EA8D7A2-92B4-44E7-8201-0734EBB03675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q551223$5B3B5C81-6004-4309-9A4D-08F25026D1AB","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":"Q551223$C52B1DC1-7424-4285-97A0-3BBB366EF8EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d150ab366a9e28a49df113862c51151ff7f57fa4","datavalue":{"value":"https://doi.org/10.1007/s10516-010-9110-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q551223$9FC747F7-7578-48BC-8F9C-ED7920F75E9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f33ea518d7a097630c37591931f91bbd62b1dd09","datavalue":{"value":"W2100983392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551223$434E7FAE-C5BC-48C8-9913-F72418ECDEDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f29ece6e242541d22ca6bba64181e0bc0aa69b8","datavalue":{"value":{"entity-type":"item","numeric-id":1860968,"id":"Q1860968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$A3912E28-5622-4D74-95A1-242C1CB74C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30bb3e9e0e0247dae866feba0dc40eec2353a2a","datavalue":{"value":{"entity-type":"item","numeric-id":5826911,"id":"Q5826911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$8C4DB2C5-4DA2-489E-B9A3-0FA019FA3D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03657ccfdfed64d5943e5ce6a9c40fcdf92bf49b","datavalue":{"value":{"entity-type":"item","numeric-id":5426522,"id":"Q5426522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$B16CE807-8612-4BEF-A707-0E77E7DAC3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d0fb9d245d28b82cf3dd31445b97c215e6a51f","datavalue":{"value":{"entity-type":"item","numeric-id":4523470,"id":"Q4523470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$A4040025-FE88-4B9A-9969-67B1A1ABD759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9993da3ca6af6a79d804fb2ecec681a6bde6a14","datavalue":{"value":{"entity-type":"item","numeric-id":4266051,"id":"Q4266051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$98160114-2DFF-4157-9A8A-0EF64FE8A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45015aab0da021e26da7330796315d4a23fd6c33","datavalue":{"value":{"entity-type":"item","numeric-id":5937820,"id":"Q5937820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$F63D1D91-2536-48AE-867C-ADF77C42CEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e7e6d18f997984f5f5b65812a00928e8463f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5822065,"id":"Q5822065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$17AF921C-DDA8-418F-AED7-CE6D4F601C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c69e43c215d8b8158ddfeb8b8afba00eac2f89e","datavalue":{"value":{"entity-type":"item","numeric-id":4258431,"id":"Q4258431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$62CA72A6-AA3E-49C0-A35D-4DB0A3B94087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2e86a75086f5316a83fce4ab2f9f86a564cad3","datavalue":{"value":{"entity-type":"item","numeric-id":4893763,"id":"Q4893763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$F781246D-265E-4D49-ACBA-511AE4D889A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1a5bd74e12ced16311e1fb69b12279647e59b5","datavalue":{"value":{"entity-type":"item","numeric-id":4040321,"id":"Q4040321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$39B65478-AE47-48C3-8218-803CD487A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e142f7b0c8598e7bd98d56581ed5f82f54daa4","datavalue":{"value":{"entity-type":"item","numeric-id":5577035,"id":"Q5577035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$A5BCD8AB-6B40-4935-A6D6-8C382DEED63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f340ef84769b5326f72ef8d02362fdfb19d196a","datavalue":{"value":{"entity-type":"item","numeric-id":4108283,"id":"Q4108283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$15C648AC-3F22-4D65-8BBA-832C366AA2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$052846F7-C817-438B-BCD0-87BE13DF2425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$26894F75-C899-4886-B386-6BDD23A3786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$1A745441-AB4C-4CCA-9E0E-FCEDFDEED8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a098b5df3d25fa1dd4d8386c33ba1571601a0a51","datavalue":{"value":{"entity-type":"item","numeric-id":4344728,"id":"Q4344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$B61C2F9C-E39C-44BC-93C4-81EAEE3105C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0122af44a7b8fd95dec712ea75abdd17297c0eed","datavalue":{"value":{"entity-type":"item","numeric-id":4249001,"id":"Q4249001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$F24344E6-9B65-4F78-82DC-3883BB148680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ade369f0218fb72f88f8ae7832547dcd4248eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5762262,"id":"Q5762262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$DDEA9E50-1D26-4991-A250-64779B6E13EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5a50c2b9783bee7e01f2b671c5aa562ef2e806","datavalue":{"value":{"entity-type":"item","numeric-id":5536199,"id":"Q5536199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$4FC753B7-664A-4001-BAD3-71EFDD84DF85","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":"Q551223$40551829-B0B9-49B2-8DE1-63D33AB2CEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52dc5fdfa0359123382c77e68dad83a5cb805e4","datavalue":{"value":{"entity-type":"item","numeric-id":4388951,"id":"Q4388951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$E6BA2024-0E4E-4529-8D1D-ABA4A58F1DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8415cf1a7f503a56ed25d805fdf2c811733c9b8d","datavalue":{"value":{"entity-type":"item","numeric-id":4227556,"id":"Q4227556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$154B3B41-28C2-449F-B46A-E4A6F1EE4F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c2f90bc54fa6c834e607c27a16028ac48185b9","datavalue":{"value":{"entity-type":"item","numeric-id":1098830,"id":"Q1098830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$55333732-98B9-4719-993E-D3F74B6E7B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3d6ccfbb9780936ba1af293be824d9ea219a59","datavalue":{"value":{"entity-type":"item","numeric-id":4227555,"id":"Q4227555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$D43AFAAA-1941-4295-92EF-0A28AD576CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f5e46652094007efa99d72dc0892eacb09b8e7","datavalue":{"value":{"entity-type":"item","numeric-id":1394332,"id":"Q1394332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$3C9F4F12-8285-4641-B848-00F381A054DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0246cd7d2e6feeca07711d7503cbef23da1fb61","datavalue":{"value":{"entity-type":"item","numeric-id":3966102,"id":"Q3966102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$1B9BF1F1-D91B-4114-B246-83237F2208D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f8725c2ed85955f9414893475c87b1c18b5d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4388798,"id":"Q4388798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$0C67E974-C2DC-4CED-971E-D3DED92AA40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf832598a4a9de6f0bb19429452ddcaa2bb40210","datavalue":{"value":{"entity-type":"item","numeric-id":2500801,"id":"Q2500801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$EBB5010F-C8B5-40C2-9B02-8C0CE57463E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cfa704ecbef28303e4842e0d0f6fce158ff71b","datavalue":{"value":{"entity-type":"item","numeric-id":4706119,"id":"Q4706119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$32A890C2-48A3-43D4-A529-5AD5E152FDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d16b79e78f7c125981f93d04400e36cfbceaef","datavalue":{"value":{"entity-type":"item","numeric-id":5488257,"id":"Q5488257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$F3E07A49-DA0B-416B-B47B-5B4C975D4CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134f2ad3455f970d41791f7dee3c85343a081049","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$C022890F-EE91-4F05-850A-ED3B449AEE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc398f4c49f90ce51225f7c1b2fc3faa57a97f9","datavalue":{"value":{"entity-type":"item","numeric-id":3949029,"id":"Q3949029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$DB7EDE97-3CB9-4F4C-A12F-786D63003402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fba1797993678b2bd81fab8f2e31e8575d37b7","datavalue":{"value":{"entity-type":"item","numeric-id":4143285,"id":"Q4143285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$9BB46E0E-90FA-47F8-A776-92F89CB1B32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc197bb042bb8c9a2d476cac224ead5c63da1327","datavalue":{"value":{"entity-type":"item","numeric-id":1860969,"id":"Q1860969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$3F417EA3-4DD5-40CF-A1EC-123CBB1D9863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e920c87e5777f7409e12a1002a2f15651ce33a","datavalue":{"value":{"entity-type":"item","numeric-id":4367943,"id":"Q4367943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$2F8EC2D3-159B-4796-BBE3-CEAC4AB37378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$A2FD7EE5-C91B-496E-9227-E431CF1DA55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c445d5d8322dfc1b6f85988faac4194fa48e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1568382,"id":"Q1568382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$F9CA7B22-5798-48E0-A621-35CF18A6E8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f507c34d39fdedbf35f169223130d52853c0fa","datavalue":{"value":{"entity-type":"item","numeric-id":4023218,"id":"Q4023218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$BA13AF20-F6A7-476E-B5BF-8F860A08CC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fa666a8ebaabc03dd01b733c0c5f39197434db","datavalue":{"value":{"entity-type":"item","numeric-id":1578777,"id":"Q1578777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551223$98B60689-2B7C-4D37-AC97-3595967882A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcf39effbebeb50a4968c4ae57173f2592629229","datavalue":{"value":"10.1007/S10516-010-9110-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551223$4AC59EC3-F04D-462B-B8CD-92B8401EDD37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f4a7580f6a5f70c04e7d1930f5d1e7c2f74efd","datavalue":{"value":{"entity-type":"item","numeric-id":5926253,"id":"Q5926253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d35660e5be8e85a3211d8b72a1416e1e84d3b7","datavalue":{"value":{"amount":"+0.8828328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q551223$D50CF744-263C-49EC-A5DF-13A12C8A9D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dd9232e7d7174a2809ccb67e6fefa0ff46e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4035224,"id":"Q4035224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb4892fe984c53a7372f4ac0de8f8e416365096","datavalue":{"value":{"amount":"+0.8623835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q551223$3509D69A-D6E7-43F2-B6B1-7E768DF77AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612f4ffbe7839775ba883e7ed4119606d9f4a132","datavalue":{"value":{"entity-type":"item","numeric-id":5715822,"id":"Q5715822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e0b87f0fd8cf8206de683fb42c40961c2ea086","datavalue":{"value":{"amount":"+0.85238725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q551223$5F78389D-C43F-4B94-86AF-B803596187FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790e1eb2c8b946066e8fcc362b78011d277d945f","datavalue":{"value":{"entity-type":"item","numeric-id":3798633,"id":"Q3798633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263babc76626ce6825ddd8d8f32a26b4a190be22","datavalue":{"value":{"amount":"+0.8466357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q551223$E24F271E-8CE8-48FD-855C-3EBF888F1096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01efd2c6e2cc8d68b07b959d10df7789f7d0e49d","datavalue":{"value":{"entity-type":"item","numeric-id":5929103,"id":"Q5929103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841579ad38ab0bd630690902e4b2d7b4cf3d07ef","datavalue":{"value":{"amount":"+0.8461396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q551223$E29BC103-E869-4EEA-B4CA-AE22920603F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency, models, and soundness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency,_models,_and_soundness"}}}}}