{"entities":{"Q5039518":{"pageid":7069095,"ns":120,"title":"Item:Q5039518","lastrevid":56749638,"modified":"2026-03-23T11:42:46Z","type":"item","id":"Q5039518","labels":{"en":{"language":"en","value":"Partial order reduction for deep bug finding in synchronous hardware"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600829"}},"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":"Q5039518$4F4B9DE4-0B10-4EBD-8EFF-F32CB0A7C980","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07a061ce7cd6c3e97c82d44fc3f42393ddfcbce4","datavalue":{"value":{"text":"Partial Order Reduction for Deep Bug Finding in Synchronous Hardware","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039518$60EEB223-4884-4C2B-848D-1591A1C2BE9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caf1af03f0ff1cc218d9d24c3bc3a9a0c4f21eb9","datavalue":{"value":"10.1007/978-3-030-45190-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039518$322295BD-F5D7-4C4C-B667-D12DB776ADFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4f6ec7d4f100918fa8e18eefd60720c243c468","datavalue":{"value":{"entity-type":"item","numeric-id":2044194,"id":"Q2044194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$7E8A6B19-A7D3-4525-890F-CE09056AD7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$1BFC6D56-51A8-4E25-BD45-45EC0257CDC2","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":"Q5039518$AA9B5C3D-8B9C-47AB-B7FF-273A4F278F85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039518$0508E8FB-61D4-45AA-84BA-8953AA7C2084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039518$9A77BC53-AC2D-4942-BA77-F74AE3F3510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039518$BA133EBF-12EF-4568-B102-D3E68C312DD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e72ace4d6b2bf23dc1495531f2522f3efedb69ba","datavalue":{"value":"7600829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039518$F64B8ACB-2BAE-44AF-9F96-74E52C78844C","rank":"normal"}],"P1463":[{"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":"Q5039518$1D48C147-B877-478E-89C2-7180C8CA6E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$02911191-A08D-47C5-BBB6-DA3A8B842768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$2627D808-AA5C-417D-A7D6-ADAA57A08A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$577E939D-68E0-4E68-877C-2854DFBA17D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$C860ECDB-A99E-45F6-B8D8-D3D3E8AFA062","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":"Q5039518$5E87FC12-C4A5-40AC-87B2-9138E50EFAB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f45962f51c402ae4ed43c16a916104f6d0504edf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45190-5_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039518$5DE121EA-0CD6-4535-86C0-BEF58E29206E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"035ae1726399bf9261531b954c2ab6ef1410be23","datavalue":{"value":"W3017135011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039518$16D6251C-4DB0-402A-A8B6-0A3549106F3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3930592560f286e8fc0a0ed609e31c9f91b10f16","datavalue":{"value":{"entity-type":"item","numeric-id":5493237,"id":"Q5493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$AD6C6924-BA70-4583-BE4E-DBF0FC773CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f2e6d61a72eb2d875bca523a675f537b56f596","datavalue":{"value":{"entity-type":"item","numeric-id":3512509,"id":"Q3512509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$85CC5E86-ABFE-427C-92C2-1A6CC0035A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$7065D7B5-0B28-47BE-8EA5-CF99539D8FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$77DF99C4-62C2-452E-8FDD-D294B1C1B15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$A8DCCF3D-DF51-42AA-8364-03FED7FB4CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa77b3485d49d26a209dc95589433f4b19d6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$861A6CF2-2311-4DC1-97B6-308EB135AF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$303A4DAF-FC76-46A5-9440-F89E0E872920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$4162BE39-FCD5-4064-9878-EE0267E678A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7666caaf40930cce89faf4750669cdb861b569e","datavalue":{"value":{"entity-type":"item","numeric-id":1566919,"id":"Q1566919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$671C9853-3579-4BC6-B1FB-59C1DDC04C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025603170ae7d76412d0530e5903dffb5b6ad1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1276242,"id":"Q1276242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$8409AD45-984B-47AA-8D0E-7183215686A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b3ec2ebad61e0cf6b1df8ac8c200c146db0252","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$CB129495-1E28-4F96-BF9D-BB5FA6A3F9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fcc34fa306d394c8abcc877cfde68c3a20ea339","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039518$20D1D25D-8305-4A5C-8059-6000839E2807","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":"Q5039518$40F945AC-5508-4128-9B9B-4DDFD32DF712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13eef1da412afceae7bc3475926ad65b7a5f8290","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8a2def5f638ac591ac4ad610a3a9eba0260d65","datavalue":{"value":{"amount":"+0.792493999004364","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":"Q5039518$B0D68FD2-F9ED-411E-BD8E-D22D75D76FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b8ed8c59be268f5eaa998d9fa82350253f8f53","datavalue":{"value":{"amount":"+0.7570798397064209","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":"Q5039518$E2B6E37F-0F9A-4E6C-9628-8341AC62C93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c693935527fafb22328f44f307e4e22640f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5756735,"id":"Q5756735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2252590df4d97c27706bcafa7cc2811889f2d58c","datavalue":{"value":{"amount":"+0.7526856660842896","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":"Q5039518$9DD41851-BE71-46AF-AE24-E522CC0A27A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d93f657d438dafc4a4f3a9d90e723ef958bc5f","datavalue":{"value":{"amount":"+0.749800980091095","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":"Q5039518$68DA181F-5ED9-498A-B0E1-76DC70F3FE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bba56a2071bed0f5315f2e0589c5974a920770e","datavalue":{"value":{"amount":"+0.7477401494979858","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":"Q5039518$E1872A2E-E27C-4F01-A24F-2DF405BB5656","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":"Q5039518$251B87AB-B527-4CD5-A585-E1D53542E136","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039518"}}}}}