{"entities":{"Q5096233":{"pageid":7125809,"ns":120,"title":"Item:Q5096233","lastrevid":54381884,"modified":"2026-01-26T17:53:23Z","type":"item","id":"Q5096233","labels":{"en":{"language":"en","value":"Complexity of proving program correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572013"}},"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":"Q5096233$68D972D5-2769-476B-9ACD-8D6D0F9757BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9bd5f7a31c46f65ce4cdab4de1b6e79eb0fd71b","datavalue":{"value":{"text":"Complexity of proving program correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096233$FDF1BF31-7E85-4F22-90E1-209E8A3FD0EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f1b68ff5d0cc9e0d5c7d7b9fef19ff84f4dfcbc","datavalue":{"value":"1493.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096233$E51B290A-8BB9-4E2B-8402-64B57F45F7E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e54600747b6e0b905b5ddf3d2f9d50a528ed94eb","datavalue":{"value":"10.1007/3-540-54415-1_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096233$E8357DE3-3EC2-46B8-938D-D40343CB4221","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"529befe38d0a6ba09412eb0a1deff4d2b35f1d09","datavalue":{"value":{"entity-type":"item","numeric-id":3442636,"id":"Q3442636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$0CE7A55E-35C5-4752-A947-D099A2E3EDD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$5DE3C37C-124A-4426-BA51-88593C9C4245","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096233$997A0F01-614B-4C12-B673-3ADA6FE85B49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096233$92128100-5FB3-4248-98DB-26DDA9F0F047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096233$2919D302-9657-4A75-AA9F-3DD4A269C307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096233$8B990759-A992-4174-B3C7-73A308B54832","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c023b92f74b2bbaea984a03061b227b9d49357af","datavalue":{"value":"7572013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096233$F32FA66A-A60B-421C-A712-EB49C81CEACF","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":"Q5096233$4EA536D3-B666-49B3-B43D-6DD3E870BD57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de0b8d7f6daf4e1cc7b00ba7d39d801ea3bed361","datavalue":{"value":"https://doi.org/10.1007/3-540-54415-1_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096233$49CFA9C4-2829-4735-BFFE-B09DB4AE9E78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0b4f565ac9b67c56793486cd0c33f754b84b006","datavalue":{"value":"W1602040124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096233$FB54B6D6-3971-4552-B64A-E01000B82F19","rank":"normal"}],"P223":[{"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":"Q5096233$26AC7892-87DE-4C03-8D50-5DCF694EDF20","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":"Q5096233$424786B1-1A98-4176-BC6B-2F7B54A6E3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$FC9CDFA4-908C-4EA5-9545-A7A8A228A21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a01715d1aea539b9ce3ea5a38e1b1f2bfbbb7b7","datavalue":{"value":{"entity-type":"item","numeric-id":583874,"id":"Q583874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$4ED951F9-46E7-4315-8DC2-43BD1EB7141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d0d049744dc192d2710b451bb5e4c29051260e","datavalue":{"value":{"entity-type":"item","numeric-id":3745258,"id":"Q3745258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$3894E234-EE2B-4C16-B00E-8A8D56097B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3886086f660dbda3acc5f15fa739af2112c593b8","datavalue":{"value":{"entity-type":"item","numeric-id":3496329,"id":"Q3496329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$427A15B3-1592-44C4-ABC8-F947FED015F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46522e4fba2913fbfce618ec550ae0397d19c411","datavalue":{"value":{"entity-type":"item","numeric-id":3718149,"id":"Q3718149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$31DD6FB2-3C5A-4E13-9894-95EECAD75E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15a8baf735680842777a1bce3d3c78132d43e41","datavalue":{"value":{"entity-type":"item","numeric-id":4131614,"id":"Q4131614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$12272E55-13C8-4E1A-B439-2305457EF609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d92cf0def4fbb849f85dcbaaef1e80009f50f3","datavalue":{"value":{"entity-type":"item","numeric-id":4147590,"id":"Q4147590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$B5629FF6-1EA7-42EB-B979-03CEE541591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e7325979007118002bfffe6683e99fc52b5c08","datavalue":{"value":{"entity-type":"item","numeric-id":2561483,"id":"Q2561483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$713D3C68-F58C-49F9-9D96-3AF566413E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7beaf21facf937a40e2c524ce6a9de5191575771","datavalue":{"value":{"entity-type":"item","numeric-id":3040481,"id":"Q3040481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$CB1B619E-CE3C-4461-9441-2C721379F19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4477667d1e832c2b258226b966cf6180b37911","datavalue":{"value":{"entity-type":"item","numeric-id":1106839,"id":"Q1106839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096233$9EC84B1A-E5A8-4F62-BB98-A2BB6F20ECDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ab4c510ef083e83de4aa739e7989de6f525d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4281545,"id":"Q4281545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6b585d88487905814efe8f0089a0c59da7191e","datavalue":{"value":{"amount":"+0.8433094620704651","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":"Q5096233$6A25BB33-E2B4-44B0-85D5-226F26D54BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c5faecb5fda312f3c5174fbc97b6b5207b9dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2563951,"id":"Q2563951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6b585d88487905814efe8f0089a0c59da7191e","datavalue":{"value":{"amount":"+0.8433094620704651","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":"Q5096233$54B97E21-DD94-4FA5-A84C-98FEC7C61667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7bdf853207477f00230cfe0ae08d66712e4ac20","datavalue":{"value":{"amount":"+0.7752402424812317","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":"Q5096233$CFAD35AC-FDF6-4FD5-9A1C-C15A8952A8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901edc71607a2886a166f15f6339eb54c72c8537","datavalue":{"value":{"amount":"+0.7617536783218384","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":"Q5096233$795E6829-C4AA-48B5-B8CC-ED903347A275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9357f030428601ed694758b55100476237598b8","datavalue":{"value":{"entity-type":"item","numeric-id":3765226,"id":"Q3765226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af9dd032ab019cbcb9c76a2908d0ce446ae14f1","datavalue":{"value":{"amount":"+0.7553563117980957","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":"Q5096233$2EDCD284-6F3F-4735-8057-32D35543DA66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096233"}}}}}