{"entities":{"Q5312936":{"pageid":7342510,"ns":120,"title":"Item:Q5312936","lastrevid":48537853,"modified":"2026-01-05T03:44:34Z","type":"item","id":"Q5312936","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199320"}},"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":"Q5312936$D68F924F-CDFE-4313-B73E-F910F9324B36","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":"Q5312936$AA4B549D-B7BB-4184-BA5E-070D718C7248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8aaf867a28095f8606d95d3193867e2cfe4bdf16","datavalue":{"value":"1103.68619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312936$97466FE9-8276-43AB-A3A3-B530D365765C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8920226f271afce4d1770d893edeb5e808591f","datavalue":{"value":{"entity-type":"item","numeric-id":4282506,"id":"Q4282506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312936$8229F511-32D7-4419-83F7-580CB663A174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ce663adc5e97dcdf72d276b841838a2d118d5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5312935,"id":"Q5312935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312936$331157BE-C2DD-4357-AF10-815384BFB5FD","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":"Q5312936$4F9494B1-44C5-41F7-869A-5C629F2FC4D9","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":"Q5312936$8CD83F99-668C-4AAC-8437-4012B71089D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312936$71308879-3ED4-4AF3-9DB2-F739B12C9366","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0688bd07747603b0b4c2015bf490680f5231c3ee","datavalue":{"value":"2199320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312936$BF37377C-3C72-487F-B290-3A4B3F1D73A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a742f7dfe8edf5694a982520b4818897c2dc73a","datavalue":{"value":"AltaRica","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312936$EA587021-F5C3-4BB5-B246-46F2A7F9A6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f376b4cab41b5aaffe2e0559d180ac7d09f1764","datavalue":{"value":"BDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312936$1008F95B-B577-4D05-B59C-E04A173B10F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312936$55F79586-1FE5-4984-A704-2B83123125A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312936$3254E0E0-26EF-4CA1-9BAD-8D7424730135","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7a1bf5a4e409112ca4a03927e37985dabe1a37d","datavalue":{"value":{"entity-type":"item","numeric-id":31917,"id":"Q31917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312936$FA1FF392-F0B4-4AFE-8C49-B7614498AB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312936$DBC4BDFF-1AA5-44E1-8B38-C80C05F59DB0","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":"Q5312936$BD6241C1-AD5F-4348-88C4-3F2AB54D3AB5","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":"Q5312936$79F03D11-BDB3-4969-BBF3-5136CBFDFE92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312936$490F31B5-486A-4C0A-80DA-5B58AE640C9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312936$4DED6121-048F-41BF-A4D0-A15FBECDDDA2","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":"cfe425fcc1142f7422a2c31d60663c937932d233","datavalue":{"value":{"amount":"+0.7557323575019836","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":"Q5312936$5E299975-1F25-483A-9CFA-68444D69E997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe425fcc1142f7422a2c31d60663c937932d233","datavalue":{"value":{"amount":"+0.7557323575019836","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":"Q5312936$881CD0EF-29DC-453D-BD73-755D06F23B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f1386d26c8c22b090c8f1ac130f1e318ecd9aa","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2383780d1c81ab1987321c5f2456dfabe8e41053","datavalue":{"value":{"amount":"+0.7509907484054565","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":"Q5312936$0887B162-3EFF-4F93-83CC-83F5247FCD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d80d257f546db88b5e5282054536c686f95de29","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d338adbb656f0d6e2f30372ef91091d87fd6402","datavalue":{"value":{"amount":"+0.7395041584968567","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":"Q5312936$FB31AFF5-3A4D-4D17-98F7-957EA043FB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce857befaecd6296176f332d1fd10bc35c53b61","datavalue":{"value":{"entity-type":"item","numeric-id":1326587,"id":"Q1326587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09c5f2d1b0ec204e505710c18d391d09c6b9471","datavalue":{"value":{"amount":"+0.7389551401138306","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":"Q5312936$7DB16A9B-A380-4717-A672-915B162F5F2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312936"}}}}}