{"entities":{"Q2013885":{"pageid":2024627,"ns":120,"title":"Item:Q2013885","lastrevid":57370704,"modified":"2026-03-30T17:12:03Z","type":"item","id":"Q2013885","labels":{"en":{"language":"en","value":"A unified approach of program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6759007"}},"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":"Q2013885$AFCA0D23-4531-454F-9749-2BA1FE13AE66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9235cff8682cd60f5be2ac5f826b5a15e5a77f0","datavalue":{"value":{"text":"A unified approach of program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2013885$59655C5A-A5BE-4A51-B413-809FA16C171B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa1e27b03b591a525427115b3f9f946060b0592e","datavalue":{"value":"1414.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013885$38335AFF-F1D9-4306-A1A3-7F63E385EB90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f7dd568e3bedc3449bab623b2c1aa2453a5e813","datavalue":{"value":{"entity-type":"item","numeric-id":1698574,"id":"Q1698574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$E96AEB02-FA70-4549-909C-2935B146546E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8c4766ff4b353cf2a25b931feb0697f66ec1d7","datavalue":{"value":{"entity-type":"item","numeric-id":2013884,"id":"Q2013884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$5791CC71-ABE6-464F-A785-0BE67BDAC225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3132f1a35d4811c7f0ea5868c231904ab711017","datavalue":{"value":{"entity-type":"item","numeric-id":399498,"id":"Q399498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$6B432104-88B9-4F13-8E1B-94E3C50599BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ddb574e4bc2904c433151b480ca8d8339641c25","datavalue":{"value":{"time":"+2017-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2013885$E5E1B6BA-08B9-442F-9F39-B1E27999F0F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013885$C7E79B90-54A8-429D-AC91-0BBC425C2003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013885$B1FE64F8-F7F5-4530-A838-99076F2334CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7964ee53a1dc440795c1c054b5a8964ecad7ef20","datavalue":{"value":"6759007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013885$4D188CA7-8851-4EA7-8509-7D5641C55B6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013885$CBB0F412-CC89-49A5-ACF9-B79583A8D09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6882423fb9572844a6ae5c9fb5ec70a1fa59ed3","datavalue":{"value":"programming model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013885$4D522584-BB83-4DF7-BAD0-F279760BE08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1ec1890b39c36f727f75ebebe2ad6d1b0e1000","datavalue":{"value":"program constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013885$AB4613FC-381B-472F-8ED3-D227D7F5773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013885$BA8984BA-BAD7-4FB9-B365-B0B1ACF775AD","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":"Q2013885$85BB4154-F3A6-4D34-B9C3-711BDFDBEE12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d09246634371b44b573e2935a614dfe80796bec","datavalue":{"value":"https://doi.org/10.1515/ausi-2017-0005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013885$DAB29514-B24B-4050-BCDD-A1D7A957493A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c444df0904a0af63212682d9ef9162d79d8df01","datavalue":{"value":"W2741106471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013885$24E79317-30A6-426F-B3DF-241975B7E866","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33a97eaed430490b1baf5412c0903d90b4fa4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4344071,"id":"Q4344071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$D1B92F32-F21B-4D04-9C4D-7552227268B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$6C2DE8EF-20AC-4C87-843A-A81A9C258F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a0cf2c91010e7eb43b7177796e73d4799e10f1","datavalue":{"value":{"entity-type":"item","numeric-id":3210885,"id":"Q3210885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$693219E7-63BF-4873-9ACB-A93E49BCDBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e199b2ad73ee3af07cd12299ad2b16b6c30391f","datavalue":{"value":{"entity-type":"item","numeric-id":2935514,"id":"Q2935514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$14785345-9A59-4C20-8A11-D65E76FAF6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$550FA9ED-4E11-4BF0-A3CA-3538594CDF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$EA662A9C-2AE7-4DAE-A261-7DFB3A91B67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$A8765835-33EB-45A6-83D3-CCD17632592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$79EE5C14-A62D-49D9-A4BD-CCE5E79C69BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$D8B627F8-7ECB-4C5E-8182-7D3BA2C92EA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae7cbd08e752ffeaf3635fd875be09106d0bbf99","datavalue":{"value":"10.1515/AUSI-2017-0005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013885$58A7455D-8A5C-4693-92A0-D4E754047957","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1931a8e12c8845b380958c0dd7d69fef4221baff","datavalue":{"value":{"entity-type":"item","numeric-id":4003356,"id":"Q4003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec975f6ad2b2804045b7b93781b02f1cb783862","datavalue":{"value":{"amount":"+0.767219603061676","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":"Q2013885$9B78EC82-6A38-41C6-9F21-3D7E06B42A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d69e05c69312d3e07c1ba1409717c12d9dc1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3568323,"id":"Q3568323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc612673cad13319b37b325c2b8ac5dacee29d8b","datavalue":{"value":{"amount":"+0.7621213793754578","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":"Q2013885$BEB90EFF-CAE1-4618-874B-56D5E4CBB2F0","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":"36388d66b94adc5c868690b1d68553c6215ef48d","datavalue":{"value":{"amount":"+0.7541923522949219","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":"Q2013885$6212E4CE-4F56-423F-B36B-314D8D382F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715d1666f29c7e62c77f55370ed43c5d869981e","datavalue":{"value":{"entity-type":"item","numeric-id":3707370,"id":"Q3707370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72eaeeb84e4452f1c35f49c9e73e7796ee89d9f4","datavalue":{"value":{"amount":"+0.7487446665763855","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":"Q2013885$3D60EC1E-4931-49ED-B7D6-848BBF7D4A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b98ae5b90138066d60d4f09aceea7fae0605e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd130521df74c64363303842b08a1065bb127a98","datavalue":{"value":{"amount":"+0.7457502484321594","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":"Q2013885$42E5307A-A2F1-43AA-A8BC-C2093955AF0E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013885$AD5881A4-49AE-45CD-9E46-950B20DE46EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2013885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2013885"}}}}}