{"entities":{"Q5312901":{"pageid":7342475,"ns":120,"title":"Item:Q5312901","lastrevid":40738329,"modified":"2025-04-04T13:00:28Z","type":"item","id":"Q5312901","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199291"}},"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":"Q5312901$FF0DB5C1-CEAB-4E84-B685-757E094317B2","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":"Q5312901$22C11562-FA1F-482A-ADCC-2B70EE6E0666","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f33cb704390ac6c212137142335db675140a1eb","datavalue":{"value":"1103.68643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312901$81BF445C-E9A2-4987-80BF-91EDB588DFE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15aa8b3a3bc6fece8b1494f82dc3107255a47052","datavalue":{"value":{"entity-type":"item","numeric-id":276513,"id":"Q276513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312901$26EA7FFD-1293-49EA-B94F-C3BCBF8F8E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8805eb347b0d2233a80238b7549669d8e629fe79","datavalue":{"value":{"entity-type":"item","numeric-id":526774,"id":"Q526774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312901$30A492EE-F037-4BBB-AA06-0F887D6CE2AD","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":"Q5312901$0A1C798B-95AA-412C-9179-645932537AB3","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":"Q5312901$D837AD51-0EF0-489A-81B3-0B5CEFC77365","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312901$F8E4E761-75A1-4097-8643-DD68AD1D2F1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7040ab1f0071d6bf69b4e79dbb0f61f604893805","datavalue":{"value":"2199291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312901$76F1B73C-F01C-4F29-A38A-1799DCFD56E1","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":"Q5312901$74FADC73-8826-4B95-BBF1-5023F7F269FC","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":"Q5312901$C7F40044-A7D4-4057-B836-9F01FD8F4FDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312901$C8AB082C-CF70-4E87-A724-64F53541C9C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312901$557690BF-7E5A-48F3-A6C1-DD2D8EE7B5B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455aa1c4245d4843a68678ee26e3e3602db2e6a2","datavalue":{"value":{"amount":"+0.91099405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$4370C4A7-41EB-4A93-A33D-7DC5DA7EF948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea01d914082b4e177b7a684824a21dab7e5087bd","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0fd69d1838d9ec199560f60b92236df6133aea","datavalue":{"value":{"amount":"+0.8975066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$B36CA890-2BB9-4208-859F-8A1E4BDAA06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c4f105cae194a23b70d6039cfc54da41c307e2","datavalue":{"value":{"entity-type":"item","numeric-id":2982239,"id":"Q2982239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64145932f7677b5634b33a6c0b0f041d45c5eb90","datavalue":{"value":{"amount":"+0.88803935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$5E25DB62-9830-4527-9EC4-C37435ED5C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701b0ccb6bd22f62a60b6878f348e96a47066007","datavalue":{"value":{"amount":"+0.8859371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$6824235D-7AE2-4291-A26D-436C0414385B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b68073369f0cc8b5e82b6b47fbeb08c63281ed","datavalue":{"value":{"entity-type":"item","numeric-id":4899142,"id":"Q4899142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd6b9d298fa7f87b097171d814e827f3c4f837b","datavalue":{"value":{"amount":"+0.8851409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$634CC839-2227-4F3C-833A-DBEA097B1C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a3d20293710e09f9c03996b39f0b8abcb84fcc","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1404597f984cfd9f689d97b1dbc0042cab0c5832","datavalue":{"value":{"amount":"+0.8840028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$D0BBE5D5-B8B6-4422-949B-0C401F69766E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2afa4067b55db1b0ab26a0b2fd53f08c526f79c4","datavalue":{"value":{"entity-type":"item","numeric-id":2234059,"id":"Q2234059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd02a232f4a8ef3d58dd3cf8e1177dc1f028a7f8","datavalue":{"value":{"amount":"+0.8827789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$AC446779-BB01-4B32-BBAE-3C089E47254E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d464c276265816ff7bdc9441637291a78957de4e","datavalue":{"value":{"entity-type":"item","numeric-id":5312902,"id":"Q5312902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1531fb99f1c6a2722602da80b9a5f7df9a1628ef","datavalue":{"value":{"amount":"+0.87968403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$C7133C51-24DA-468A-996B-539D5BBC3409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bffe8dbffeedd3a5bbdba52b07669a1c7cd1cc1","datavalue":{"value":{"entity-type":"item","numeric-id":2385196,"id":"Q2385196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1531fb99f1c6a2722602da80b9a5f7df9a1628ef","datavalue":{"value":{"amount":"+0.87968403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$F239EBBC-717B-40F8-829F-DF3219B00D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f61c9aede3d60e9748bd045c50c99517650f47","datavalue":{"value":{"entity-type":"item","numeric-id":1177172,"id":"Q1177172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f4e10eacdc39b51cac55568917b135e96235bc","datavalue":{"value":{"amount":"+0.87055635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312901$4297545E-0162-4253-913C-966AAA287EF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312901"}}}}}