{"entities":{"Q1566919":{"pageid":1577659,"ns":120,"title":"Item:Q1566919","lastrevid":74059842,"modified":"2026-04-14T18:13:17Z","type":"item","id":"Q1566919","labels":{"en":{"language":"en","value":"A methodology for hardware verification using compositional model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1454821"}},"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":"Q1566919$99854428-E1BD-4794-8177-399202E9CCDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d794f39f957865d5f74ea0111cb84f3364abc25f","datavalue":{"value":{"text":"A methodology for hardware verification using compositional model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1566919$F368F502-C506-41A7-AFEC-C8C2EB608020","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5615e461fa71e70e4d2378c8f3bfb5125c711173","datavalue":{"value":"0954.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566919$4E3D1BF2-4E62-43C0-9AAB-547E5E4DBF8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88b01e8fe0e1d2eeed0732c850c8bf7eee782203","datavalue":{"value":"10.1016/S0167-6423(99)00030-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566919$28394A9C-D034-4588-BC48-F74A06ED5368","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1566919$7B923B68-8E95-4DEB-A4C2-5E1745FB69DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1566919$D9D08897-C491-4F63-BE49-EC1B8E7C04B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-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":"Q1566919$BB624FEF-9031-4326-A00A-4AFF3746CE8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566919$FBF67613-AE16-4AA2-BCFC-2683D9C32549","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"608446ca3cada2d4e2808587e022011227328cdf","datavalue":{"value":"1454821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566919$AFCF01F6-4336-4C96-B032-634AFAC69FF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1566919$0F53F319-03DE-4B85-B759-1DA17F668EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0338aa39ed54048575ed4f5e18b34ff593614c","datavalue":{"value":"compositional model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1566919$3A916F2F-18D4-437A-B48B-1FA833339B33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1566919$0A0E3619-91BB-4124-9103-E3B10C98971B","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":"Q1566919$FC6E3677-A8EB-4BA3-B05D-C6459D215CA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"549b8b61669075dba0a98a6cb5226b36c79db6a4","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(99)00030-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1566919$E9EFF49D-5762-4552-AB2F-0F8E19E654B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e42cfdf4c8a94c13e87d080b55bc32f0aebd7cc0","datavalue":{"value":"W2054198444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566919$430A1B8F-956A-475C-AAFA-D69CCD28B0D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40da4572ce8bda8c360880f7bd68bb875bec0f38","datavalue":{"value":{"entity-type":"item","numeric-id":3522907,"id":"Q3522907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373413c7a2367dbc0687f2fee2cbe24decd2a72c","datavalue":{"value":{"amount":"+0.92797136","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":"Q1566919$E596AA3E-EFE9-44C5-AF89-F1D9EC3F8A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71590dc716ea2530298ec4538873a993ee87d5ef","datavalue":{"value":{"amount":"+0.9253832","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":"Q1566919$56167366-34CB-4481-90E4-B0F4A8F5A579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7005346e6dc9553c0a01e6f5347a22ac9ad3df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4551174,"id":"Q4551174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fce4927eecf46ccae7053763ddaa5972d25141","datavalue":{"value":{"amount":"+0.9223697","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":"Q1566919$A2BF7A7C-B3F3-4D2E-ADEB-397E435CBE27","rank":"normal"},{"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":"b21792d732f07c320a5bb86defdd88d33c30f65f","datavalue":{"value":{"amount":"+0.9122093","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":"Q1566919$3337CA23-3DF5-4113-BB40-A1EA07B41F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000d723ca4d996a9bcf987c2023d6bb5924a9922","datavalue":{"value":{"amount":"+0.9053903","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":"Q1566919$66BFAFDD-7331-40FD-AAB9-66925E2627AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3beb1747c92faad7d395ac335eb5397a4cac09f2","datavalue":{"value":{"entity-type":"item","numeric-id":832275,"id":"Q832275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bfef21faa695fa52d83da01f2641409a263522","datavalue":{"value":{"amount":"+0.9026351","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":"Q1566919$D3A33800-BC04-43F2-8935-0CF6F4A40A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9975d8b900b3f9f5df1f83a9a6194ca8792c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3540064,"id":"Q3540064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728997f15b6832cbb2986fe76f9a996dbbc3cac1","datavalue":{"value":{"amount":"+0.89387643","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":"Q1566919$DECC88B9-60BD-48D8-82F7-E83946E64333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca5cc289be4a8a1a484d5edcdbaeb09301b7f64","datavalue":{"value":{"entity-type":"item","numeric-id":4302838,"id":"Q4302838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef57b6f78453277cf498e0b553b08cca42867bf7","datavalue":{"value":{"amount":"+0.89322305","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":"Q1566919$C624D5ED-07F1-40F0-A0EF-7B4002600435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a510a1b81b5c3e30178a2621dd0693268aa483a","datavalue":{"value":{"entity-type":"item","numeric-id":2026785,"id":"Q2026785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263dff652a40f06d009bdc0d1332f90c4060f9f4","datavalue":{"value":{"amount":"+0.89130414","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":"Q1566919$1018B53E-EED4-4060-8A49-7EBCB5BEEC30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A methodology for hardware verification using compositional model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_methodology_for_hardware_verification_using_compositional_model_checking"}}}}}