{"entities":{"Q5943258":{"pageid":8120060,"ns":120,"title":"Item:Q5943258","lastrevid":47666452,"modified":"2026-01-02T09:21:59Z","type":"item","id":"Q5943258","labels":{"en":{"language":"en","value":"Partial-order reduction in symbolic state-space exploration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642610"}},"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":"Q5943258$B7289CB3-63D0-4E69-B74D-812734503A67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70f733730acb74252b69e931611ab81fd2f444d0","datavalue":{"value":{"text":"Partial-order reduction in symbolic state-space exploration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5943258$26294C2B-6EA6-4968-8BFD-BC07A0A93161","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcc9fe85bccc17e1fdfd73a9efb124a232062c42","datavalue":{"value":"1001.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943258$6F9BF6F8-A58D-477D-AF11-D9817428C209","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bb716ddf95d31f447098a2c2fc39c63deb0e19a","datavalue":{"value":"10.1023/A:1008767206905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943258$26206B4E-728D-4B4C-9E90-AE7416F5036D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943258$6B78A382-B9A5-405B-87D3-40FD4955222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c287079e407405d0883d696b618e0b7ff853eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1020551,"id":"Q1020551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943258$A312523D-3D44-4D74-BDAF-E43EB6DF23F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943258$2CC0DACC-B45F-4322-9C0B-23FEC634B869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943258$A00849D4-4216-46EA-969E-E38B3D914B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1680139912b893dbf24793a201b57f8a0fbf4194","datavalue":{"value":{"entity-type":"item","numeric-id":765512,"id":"Q765512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943258$990DD71A-71A6-4231-BB04-2E0A905AF1A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943258$9AC217B3-28CF-4E5F-BB7F-D28167B7B8CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65236f11c6868324c9cf523182acd6ee7e837356","datavalue":{"value":{"time":"+2001-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5943258$B7E9D121-4B25-4074-A762-61634DD707AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943258$46CCEFA5-53D1-4E96-88E2-66522EB15ADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09383845ae64e17dee6a5d0b573e32f9e6eed1d3","datavalue":{"value":"1642610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943258$255B834A-C5FF-4E18-AE6F-21D7B32526E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c57ad59cf3d0781c61ff6711d6e05601a6f7e0","datavalue":{"value":"state-space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943258$B3BF51F0-724B-443E-8FBE-271B6ABDFC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943258$250A9018-2C45-4FA7-82AB-3BB8FDC61839","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":"Q5943258$86029E4A-F167-4036-86DF-E8C11EF75872","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8209f8d0ebd23283f59428fd9154105208258dd","datavalue":{"value":{"amount":"+0.8330325484275818","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":"Q5943258$4B476884-376E-4B64-A416-B652B1976284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e41e11b55706db3aa67de98ac1c80e47db2dd1","datavalue":{"value":{"entity-type":"item","numeric-id":453518,"id":"Q453518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4534666a70502e1d9b3b147b81a5f3db7df846","datavalue":{"value":{"amount":"+0.8194458484649658","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":"Q5943258$0ADFA02B-EB57-4056-9605-3A70E5BF6623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895049d87edac0938276f9617f4219a162595a93","datavalue":{"value":{"amount":"+0.8144073486328125","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":"Q5943258$1B4D0983-09D0-4280-80B3-CF051DBEC9CC","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":"d2398ba4830bd80fe67b183dc6e1c45d0ebd273f","datavalue":{"value":{"amount":"+0.8060802817344666","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":"Q5943258$C336D821-D157-43AB-8A58-D781E794DB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec62f1d65bad7bfc2e5bae1b8aed75f73306be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0bfa5ee6bbf896f8720f93cc5cdb1d44849f6f","datavalue":{"value":{"amount":"+0.802418053150177","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":"Q5943258$673BBC98-932E-4A0D-857B-9B10EE058E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5943258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5943258"}}}}}