{"entities":{"Q5312931":{"pageid":7342505,"ns":120,"title":"Item:Q5312931","lastrevid":55945321,"modified":"2026-02-21T09:44:03Z","type":"item","id":"Q5312931","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199316"}},"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":"Q5312931$6B671059-8543-455E-8D8E-5C4A62894235","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5312931$07071AE8-6580-43D0-AA4A-6B6391908044","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"977f23af3735cff038b0309de204c41fb0584f63","datavalue":{"value":"1103.68980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312931$BC2A8342-5D6F-4FD8-A04E-BB72624EAF91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570b5904e056402808ab4910e5cdf0b053300f9a","datavalue":{"value":{"entity-type":"item","numeric-id":271771,"id":"Q271771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312931$71E8FA83-38B1-4103-A602-B29A37A01960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312931$013E9BC0-7E94-4F50-A861-570AE7DD3A94","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":"Q5312931$2E7E5399-44E7-4969-8FDC-4788D2086603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aca40131a4b359e0412a5ddeceecc24f8a40f1e6","datavalue":{"value":{"time":"+2005-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5312931$64DDDE68-FC1D-4D12-823B-7BAA3401482B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312931$16617C60-097A-407F-A9F6-C95F4073FEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312931$5C00CE8C-8C9F-4CDD-B929-42D6EFD66D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312931$44689977-4A01-43F1-AC06-E0AE82ABFFE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8efe2023fe50f25e6d8ae2129d5fed227899f145","datavalue":{"value":"2199316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312931$C1FAC516-0C86-4575-B9BA-B6626C46A0C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2684cf906c38d2f3dabb6bd977dd834cc81187a7","datavalue":{"value":"Distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312931$36190710-338F-4AFE-9381-1CBAC8EB7500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38c9d5ab4a6e26caca131e763da793430a7934df","datavalue":{"value":"Lock-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312931$2FE3511A-5700-443C-882D-10BB32B7C05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f35d63176770a291ce2bc7d1e66a849a755c3df","datavalue":{"value":"Simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312931$0D746C51-57FF-49F2-97A8-F34D4B7045E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e18b6f52090c9c75c3a988b1c54fc9b21997f38","datavalue":{"value":"Refinement mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312931$FEC49E6C-7894-49E3-BA27-7A782C6A49A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312931$45CEDC03-4041-4654-AFC5-A1712583C29F","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":"Q5312931$932E77FE-E81F-49BA-BDC4-531CCAA52348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc85b80a186ab9851fed94472e07b18c0eda8535","datavalue":{"value":"https://doi.org/10.1007/b98490","type":"string"},"datatype":"url"},"type":"statement","id":"Q5312931$63DCCE65-40F0-4BD6-9760-0DECE7B06BF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312931$094E3751-1EF9-4EBA-9C43-7EF289E4FE53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312931$C69690BC-0F6F-4E09-933A-4422834A3802","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026ae290f33fea7f6245415e83f7177c8ccf4a45","datavalue":{"value":{"entity-type":"item","numeric-id":865625,"id":"Q865625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb17581fd8f22a199c97c50784822edc847e61a3","datavalue":{"value":{"amount":"+0.8248709440231323","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":"Q5312931$5C599B2F-16F7-4CDC-8EFA-5C7DB2643A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2c707e0429cd37e71914fb5596f4c04745658f","datavalue":{"value":{"entity-type":"item","numeric-id":1001810,"id":"Q1001810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068cfa2cb7e656a2536c75d0767a9b9482a4acca","datavalue":{"value":{"amount":"+0.8099449872970581","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":"Q5312931$3B196E69-AC36-45A4-B4BF-294C615676A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2351ebf409d7fe33e4c9cf97d5b48611162065b","datavalue":{"value":{"entity-type":"item","numeric-id":1953636,"id":"Q1953636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12f575bf667302acfdf40b94af3c8d2e592d75b","datavalue":{"value":{"amount":"+0.7938351035118103","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":"Q5312931$6AB4A634-1D0E-48CD-B74A-B791862B8C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b5bfdee8b824374d3ba61679dedaff6f306e0bd","datavalue":{"value":{"entity-type":"item","numeric-id":858913,"id":"Q858913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2f2992f6a1e728dd983ecdaf80c7ea28623c57","datavalue":{"value":{"amount":"+0.7863242626190186","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":"Q5312931$12FC7FA9-AD18-4F61-B8B4-4F0CA7C87D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312931"}}}}}