{"entities":{"Q5305649":{"pageid":7335223,"ns":120,"title":"Item:Q5305649","lastrevid":100724393,"modified":"2026-06-05T22:57:16Z","type":"item","id":"Q5305649","labels":{"en":{"language":"en","value":"Verification: Theory and Practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5685999"}},"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":"Q5305649$CDC68EE1-9E9D-44EA-AB1E-3BD5A4EC21CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19ae24441913cb26b5e3c3e3091d33de7d326442","datavalue":{"value":{"text":"Verification: Theory and Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5305649$FAA84FEB-2899-4857-9346-EEAA2978651F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae709e769a326d539ff2d3cd03a4fea97d6c7b1b","datavalue":{"value":"1274.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305649$3334577A-D86C-4E97-AD5A-F9B2E0CD779C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2109ea3ab29767c79eca725b68331d0c21a9a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2225085,"id":"Q2225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305649$FE242CE7-822D-43DF-889E-38D164FF0BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305649$ED52A852-984C-4053-A452-026937E00870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"817e0f86f8dd3a500201ed87630d7870a79b00f4","datavalue":{"value":{"entity-type":"item","numeric-id":4439558,"id":"Q4439558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305649$FE91343C-701F-48D2-A42A-84FD72FD3444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305649$A700AD34-0172-4D81-A3A5-AB6157AE4E6D","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":"Q5305649$0C562DCC-68B0-4FE3-AA39-9574769B9AC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04667758ca402825b85eb8236fc52c2cb97a4477","datavalue":{"value":{"time":"+2010-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5305649$F1C8E7EE-7A48-473B-87EF-9CBBE58E792D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305649$41BF552B-7CFD-48B8-922F-B6A388A34229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305649$5687EAA0-48A2-45A5-AC0C-7EAE473ECFAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db1d020c02e9711eebcb3b4bfe8e5b65b363768b","datavalue":{"value":"5685999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305649$AEB78E01-FD1C-46CB-BCB2-345972420D3C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305649$CC75256A-F4A8-4659-94CE-C9081F1C28E5","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":"Q5305649$C74FD4F0-383D-45F2-988C-7DDEFEEA4EF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05ebb71e054470a0072332415944e2f3b0e63b73","datavalue":{"value":"https://doi.org/10.1007/b12001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5305649$C219D863-19B6-49B6-8EB4-682B4FFEBAE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b2172af60a018bd1bac6a0747828428d9e3f990","datavalue":{"value":"W2483649756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305649$BAC67A1C-73B8-457B-8159-77D5D8D88FF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ff9106ae7b59b411fabd677cf1f3a1876f996e9","datavalue":{"value":"10.1007/B12001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305649$6D695663-DD70-49DF-9670-2470C043B812","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563717a6bd36500bb20ed8c8f1c51ac4c17bc8e3","datavalue":{"value":{"amount":"+0.9042139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5305649$2DB1597F-08E2-44EC-8A31-D5B1F5C3F514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6c22134065181c54014580952e1ec3cb8fd15a","datavalue":{"value":{"amount":"+0.9042138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5305649$A2282B55-86C6-49E2-881F-8874BC9C4A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a4e69567d6aa8b80c6dee0fc5a69e3f2431b1e","datavalue":{"value":{"entity-type":"item","numeric-id":4474215,"id":"Q4474215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f197e3d52ec6dd15042c6b5ce9d898066abd92b7","datavalue":{"value":{"amount":"+0.89974296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5305649$DB51FF3A-CE43-437B-B937-069AB58CD504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc73df81c806960fe2634a3d1cc2f178eeac6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3176363,"id":"Q3176363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38d1873e6544be5e0d926fd4d3f7197cf14c9d9","datavalue":{"value":{"amount":"+0.89374864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5305649$855C37B5-3489-4960-8214-0025BE762548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5444f252f813264ef4d7513c8091f64cf00e3a","datavalue":{"value":{"amount":"+0.88263315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5305649$7FDF3DDF-F7CC-49AB-BAE1-751477C875D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c912d83dcee42b3ace1ad6e55a01bbbc689564c7","datavalue":{"value":{"entity-type":"item","numeric-id":3574320,"id":"Q3574320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62666a3165db8ab9b38c1b7135f4f8cd55d3d324","datavalue":{"value":{"amount":"+0.88175726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5305649$8E63A297-D6DB-47D6-9315-093062A2D300","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification: Theory and Practice","badges":[]}}}}}