{"entities":{"Q5276139":{"pageid":7305714,"ns":120,"title":"Item:Q5276139","lastrevid":41689083,"modified":"2025-05-07T06:15:56Z","type":"item","id":"Q5276139","labels":{"en":{"language":"en","value":"Dynamic partial-order reduction for model checking software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745848"}},"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":"Q5276139$1A921C0E-FFD5-4EA2-B329-A5C867F7E563","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93b8281b29dfbde27c348fd247a05e6b2518471e","datavalue":{"value":{"text":"Dynamic partial-order reduction for model checking software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5276139$44C58C5E-DDB1-47CB-A087-FE9BB22C9A51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce31ec72faaeae72b759abbef22a14846c255481","datavalue":{"value":"1369.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276139$39CEB922-F0D1-4F7C-BA1D-DB6CB8167BB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de495f35d173464ac568ec35404b87cfd579bd88","datavalue":{"value":"10.1145/1040305.1040315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276139$85B3C61D-D2F0-4110-8701-222350553E9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38126dc183098febb961ba3435b28eb28edd09c1","datavalue":{"value":{"entity-type":"item","numeric-id":557791,"id":"Q557791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276139$1761652D-77A7-4884-8893-7CEB6A8402AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"027a8d6ba912dce3a5dee63eade531c0ba4f4a36","datavalue":{"value":{"entity-type":"item","numeric-id":1327382,"id":"Q1327382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276139$BE4F6D80-0641-4ABA-AAB8-6FBE1D7FCE35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79790bc80339a734780920be2bb22fbbfdf8fdc7","datavalue":{"value":{"entity-type":"item","numeric-id":5276127,"id":"Q5276127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276139$A6B6D68B-A0D4-420F-86B2-99BEF693345F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5276139$D9C10A87-B06A-462B-A826-79EAFAC12B3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5bfe766c4265bcecfd9d1188d4b1aea61116fac","datavalue":{"value":"https://escholarship.org/uc/item/47c9f29c","type":"string"},"datatype":"url"},"type":"statement","id":"Q5276139$DF998AC6-08A5-4BF7-80B8-2B2DBD998036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276139$D42683A0-0C6F-416D-BE59-99F05EE4AFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276139$67B779A2-26AF-4357-914E-ECD960E1587F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e4e60567dc2dfb76dcd9ff6188f6383feff319f","datavalue":{"value":"6745848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276139$2157F59C-6282-47EE-9A8E-B1BEFD56B312","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc3d3e3e0085575e218b579cce7695cbe5b28b4","datavalue":{"value":"partial-order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276139$ACD8F8EB-489E-43FB-8F53-6E0984219A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276139$AFE213D2-7029-4DBA-8D77-D02E2A1251E9","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":"Q5276139$A5E029F1-6E27-4EBD-B24B-56538DB63BB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7666e89803e1829b40b6168739eda9d3f1d00d5","datavalue":{"value":"W2169870841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276139$988289BF-F311-4373-A611-EDE147FF7316","rank":"normal"}],"P1643":[{"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":"42597dfbde94c8bfb20e406e11fff9aa31366fbe","datavalue":{"value":{"amount":"+0.9321926","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":"Q5276139$55D230EC-1FE8-4EA8-8C97-4B1E5DE151BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053c83158ff52c82be086916b19ed1c1da73d629","datavalue":{"value":{"entity-type":"item","numeric-id":2961569,"id":"Q2961569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d801d316bbb8af8f29805c937d669b55464cad9c","datavalue":{"value":{"amount":"+0.93094325","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":"Q5276139$C383EA24-8E59-4EAF-A8D3-7E61CCE80493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a222bf16251a8af35aa3c32835e189c02324c310","datavalue":{"value":{"entity-type":"item","numeric-id":1961915,"id":"Q1961915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754c1bae75a550b1960f956cb59b567fd83c0eee","datavalue":{"value":{"amount":"+0.92719096","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":"Q5276139$616A5134-33BF-4065-8A8E-ED06FC810CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffd4ba6cf48f8ac4d638b8da077cd16d550df68","datavalue":{"value":{"entity-type":"item","numeric-id":1125430,"id":"Q1125430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcd307b23c20dee078ab1d19db1a1716b4d7be9","datavalue":{"value":{"amount":"+0.9257302","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":"Q5276139$A20DC9AB-8591-4AA3-BC51-27AA4B61AFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f94f667f06fe07b1d11319249f399c654cd26f","datavalue":{"value":{"entity-type":"item","numeric-id":3605478,"id":"Q3605478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff64519f7f55483b676e9fa8c27bfcbba64e91a","datavalue":{"value":{"amount":"+0.9198628","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":"Q5276139$37E9299E-9730-485C-94F3-09894944B935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050b4a2623d15e751baed2a171c14980626a591a","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc27f1d544521c2bba9f77cf31260f7e834308d5","datavalue":{"value":{"amount":"+0.91643953","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":"Q5276139$F2835A41-70C3-48C3-A346-91BCF0F7C0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5762a53b74688b680bf40c97e00738ab76e574","datavalue":{"value":{"amount":"+0.91048783","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":"Q5276139$5DE345F1-8776-437D-89E8-EB2558DBF19D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5276139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5276139"}}}}}