{"entities":{"Q466002":{"pageid":467769,"ns":120,"title":"Item:Q466002","lastrevid":62111403,"modified":"2026-04-11T03:51:05Z","type":"item","id":"Q466002","labels":{"en":{"language":"en","value":"Program verification: state of the art, problems, and results. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6361242"}},"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":"Q466002$DF4E6936-077D-400E-8517-8E0676361058","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65b04542a46555aee87724a08fc6da3ce47f1708","datavalue":{"value":{"text":"Program verification: state of the art, problems, and results. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q466002$C8BD9585-56BA-413F-AE5E-518A5D9AA2AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c4056cae4a5bc5e742d5839c4201397ddfcad8e","datavalue":{"value":"1371.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466002$BA42C0D8-8170-4A80-98F2-9915EA9989B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"120e3e50e701634c5f67d1b809f1b56410aed24e","datavalue":{"value":{"entity-type":"item","numeric-id":269157,"id":"Q269157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466002$74362B37-9AEC-471A-90E8-AEFDC181AF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8a70a45fd75dda796cedd40b23c9a8f6714e4e4","datavalue":{"value":{"entity-type":"item","numeric-id":466001,"id":"Q466001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466002$E088AB79-1AD3-4C01-8F31-1F2D3DE7194C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466002$939DDB48-14F6-4CE3-B456-B3509BA2474F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fb6627267bf5062177e95d53922b6e4db33a25","datavalue":{"value":{"time":"+2014-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q466002$C15B1EF9-58BC-42D3-A8BD-1CA2EE03965F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466002$36A1E6DC-E7CD-4886-8FE7-62A5641B1849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466002$12D82866-ECB5-42EF-B709-8BA7986917F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3acf4e8c22247ee8ccae77a8e353dbf5b2eaf16c","datavalue":{"value":"6361242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466002$54AB9052-B2F3-4295-AAD6-3153E579BF0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q466002$53E39856-7D50-4DE4-A052-A504B3E76ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q466002$01C0381A-1168-4CB6-90AD-71CC06C63777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q466002$476BBD71-3DD9-4906-B54B-E5196AA815B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q466002$C7065F8D-99D3-4DAD-94DE-6BCD2B80463F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q466002$69C0BA22-829D-4D8A-B234-8F813BD54D86","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":"Q466002$692B567F-8861-493B-9221-8E35A519BCB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9ece03b084ec618306795f21b7addc4b7250f31","datavalue":{"value":"https://doi.org/10.1007/s10559-014-9588-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q466002$645BC0D7-9E07-41AB-B9AC-A22EE12159BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d8f6013da632f182dea390adddc399ffe68ad31","datavalue":{"value":"W1976808706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466002$7D00C436-E538-4080-AB2C-B54E5D281291","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d25a6b79a6230e00f9b3d4f766a6dc174a6af7","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466002$98F48158-3A3A-4338-AF14-CFDD9CC032E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466002$02941FEB-DB47-480A-A48D-C3415455ABC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981775c3bdaad566fe065afd3c04ece6176878a","datavalue":{"value":{"entity-type":"item","numeric-id":1238997,"id":"Q1238997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466002$7DCF1771-6B7C-4E93-B998-5C99E90EC964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466002$A216F485-DAE4-4485-BC83-004E5A6D8044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466002$23DE6FAA-F67A-4DE4-8815-1E642368E741","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8093f3867b4dd1f5ddcd22f7b5939cdb4f84612","datavalue":{"value":"10.1007/S10559-014-9588-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466002$B8A75F02-4DB3-4924-8D83-2A015FB8C0BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11a3dcfa553eac351c784976cdd0e87f56872ec","datavalue":{"value":{"amount":"+0.9872511029243468","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":"Q466002$F1974132-9B07-409E-9077-C11ADC6DB404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76b3577a7618bb02f9806580f51d2b7da93b94","datavalue":{"value":{"entity-type":"item","numeric-id":5900551,"id":"Q5900551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6462e45035f3ae7a03ecd301b0e4c4b46f0ed99e","datavalue":{"value":{"amount":"+0.8002120852470398","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":"Q466002$4A83D760-9579-4BCD-ACD0-BB3C6FA5CA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3579b92783ac4c94b33f26f3d5ad05becdee062","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f90333b0586fe134a7f114c36821f9a68159c4","datavalue":{"value":{"amount":"+0.785380482673645","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":"Q466002$F1A5846F-8D79-4FC2-BEB7-41F8D40574E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92d7440a95b76ccdf0e7ae312016a6c517bb83b","datavalue":{"value":{"amount":"+0.7823275327682495","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":"Q466002$6C7EC8FE-A9E6-4D9A-A017-07F13D4B2AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3ba2e6e5e1361ace684e95aec0deebe8844a28","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5f0b8ef436740dc0d1a31b1d84c31fc415a1c0","datavalue":{"value":{"amount":"+0.7781462073326111","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":"Q466002$AC00CE2E-AAB7-4A0E-9AE6-16F9BBDF6FB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program verification: state of the art, problems, and results. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_verification:_state_of_the_art,_problems,_and_results._II"}}}}}