{"entities":{"Q832275":{"pageid":834123,"ns":120,"title":"Item:Q832275","lastrevid":57687174,"modified":"2026-03-31T22:11:22Z","type":"item","id":"Q832275","labels":{"en":{"language":"en","value":"Progress in certifying hardware model checking results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498188"}},"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":"Q832275$0DF4AA02-3BCD-4695-B466-96138F39DB0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7b598b06fb129457c5a96bdbc13dbc1b9a01627","datavalue":{"value":{"text":"Progress in certifying hardware model checking results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832275$2130964E-DE45-4D0C-AE20-2D72FD0E2C3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9024aad01da449e6f851aa0eba39b824a33d5f1b","datavalue":{"value":"1493.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832275$1F3D945C-7D2E-4C64-BCE3-178225CFD4BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57ce0fe330a96b30d774ce962dd1face7efba48b","datavalue":{"value":"10.1007/978-3-030-81688-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832275$B407A6CC-4E3B-4870-893D-81233F09BFE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e08876326ca297b4bb50f9f0ade1d19b91843ad7","datavalue":{"value":{"entity-type":"item","numeric-id":832274,"id":"Q832274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$A77EAD2F-95DA-449D-AFC5-A4B2CEF6526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$5511FF2A-8F17-47A4-82E4-42A62AAF9D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$38F3F32B-A059-44E8-8867-68637094CDBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-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":"Q832275$374B6AE8-6ECA-4B76-99BE-0B30B8488406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832275$8523650E-664F-4055-8364-1757751E2396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832275$F9428CC3-5044-4B1C-BAF3-0B4A7E4B25BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3af828b37d26245858286c334828b15515a5997","datavalue":{"value":"7498188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832275$30BC7BF1-8C98-45C1-B9C2-E641F0345BE4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$FC18703E-6EA6-465C-9C93-309AC1523D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8410f136621df4e01ad7bbefcd83de21323b713d","datavalue":{"value":{"entity-type":"item","numeric-id":32842,"id":"Q32842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$54029F89-3936-48F7-A384-F7921D9145CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7c9f5eed0f349f139cff26a79e9b6872daabaf4","datavalue":{"value":{"entity-type":"item","numeric-id":32841,"id":"Q32841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$50289B2D-5F7C-438F-832E-0D122A1801F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfc147131a7d4143ee0cffcf8574b9289d54c011","datavalue":{"value":{"entity-type":"item","numeric-id":1354213,"id":"Q1354213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$81621A56-BD14-4194-BE33-4365291D3DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddadcf23c1083cbefe0349fc4573fd061666b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":1354210,"id":"Q1354210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$335FAEE2-551C-4A64-BF69-E3A2984A97FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$E4AC3014-1AAB-44E0-8131-143A5C09F572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54facb50706f9d0f3d872eb476b711c3e0de8c35","datavalue":{"value":{"entity-type":"item","numeric-id":41082,"id":"Q41082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$F4F4CCF3-FB18-44EF-8EC4-2809407446E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca3f31aa2c04d477727f6082390af9392ab5e781","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$626E7DE0-80C2-4DCB-8D06-2DE73751CAFB","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":"Q832275$DAA2D965-6128-4997-AC80-BC53589AE42F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6585fd82d1bc0815b8bae934d9a0be3982f472f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q832275$4001CF6E-0764-46E2-BA9F-F745EA85FDC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3d178ee976086542e4cc33bd6959ec6fdf56203","datavalue":{"value":"W3184346668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832275$52CAF5D7-2DB6-4DD6-BA9E-90326920E15B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$B2F2B332-C51B-4ACA-A717-FC532EBDA277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$3C0B16BC-2CDF-4A73-A4F1-D6AC2EDADD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87030458893ce6a5226c20f4768389b71ec39c","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$8EEF5009-B5C6-4116-A8B2-CFC86FE1F074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$AB5F6D8F-D3C7-4F52-9C48-504867B6F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$F325468B-8DC8-48F7-A544-F9CF7CA4798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5254fb6cb68e95e9b114ff1452e0ee53f207bf78","datavalue":{"value":{"entity-type":"item","numeric-id":2058379,"id":"Q2058379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$62AB7BF0-F390-42F9-A384-F5EE4C7321F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5a4d6dd5f0e7356ed8d1127addf4b8632b1c04","datavalue":{"value":{"entity-type":"item","numeric-id":6194955,"id":"Q6194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$FF903A1A-1419-4CA0-BAB6-2F229DA4B4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e223eeffd648e8a0591b5d81a0a7ed50d144b016","datavalue":{"value":{"entity-type":"item","numeric-id":4551138,"id":"Q4551138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$9F780E44-043B-4AF7-9A5B-9E22C50E0007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fef66f961724b2c109d231d90a6cd1704764e5","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$66765DEC-E3A3-413F-A39C-D6B382900F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$F6715C2B-5CB8-4C71-8436-0A40257D8F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759a3fe35509401001b165ba0d5ab1dfe3649ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2818029,"id":"Q2818029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$1F7DB6A7-8A47-47B0-AF88-04C8E3FF80DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031b785b36fb4a3fa03f1c32da8f2ce73befc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52403d30abe9b8e7235eeededfb7dc09ab5eb4f1","datavalue":{"value":{"amount":"+0.7926012873649597","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":"Q832275$ABFAFA9C-ADDB-4766-BA4A-4ABFAFBF9791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bddd3ca190a3b9e349e7d181a51e38d0570950","datavalue":{"value":{"entity-type":"item","numeric-id":2058379,"id":"Q2058379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1067ee42ac4fb1484c7d20f5e18c68186ca1f42","datavalue":{"value":{"amount":"+0.7859110236167908","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":"Q832275$C9CB78C2-6718-4F50-AD72-F51EA2EE45E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79920ef7605bb713caa5a42ff8cc7e8602bf01e3","datavalue":{"value":{"entity-type":"item","numeric-id":5899056,"id":"Q5899056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1dfe9659a6327d0cf60a2754c0a8fa15fcd471","datavalue":{"value":{"amount":"+0.7240759134292603","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":"Q832275$838F2BF7-ABBC-40D2-B58A-69203E47EDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e92bb1e52dcbe4b71fbb4fb8a9dabdf590a402","datavalue":{"value":{"entity-type":"item","numeric-id":5920089,"id":"Q5920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f80cf611f0b657e7a5e7897cab574e564c8232","datavalue":{"value":{"amount":"+0.7188331484794617","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":"Q832275$08BA9E53-77D5-4522-9A32-7321B7522C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1cf971686a7a945b060610d34e6358f37746f9","datavalue":{"value":{"entity-type":"item","numeric-id":5039522,"id":"Q5039522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7e5672d3889ec05838b0e61f48f7eadfa4f8c1","datavalue":{"value":{"amount":"+0.7073305249214172","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":"Q832275$8DF7C6BA-B940-4BB2-ADAB-D7B91B0FFA40","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832275$3DCACA39-6DF4-4C4A-A07E-C778C768948F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832275"}}}}}