{"entities":{"Q1871861":{"pageid":1882603,"ns":120,"title":"Item:Q1871861","lastrevid":43381986,"modified":"2025-07-25T07:30:09Z","type":"item","id":"Q1871861","labels":{"en":{"language":"en","value":"Combining software and hardware verification techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1903885"}},"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":"Q1871861$79BDC2B8-41FE-4ABD-9ABC-1734B5EFCF23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8a09d960942804c0a2522049dbc12d6fa3d02c4","datavalue":{"value":{"text":"Combining software and hardware verification techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1871861$028EAB04-ADCA-466C-B4FB-264A295BE010","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3099b3d43fb5d366f4bc8782df7991e2b2558688","datavalue":{"value":"1020.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871861$13385A0D-479E-4FBE-B547-2426AD26A5DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1155a72ce7d182cce5e32949b9e955ae9a1cbe67","datavalue":{"value":"10.1023/A:1020383505582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871861$6EC7FB08-3764-4986-A37F-988763414F30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c6d6d086edcad53da9abd74d9f793b76bf4d2e8","datavalue":{"value":{"entity-type":"item","numeric-id":1871860,"id":"Q1871860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871861$B230AB6E-6D4F-4F8B-BD35-E3555A552A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0641913a8444d5e412cfed3d21871f30ffc78d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1856176,"id":"Q1856176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871861$EED3B962-AE98-465A-87E7-8CC59A0C06E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c107885d2125030e57934d97d36b1d4ed30a2ea6","datavalue":{"value":{"entity-type":"item","numeric-id":479810,"id":"Q479810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871861$568C107F-1D25-4C29-99E4-78854A0918F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a17f242a3e8e18424e964720afec0852d4e8feae","datavalue":{"value":{"entity-type":"item","numeric-id":1696591,"id":"Q1696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871861$8F0C40B9-BEFB-4696-8443-911508F1B53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871861$F9AD4A93-191E-46B1-9439-6B51D2F54558","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871861$B0370E35-2912-4362-842E-C06D458BB41E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9741052acb3601490f70dda00f31b7265d37a65","datavalue":{"value":{"time":"+2003-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1871861$03166D5C-AF6C-4A3D-970F-DAFA52FED004","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871861$97B8BC12-F4A3-4D19-8208-A83D52F7A38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871861$18D32883-4F01-4837-93A7-9CFBAE0592D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0928607e647747ee54edb1a3277d268d93d8d879","datavalue":{"value":"1903885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871861$49D92C82-0E66-4930-B5D0-9E23B16639CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1871861$43D7698F-E5A2-4384-BF3A-25AAF6E48684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1871861$66B95D8B-0EE1-43F8-BC4B-F98086D0F330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f21ca59615f46545eb83e61a7545ecddb53e5f22","datavalue":{"value":"hardware/software co-design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1871861$59AD0B0D-7367-42D1-9B86-DBC3F8D9AD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1871861$A9B4D6EE-BC8E-437D-A8C3-869A8DE3A63B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871861$A7C941F6-00E1-4BC0-8F99-95B3450DED51","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":"Q1871861$B21DFAC0-5AD0-47BC-8879-387FB122EFB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"968f040fe697d3ea9d8396e83bf0088352ddc196","datavalue":{"value":"https://doi.org/10.1023/a:1020383505582","type":"string"},"datatype":"url"},"type":"statement","id":"Q1871861$CD9E40D8-6FF3-49B5-9CC4-194F81F01594","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3b5b93b137bf38c7dc7244b6ae64508713a6e5c","datavalue":{"value":"W1493466221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871861$138ADD85-5499-419E-AD6C-BBBD71FF6B1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17990905318a2cf219eb53488a81848beba5e37","datavalue":{"value":{"entity-type":"item","numeric-id":4466897,"id":"Q4466897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cc36cf6221307e011dab2f79823ce1cf9ab247","datavalue":{"value":{"amount":"+0.89908","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":"Q1871861$0D7E5FA9-7D07-4CB8-BCDF-01BDA568E380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870463a405f6780ac7b84fd55611186843837dbf","datavalue":{"value":{"entity-type":"item","numeric-id":861714,"id":"Q861714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9bf6e4c765f663e00bd4561de768c77555ac2b","datavalue":{"value":{"amount":"+0.88015884","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":"Q1871861$5BCA7DAC-DE9E-4ED3-9B3B-42C66CC242C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da61558870382e758651846caae9dbd4a814d9c6","datavalue":{"value":{"entity-type":"item","numeric-id":4408245,"id":"Q4408245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948366352061840704d43aec78645a29be93b49c","datavalue":{"value":{"amount":"+0.8702401","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":"Q1871861$717DDDD3-1A3E-4D30-8B0F-F89433C284AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5261189c0b14950e4d4227d615a2bd83b74ce266","datavalue":{"value":{"entity-type":"item","numeric-id":1040327,"id":"Q1040327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5ccee3f6a25ad59a7302f12e8550fc97304866","datavalue":{"value":{"amount":"+0.8667299","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":"Q1871861$A63928FA-4987-44B2-89DD-06DF103DE12F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1871861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1871861"}}}}}