{"entities":{"Q3000665":{"pageid":3011389,"ns":120,"title":"Item:Q3000665","lastrevid":45232093,"modified":"2025-12-03T14:10:03Z","type":"item","id":"Q3000665","labels":{"en":{"language":"en","value":"Boosting Lazy Abstraction for SystemC with Partial Order Reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897420"}},"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":"Q3000665$CA92B02F-7F38-4515-A745-3C33F40DC1DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50b2c95856f0cc4308a241e7fb1d09e7f1eee5de","datavalue":{"value":{"text":"Boosting Lazy Abstraction for SystemC with Partial Order Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000665$391969EF-7487-468D-9D37-55688CACC224","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"502c9f305a246e0841bf35382bc99a8719671262","datavalue":{"value":"1316.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000665$61BD64CC-01FE-4536-B119-3926D380D546","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"210bc0fba0c38b29ccda7a65fb1ef898af811b54","datavalue":{"value":"10.1007/978-3-642-19835-9_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000665$43A97A71-5007-4E65-A7AF-37F753309686","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$4A756A09-21BA-4CF3-8956-D245110F9482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8a0b2c2ea0a639677f07e69a214078be202224a","datavalue":{"value":{"entity-type":"item","numeric-id":2904613,"id":"Q2904613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$571F9E17-8D3B-4215-A145-F394616D99D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$6710EE02-6ECA-4FC5-93E0-92FC4E344CB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$BFA8BBEB-720A-488A-B458-7539A2DD38A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000665$5B0C7A9B-CDCF-4B80-B474-D9A0CA00E07B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000665$779ABD0F-8BA4-49D3-BAE9-BE478EFEAB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000665$473DFBE8-4EB3-4A1D-9C87-87E7AD34DEAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea315e29a25716c908a153f4497b35dfac979561","datavalue":{"value":"5897420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000665$7C3E408D-D18B-4AB0-9767-13997780537F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9023a7d9bedf9319c92865396e1981b91cb8a949","datavalue":{"value":"Q62041214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000665$38DBF7DD-AFD9-42D1-9C70-6A5E5A7EED23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6120f2b75e3b962f422b7f4da948411de439246a","datavalue":{"value":{"entity-type":"item","numeric-id":19824,"id":"Q19824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$836D348E-E3CE-41ED-B5E6-CA72F3612C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31cdf0f4083f5870ed5be520dd72b1b74e7be3cf","datavalue":{"value":{"entity-type":"item","numeric-id":21934,"id":"Q21934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$B028765D-2E0A-4B14-8320-9DA9597E719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$BC3AE43B-3D4A-478F-83E4-B416318BB3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$BF17E388-4A00-4B47-8A5D-6BF64B8A6C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$2CDFB508-F9B2-4DA4-99A0-78CB4AEB5979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$23BEA22B-3DB7-4889-9C35-224AE296DE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f98c4b564db6ae968690eb76e4f4bd2b5bc5739","datavalue":{"value":{"entity-type":"item","numeric-id":19825,"id":"Q19825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$1F6D28E8-2BDD-4383-BAE2-E679CE40FD5D","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":"Q3000665$748E8908-2998-4EFF-920B-3D189A459476","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18ae7a35c8e556f103330ff0fc2d0a4d9af3f1dc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000665$A8ECE614-608F-4A67-90DC-ADA2D50F4AAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd35cdb944b37b6dbad885afe099261447746a59","datavalue":{"value":"W1913652065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000665$D5FD5D4E-8794-4CB5-97A5-0EC5C885BFA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d907737c66d08b95175bf8a8b72f2c2923800fef","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$ECA2A268-B179-407A-8144-318A0F89A060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$28E5DC3D-70C5-4366-AD4E-087A809AC66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$44A3EF52-B768-40AF-A7CE-EB1FCB521B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$2CAE8601-FE7F-4045-8D17-4A48B620515F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bb24c441844cf5389be078edf3cb2a3e2f8c61","datavalue":{"value":{"entity-type":"item","numeric-id":5756735,"id":"Q5756735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$AA0BEB68-A23E-40CD-B3E4-755DFC7CE790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$D34A2A33-9579-41C4-91D5-0BDE916C990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fa053f93ceee34040b4a938760557f2a3f364a","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000665$18CAD474-2212-4C58-8494-DC35B2E5BBA0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8a5712b6bd0c3df64028551548522f03f01504bf","datavalue":{"value":"conf/tacas/CimattiNR11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000665$02A2866B-61A0-408D-80E0-CA90DAFDD0A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6fe6348262b5ca3d2465b8dcc27390d658f2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3172856,"id":"Q3172856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42613732fe8c408558bda61263a9c7124a49558","datavalue":{"value":{"amount":"+0.8406734","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":"Q3000665$43650609-434E-422C-9F8B-DCCE31FACA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b7a8c6f01dfecc18f5236dd4a0db19a4b41985","datavalue":{"value":{"entity-type":"item","numeric-id":5899075,"id":"Q5899075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8663fcc52292d87dfa203fa60a6f5801669deef9","datavalue":{"value":{"amount":"+0.83498776","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":"Q3000665$B9D12906-2691-4E94-854C-9BB790213BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9312a021d07435c43a4923db960b9c16ffaa086e","datavalue":{"value":{"entity-type":"item","numeric-id":3620428,"id":"Q3620428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8663fcc52292d87dfa203fa60a6f5801669deef9","datavalue":{"value":{"amount":"+0.83498776","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":"Q3000665$341D61F3-1F6C-428B-8719-B4B70A6A6FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f54b3c6fd45593e5bc34266f5df99eb69ce6c3b","datavalue":{"value":{"entity-type":"item","numeric-id":2763698,"id":"Q2763698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d363ccd4aabb35d8fb9f207e65d66e491e2be8f","datavalue":{"value":{"amount":"+0.8298243","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":"Q3000665$01DCB937-BE47-4E33-8C25-03CE3FCF2A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f335eb971219eb39fa29dc8c1009b491ab07b14f","datavalue":{"value":{"entity-type":"item","numeric-id":2873775,"id":"Q2873775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6aff80a8c01870183245c87c56447566efce7b4","datavalue":{"value":{"amount":"+0.8248796","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":"Q3000665$1B54A106-C1C6-4D90-A90E-088E229BCF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84aba27cba4c92055c44281f87fc9d14b69e1a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2845499,"id":"Q2845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64636d4da5035a31022c8a32e155b2924e30eec1","datavalue":{"value":{"amount":"+0.8223888","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":"Q3000665$FAAA5BB9-34CD-46D7-9578-2B12D6F2D9CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000665"}}}}}