{"entities":{"Q885853":{"pageid":887701,"ns":120,"title":"Item:Q885853","lastrevid":65100321,"modified":"2026-04-12T00:19:01Z","type":"item","id":"Q885853","labels":{"en":{"language":"en","value":"Towards verification of C\\(\\#\\) programs: a three-level approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5164816"}},"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":"Q885853$06CE763F-9DE0-4332-B69E-5B117E00A3AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5496669ebb41645f528a69b497a006030f6f3a81","datavalue":{"value":{"text":"Towards verification of C\\(\\#\\) programs: a three-level approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q885853$9E807E99-52AC-40EE-A93B-22FAB6B8D8E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6f201e14fc0518fc5fd6c135d9f3c5eadb8aff7","datavalue":{"value":"1117.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885853$D907BFA4-E99B-4E15-A324-F35CE1826AA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a01fb87ffd5f0e1117a5eee7921dd7a618013572","datavalue":{"value":"10.1134/S0361768806040025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885853$0EBDA6DB-4423-4A37-82F5-55C521FEEFF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01474aecc94ba51657b2dc3be058991b29fbb877","datavalue":{"value":{"entity-type":"item","numeric-id":220094,"id":"Q220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$2223E22C-5ACA-4501-AC94-31FB6A3F3738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"290d425e3723e34b361a9f06680e3fcfb8ef0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":174075,"id":"Q174075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$57ACAECB-00B9-4EDB-8E15-EDED4DA8F2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09b24681878ef164d3fcb6f57feab7329c9a867d","datavalue":{"value":{"entity-type":"item","numeric-id":885851,"id":"Q885851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$86EDEE8C-9E39-4F21-A0D6-A6CB017F01EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc9c134b53172166ac0cc011c926032fcf60101","datavalue":{"value":{"entity-type":"item","numeric-id":557548,"id":"Q557548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$D963F8C9-9492-41A8-B7EA-7D08B5FD3A87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$E9B5B3A0-F938-4951-820A-2DFD8AE33A9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bab32af2be3d6aa1853ef23f80d5ca9e92477a30","datavalue":{"value":{"time":"+2007-06-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":"Q885853$F11793E0-CD17-423F-9D18-24546158F686","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885853$A5D9B63C-D71E-4F4B-86C8-A4C6AA96E2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885853$9E4C92FE-C541-4778-A11E-E4BC5F4E6F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885853$9F79E2E5-63E8-4A06-9429-15A6CDA05CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885853$01A825E3-3BF8-425E-A219-9B883BF3CE8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4acc885820a924de3fd29778d4dea656c466587b","datavalue":{"value":"5164816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885853$351C6E0F-3E84-4317-B067-B737DA393507","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab1fa5b418693d35e7360150c39baee69d9a7cc","datavalue":{"value":"sequential object-oriented programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q885853$2FCC9BF0-1A49-446A-A395-B560F935AD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be53a0d71983caf0deb4aebc71a1e63df6c852d0","datavalue":{"value":"operational semantics algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q885853$AE387BFB-0829-44A1-967C-C8B2F41A9CF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61fee4f246196e90c9e2391d7ba59bbc03793c2b","datavalue":{"value":{"entity-type":"item","numeric-id":32786,"id":"Q32786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$AAEFAB1C-E216-4718-85CD-71FAC5598CA8","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":"Q885853$A8092362-A7AC-49BF-8E28-BBD91CABC64A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1dac8fd047b3643ba819394435dc1a58f672df","datavalue":{"value":{"entity-type":"item","numeric-id":555781,"id":"Q555781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$A830B2A7-9582-4119-A628-8EFF850A4532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62ae941b4504ce193e952541d3a4c7ac7590cb","datavalue":{"value":{"entity-type":"item","numeric-id":4808824,"id":"Q4808824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$8E5478C7-A77F-4EC3-B37F-8EA73A919D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cdba64fa9b15de71b86a7b8f0097eb030b20c3","datavalue":{"value":{"entity-type":"item","numeric-id":2764133,"id":"Q2764133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$0F6539FB-5FD3-4183-ACD7-F4EE19427EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$9AB892C0-F23A-40B3-A5FC-9EB4EC6CA36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0244d42b59746eaee648b37b32fbd969f75556ca","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$52859ED5-7218-4FAD-AF0F-C9D21A13EF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d03c749807f109d751e7a33ee19c908d6bbdd2b","datavalue":{"value":{"entity-type":"item","numeric-id":557549,"id":"Q557549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$96D20A3D-8E74-41F0-A235-4BBBB589C0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceed6c231e6a6087aaa5989ddc3be59f213c7d44","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$75E6BD6D-91EC-41C8-98B6-77A2F8366584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8515247747c04071cee03c4e2b35aa91b60754","datavalue":{"value":{"entity-type":"item","numeric-id":2754051,"id":"Q2754051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885853$9D1C6160-226E-4BFA-B1E4-B7848F759668","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a76efa11d0b2af59a596a665614993f2e1d0f61","datavalue":{"value":"https://doi.org/10.1134/s0361768806040025","type":"string"},"datatype":"url"},"type":"statement","id":"Q885853$1A8A33FB-1A28-4778-8DB2-8FF8504F1957","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"806196122dc4c9714176ad234284caaf377fbeb3","datavalue":{"value":"W2035786727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885853$D5ACB9EE-4504-4AE4-A552-42B0CD28C5C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82345f4a3f91685d91f00052b977e423f917591","datavalue":{"value":{"entity-type":"item","numeric-id":3023540,"id":"Q3023540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a01c05011ad75bc331cd5c2c7e64d58554ef3c","datavalue":{"value":{"amount":"+0.9418275356292723","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":"Q885853$CEAD75F1-21F6-4A43-8468-BF46E12AF812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b553c37ced3bf1bc6f4e83b3bc5244ee0a2938e8","datavalue":{"value":{"entity-type":"item","numeric-id":2882991,"id":"Q2882991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0fa703749951a2716fc0d963e3fe589745920d","datavalue":{"value":{"amount":"+0.8143219351768494","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":"Q885853$FBEEA6CE-2F28-48B8-B6B7-8B19074F4287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624e1d6c7212b8d0504cb2ca0701cc5f3e73d017","datavalue":{"value":{"entity-type":"item","numeric-id":557549,"id":"Q557549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97320a41b9596c7d7f36a72dd3756640dd1aa6bd","datavalue":{"value":{"amount":"+0.7675631046295166","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":"Q885853$F114B647-D1A3-402B-B7C6-2F58323AB572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f137d33a39be095779e070617b697215026d17","datavalue":{"value":{"entity-type":"item","numeric-id":2880622,"id":"Q2880622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72dd4bd825556322414849e50bab9f72f8e37f88","datavalue":{"value":{"amount":"+0.7608902454376221","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":"Q885853$F2E0C888-C840-4D0A-AA64-1958C84DA762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cfc1c13440aac9b577c59ab7eff8de6c98cc4c","datavalue":{"value":{"entity-type":"item","numeric-id":2643131,"id":"Q2643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657321e59e0ad7189df662ff85267b57bab1b3ed","datavalue":{"value":{"amount":"+0.7441684603691101","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":"Q885853$9F48F7DF-5AE7-4BCF-8AFF-32F5D17382D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards verification of C\\(\\\\) programs: a three-level approach","badges":[]}}}}}