{"entities":{"Q1702892":{"pageid":1713633,"ns":120,"title":"Item:Q1702892","lastrevid":73808283,"modified":"2026-04-14T17:19:37Z","type":"item","id":"Q1702892","labels":{"en":{"language":"en","value":"Modular deductive verification of multiprocessor hardware designs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845628"}},"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":"Q1702892$071B7520-B7E0-482C-9439-D2532E23663F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15504df9eb32377d31ef4afb9bdee01d2d793244","datavalue":{"value":{"text":"Modular deductive verification of multiprocessor hardware designs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702892$9FD26728-5AA4-41B4-AC82-281C56D0C3AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5daf6a29b092fba46d37d6df1f0407194ed057a4","datavalue":{"value":"1381.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702892$D2A0E5B6-7A00-448B-BDC6-5C026ED5AB40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a637df03f8900b14048e0abe63cdfc692e646245","datavalue":{"value":"10.1007/978-3-319-21668-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702892$022278CD-6556-43B3-96DE-8B4E51BB4ED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f4bec25da676a03d483fecdbe80178de5a4394","datavalue":{"value":{"entity-type":"item","numeric-id":1702889,"id":"Q1702889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702892$F446BDBB-704C-44AF-B689-5BF276E77851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d957a3f31f9610e79e212a1ae2ae0004027dee9c","datavalue":{"value":{"entity-type":"item","numeric-id":1702890,"id":"Q1702890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702892$449F01C0-2116-4D5B-8143-1F199350196F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3868d1368341d15a99633a658212fd448996167","datavalue":{"value":{"entity-type":"item","numeric-id":673125,"id":"Q673125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702892$F65D815A-0C5F-4F22-92E5-4D66CAE6C010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b3370521c71fa23e5ae79014846232790c2e15","datavalue":{"value":{"entity-type":"item","numeric-id":1702891,"id":"Q1702891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702892$97995E23-10C1-439B-84E0-C30E4A103624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702892$631207B4-083C-4BFE-A325-FBE51C1710C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702892$C2453CA8-FC5A-4D86-AADF-101589C433EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702892$A711360D-08C6-4D54-9D8B-04D1135087EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f1d776c77ef5b3d4d202db7d3caf74a0f6c5433","datavalue":{"value":"6845628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702892$7BD0C17C-AE2C-4E07-B93B-2BE748BD525E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702892$EE42603A-EE83-42F4-935E-210C2DEAE794","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":"Q1702892$2ED42EF9-255F-4C4A-8882-7FBA63FCEC38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45a1bdbbfc24280221496154297612c8aeb7d368","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21668-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702892$EBB80579-6F6F-4D7C-A7AB-39ED49444596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03db85d81150d8b61bf614ca860cc871a3c70e8a","datavalue":{"value":"W1147832988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702892$423957D3-7A97-4888-99AA-146FD5B2B25B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240a75bc871de32439f8143b5e5d40987e78159a","datavalue":{"value":{"entity-type":"item","numeric-id":481104,"id":"Q481104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fa683b91060ba361bbcf4fd6fa1f91115e14c2","datavalue":{"value":{"amount":"+0.7790140509605408","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":"Q1702892$B6C9ACAB-44AA-4D85-8C44-E74B9A1BB2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009ffe0b8825f9515ffa02187a661a990f5a0c02","datavalue":{"value":{"entity-type":"item","numeric-id":4037395,"id":"Q4037395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602c8709b32d6ea31b2d0f9713ac2e255504054e","datavalue":{"value":{"amount":"+0.7773414850234985","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":"Q1702892$A4D924BF-50AA-4C29-8ACD-3D442B895F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0975799ea3d65375943392517d8861f155fea4f","datavalue":{"value":{"entity-type":"item","numeric-id":5953449,"id":"Q5953449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d3ede480ddd45c6c40688058a28314d973338f","datavalue":{"value":{"amount":"+0.7751461863517761","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":"Q1702892$7C232CCC-CBF1-4EEA-85C1-2E760A89513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69176cbbc54dd7ef46e8eb8e2624dbcf54a8297b","datavalue":{"value":{"entity-type":"item","numeric-id":4037098,"id":"Q4037098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336c453fd06c95d93ba39c9fe9db1ce7718550bf","datavalue":{"value":{"amount":"+0.7710918188095093","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":"Q1702892$71AB79C6-A354-45CE-BAD5-16618A9FCC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb57dac5e9733bbbaad6a936013c102dabfd2939","datavalue":{"value":{"entity-type":"item","numeric-id":4419604,"id":"Q4419604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1629eea86c6cb16482fdc3e25c5207066209556d","datavalue":{"value":{"amount":"+0.765083372592926","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":"Q1702892$232382EA-E908-4664-8C3C-9F360B0A2E41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular deductive verification of multiprocessor hardware designs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_deductive_verification_of_multiprocessor_hardware_designs"}}}}}