{"entities":{"Q4630244":{"pageid":6659826,"ns":120,"title":"Item:Q4630244","lastrevid":53402078,"modified":"2026-01-24T21:52:19Z","type":"item","id":"Q4630244","labels":{"en":{"language":"en","value":"Program result checking: a new approach to making programs more reliable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045098"}},"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":"Q4630244$BE388DA3-ECD4-4429-9535-CC15A1113410","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70a87ff2c83933bf6cba84875da07f01d7168681","datavalue":{"value":{"text":"Program result checking: A new approach to making programs more reliable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630244$DC3DD37E-CB4E-4F0A-BB06-246FA55A331C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c51225b18973790c283a80457644883d095e43d6","datavalue":{"value":"1418.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$2739BDA5-9B44-485A-A4CC-BA0ECD2D21DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24027a289957536fe888ef38d00381c00b9a6052","datavalue":{"value":"10.1007/3-540-56939-1_57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$FDEA3D08-2259-456B-A57A-68539A9BC480","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$CC420050-4359-4775-919E-C5635A31E33B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630244$5F650B8B-386F-47B2-A811-2FCF5EBB6A95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$D339CD0F-0DC7-40FE-A95C-C09749AFB860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$F4389BE2-86B2-4A95-981B-26EA5D0D2078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$67CE9B58-5212-4F43-A7E8-1213443900AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$DEE963AA-651C-4A41-AFE9-B5346731CE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$14E267E8-660A-4A09-95EB-C4074EB0CBE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adf08649c52e6bd3b8d28a52f35d711dda177448","datavalue":{"value":"7045098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$D8D5D665-1182-4300-9B21-11FC64245F6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"579172068de96f7207eab70f6ed34d3150cd4308","datavalue":{"value":"Hamilton cycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630244$696F4986-8812-4FDB-834D-927117042CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"472c9e6da2f0bdc764970641e94f847bf08463f0","datavalue":{"value":"software fault","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630244$0F104F25-B740-41E4-8762-54FBC86E6F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf16bbd4a05fdbd1b003839acc80b324384294c1","datavalue":{"value":"graph isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630244$ABD39AD2-19B4-4353-A7E6-5DA0ABD4610A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71b0fd9ded21190d6a828cc2fff4bf80dc80df6","datavalue":{"value":"interactive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630244$1AF40566-9B10-4D9C-B584-1536A8CB28B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d37e8f1f29ba6bda6998ac7e0c294c299f64271","datavalue":{"value":"minimum spanning tree problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630244$3B3C3472-3042-4A29-A1E8-363617E40A05","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":"Q4630244$00AC62D6-67F7-4EC9-AAEA-C43A10A5F048","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61d79521dcf0372c37836d8fe50e7c2a1b310f93","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_57","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630244$54F59C57-257E-4A69-B026-1538A8BC7B55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3cd2bee264643d952c306d29266b47874a09b32","datavalue":{"value":"W1484639018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630244$2AFE22D5-23A6-432D-AD4C-E667282D545E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c2949e0d8c8c9b439d6f0348f847eaaa96bca0","datavalue":{"value":{"entity-type":"item","numeric-id":5248550,"id":"Q5248550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$15511B66-990E-4F4E-A343-CF0B566759E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283889632469a8b44c68f14e5e6d3203e108bb68","datavalue":{"value":{"entity-type":"item","numeric-id":3127648,"id":"Q3127648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$FB25B9CF-DA5D-4527-83FC-879178C7E031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c36aeadcd6c00a43e7c10ff17ccee1d6c442d2","datavalue":{"value":{"entity-type":"item","numeric-id":4369864,"id":"Q4369864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$0922CA7D-D6A8-453E-92B6-C5779B48363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe1e75da4f5efac441681b84aa3dfaeb3de0620","datavalue":{"value":{"entity-type":"item","numeric-id":3359734,"id":"Q3359734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$BC96B192-4C0E-4B54-B782-3590E53C48BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5321cf483aab0fa6bee08b9510a1c268bf22de20","datavalue":{"value":{"entity-type":"item","numeric-id":685724,"id":"Q685724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$E4B9923A-8857-4D5D-90F9-A94F413E2CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6609aec37d3d301d34b253dc3f2a45a96b88e1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1317490,"id":"Q1317490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$9073F4E1-FE11-4E4F-BFEC-EF0845E103A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8389caeb34b0e559b5261bd1f58cff3c654728","datavalue":{"value":{"entity-type":"item","numeric-id":4036561,"id":"Q4036561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$2CDDFDF9-B1D4-4DC4-95A5-4B31489F6E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df464dac149d729f68e1f2fcc9775218a4374fc","datavalue":{"value":{"entity-type":"item","numeric-id":3210157,"id":"Q3210157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$B875ECF0-E1A5-47F2-94A5-EFAC7CAC13F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a47f2216a67b7fc91dcb7e1334acc33c17a459","datavalue":{"value":{"entity-type":"item","numeric-id":4038781,"id":"Q4038781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$03E2E0EF-7BD5-4D1D-B8DB-DE9FB84F4838","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78f88676cda884e928275ea96ed51b8eba83b4d5","datavalue":{"value":{"entity-type":"item","numeric-id":6481013,"id":"Q6481013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630244$BE3976CA-8E67-4462-9DFE-FF43019AA192","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f16eea90e865fda6c3e442b0bf795177c4e870","datavalue":{"value":{"entity-type":"item","numeric-id":3558330,"id":"Q3558330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d6bcbedcaf26cc30467e0bb4fbcc7a62793bdd","datavalue":{"value":{"amount":"+0.7081394195556641","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":"Q4630244$D83A5DC0-5600-487A-8FBE-6F27E3AE2C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da961021e47af7ab534ac9970550e8d9619c41f5","datavalue":{"value":{"entity-type":"item","numeric-id":4369864,"id":"Q4369864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3b82832d8a7934b0082deca8d4cec148977775","datavalue":{"value":{"amount":"+0.6985906958580017","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":"Q4630244$5C880370-9CF0-4C85-9B9C-DF345682E692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021d19a1bd4d71e233196f9112016a11dec0f86b","datavalue":{"value":{"entity-type":"item","numeric-id":2756738,"id":"Q2756738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3b82832d8a7934b0082deca8d4cec148977775","datavalue":{"value":{"amount":"+0.6985906958580017","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":"Q4630244$A3D457BC-447D-4B45-AAF2-918930F59C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf8ab86bdcc14941d203a39051cd32c6d702bc7","datavalue":{"value":{"entity-type":"item","numeric-id":1911462,"id":"Q1911462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4631f7fbc27828cdfce0e5fc4cc260804220ec","datavalue":{"value":{"amount":"+0.6958792209625244","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":"Q4630244$7D09F4A5-1193-4CB7-8DE3-3EB1639C5C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ab1d3a3f59c967d01e2e6ce90754107df83dab","datavalue":{"value":{"entity-type":"item","numeric-id":4934533,"id":"Q4934533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae5ecc3301d5b20db4f842faa7d8ac23419ab2e","datavalue":{"value":{"amount":"+0.6953299641609192","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":"Q4630244$EB749C9D-ED16-42C2-A0F3-7E96F32829C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4630244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4630244"}}}}}