{"entities":{"Q3003486":{"pageid":3014210,"ns":120,"title":"Item:Q3003486","lastrevid":85372376,"modified":"2026-06-03T07:26:35Z","type":"item","id":"Q3003486","labels":{"en":{"language":"en","value":"Verification of the Schorr-Waite algorithm -- from trees to graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900386"}},"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":"Q3003486$9848E3E8-AE9C-4F13-ACDA-551554814CAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c32fe62ddba55d37fe3bd90cae496d7276daadd8","datavalue":{"value":{"text":"Verification of the Schorr-Waite Algorithm \u2013 From Trees to Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003486$1F11E1FF-64C3-443F-93B7-99C3CCDBE69B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68daab6e75fcd9fbefc3a072757a634e29b8914","datavalue":{"value":"1326.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003486$438DA4AA-1445-4297-BE8A-ABB685369406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d622aac8c0ae062b88801596200d92fed9a2def","datavalue":{"value":"10.1007/978-3-642-20551-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003486$5FABA0C0-1E3B-4CDB-B68A-3F7DFC68616B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9322632ac971658d0e8ab3620673e04d732917b","datavalue":{"value":{"entity-type":"item","numeric-id":3003485,"id":"Q3003485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$4FBAD829-0876-4464-870B-52BE165A8EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0ebd351a4767d5682cec3f61fe0fde33df9f48","datavalue":{"value":{"entity-type":"item","numeric-id":1663989,"id":"Q1663989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$C573B951-E604-4025-AFB4-55E14699F891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$05690F67-F972-4D40-81A2-C12EEF82FD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947999c367037277243554e8f44908cab3697255","datavalue":{"value":{"entity-type":"item","numeric-id":2147211,"id":"Q2147211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$7820C36B-CF2F-4276-B713-91F01622BBBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$5F9435C0-E407-49FD-A2D7-58DC0B4568A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003486$162E9D5D-E5AE-4E75-A0AF-0CB82201B508","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003486$C16B5810-EECF-48A1-A3A8-D1672DF4CB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003486$CD015CC9-600E-43E9-848C-8CBD337759F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003486$7D53A84F-23AE-4064-AD65-1F5AF5B48977","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0032e46b1490dfa0fef28c28ef2cc6b82c2cba87","datavalue":{"value":"5900386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003486$49A07B5D-015D-4CBD-B611-BC8D3DB4027F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3856f823f5aae84a929460b890b2243431a6c1","datavalue":{"value":"verification of imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003486$8718195A-01C2-4793-BF60-20026C1A93FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f512efd3689013140e4882d9f37791873e782f","datavalue":{"value":"pointer algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003486$C015FB8B-F1AD-4817-821B-85AE7047D7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e04a9b6f29796c4d02ff2b937276cb784681560","datavalue":{"value":"program refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003486$854FF436-4AD2-44F9-B18F-649A12AD6D16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$CEEED2F2-65D0-4161-9B04-B017FDF2F5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$48F68A02-5FC2-4165-B02D-E0BED8A16894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$E6687D35-06B2-4A2C-B192-F9329A870C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5ad7ef6be57102cb42b3dfd95d87ce9eb7a2f55","datavalue":{"value":{"entity-type":"item","numeric-id":28900,"id":"Q28900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$CAA29086-AD65-467C-A26F-0F3BB33153FB","rank":"normal"},{"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":"Q3003486$D79AC43A-074A-498F-80BC-162613C52E58","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":"Q3003486$7D6A5EBF-5BE7-4E3F-894C-9E47463ABF40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b406825aafb37642240b2f0a7d113900538ec7e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20551-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003486$28178B9B-6101-452B-A5BC-3774CF654157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c13e783c00908bf3d3121e875ddbedd3afa8224f","datavalue":{"value":"W1546264185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003486$EAC23D79-EAE8-4918-81B3-E009742FC1E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$5D8B6B25-E63A-4875-A3D2-A69F42D79381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$36BAE84A-A3B4-46B4-8A62-947F924BFAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e960d98de80954b9ec32fb5001729a0d785cd21e","datavalue":{"value":{"entity-type":"item","numeric-id":4647844,"id":"Q4647844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$3CCB2B16-B4E5-4F1B-BEDC-C40867558C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbb51ae8cf53c07603193ce3fb4f55694168013","datavalue":{"value":{"entity-type":"item","numeric-id":3003486,"id":"Q3003486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$7AFA8D19-18F2-45B4-99A8-0168FB6CB576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$80DD4DFD-4021-40C5-A155-F24C25E4E11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4359e2db52bf4c7eb3e0e5946935a163cf4ce19e","datavalue":{"value":{"entity-type":"item","numeric-id":2936807,"id":"Q2936807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$C75BA83F-C482-4B52-8967-97C76829C72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$C98973A8-E6A4-4E1C-9042-B605FC8DBC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$FF69D9B9-1462-450E-9F59-BE71D1B29772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$5E702048-BB6D-4BE5-8455-89078F7F202C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003486$796F7A95-4BFD-46CE-85FC-69549747FED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4758c6efee712940128254e18a94a011f1781064","datavalue":{"value":{"entity-type":"item","numeric-id":3613390,"id":"Q3613390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4c8acd51bd553ed0b2dbef7849c877b8763600","datavalue":{"value":{"amount":"+0.7711399793624878","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":"Q3003486$2ADBA558-C941-4E74-8AC1-86E256420763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588da813dc0f163403e68cc2c286c221f208f3fb","datavalue":{"value":{"entity-type":"item","numeric-id":4647844,"id":"Q4647844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29eaf0fd51210096a4949332e4389424154bd890","datavalue":{"value":{"amount":"+0.7463791370391846","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":"Q3003486$B754A29E-25D9-4FF1-B467-CAEF5A34E650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b75373f9f0445c42710ea3d755e0ae2535555e","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a582cbe16955a3899ba3cd83c85e8b17cc80051e","datavalue":{"value":{"amount":"+0.7329631447792053","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":"Q3003486$6CBBD5EF-6734-4465-A232-30435FFB18BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4f7550369b8e1b947e819d750997574708bd86","datavalue":{"value":{"entity-type":"item","numeric-id":5900714,"id":"Q5900714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4d869403789d53dd334d23669ecbab7888a013","datavalue":{"value":{"amount":"+0.7295638918876648","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":"Q3003486$A3FA38C6-314A-4CE9-B363-F3570920EADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50a9feaccf5008d5fb84390fa906679890a31e1","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a4b4fbe00e31c7b4b91721abdaf3113c9aa918","datavalue":{"value":{"amount":"+0.7294231653213501","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":"Q3003486$5A05E965-A5DC-4173-A01C-F0FFE7E3B700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of the Schorr-Waite algorithm -- from trees to graphs","badges":[]}}}}}