{"entities":{"Q2642670":{"pageid":2653413,"ns":120,"title":"Item:Q2642670","lastrevid":50146226,"modified":"2026-01-13T06:44:54Z","type":"item","id":"Q2642670","labels":{"en":{"language":"en","value":"Exploiting interleaving semantics in symbolic state-space generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5180046"}},"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":"Q2642670$57BDC551-2E0E-4E00-93B7-53B513D92B58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d12e00daaa4581c9848b84ef3e1576ea87ddc834","datavalue":{"value":{"text":"Exploiting interleaving semantics in symbolic state-space generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642670$586E817D-9DC1-41DC-A13C-0ED7D3CC2CEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aff6274a42bba1c298dae1990ac948a1ae54c3ef","datavalue":{"value":"1118.68533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642670$F5B58516-853A-4AFD-AD76-96477FC861D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$48795200-FEFB-4F15-9978-EA029E787EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$FE5D8BEC-D523-4A27-9F20-ACC951020D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8bdd97622eebb65f25bf444a0fa9b3274249a52","datavalue":{"value":{"entity-type":"item","numeric-id":1798670,"id":"Q1798670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$7B4E5C5C-7018-422B-B117-024FD0329AF9","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":"Q2642670$A582755E-030A-4F7E-9123-B15C6291D2F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642670$380D7C0F-DFE1-4972-9834-C9E8018C1F71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642670$284AAFD7-19E5-41A6-9EE1-B744CEA9FDF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5309a4db743e20bebfaa01fbf5d31e1ce7080e02","datavalue":{"value":"5180046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642670$48158EDB-D128-445E-A292-46267EA9EC0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6e5b44f9dc7b57c76717ea3d7d374645f4642af","datavalue":{"value":"Symbolic state-space exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642670$C32877DE-F785-4979-8422-EE03E3CCB599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d51293280faf44e178b3642329b2156fea708d17","datavalue":{"value":"Interleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642670$B7CEFB92-6A1A-4E6D-8CDF-CCCCB41EDC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7db2a0738a26bc84a9705c3d0812f6cedb092419","datavalue":{"value":"Decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642670$1B2677AB-9D9B-4DB0-B59A-046ECEABC81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d340d862a7924b60569715773d28927b4bafd663","datavalue":{"value":"Kronecker algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642670$9C713D66-4B87-4396-A5B3-726F591EF30E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$DFF6CA26-A705-4ABA-BA41-AD7855241A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$E77A201C-B8C0-496E-8115-2B3EE0786439","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":"Q2642670$06E06C3F-C4F2-4CCF-BF5E-8B1EDD03F5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0750b58cff41e1eb671e27cb1f36ed3aa680fc2","datavalue":{"value":{"entity-type":"item","numeric-id":16284,"id":"Q16284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$EDC1EF06-562E-4A25-9E14-E445735DF3C8","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":"Q2642670$9987833F-6387-44D7-8B3C-CE2E00E333AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e69bf4015ca3ae5ba0bf52458b493c4ab91b4598","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0033-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642670$A481DC79-4A5E-4324-8B03-EB79637CCEAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05db35168f7ff543c43aa6dd3aee930ee184da42","datavalue":{"value":"W2039212262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642670$E834D851-FE54-454E-A967-4CB2BF8A1663","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":"Q2642670$E7C4D689-2C39-4A20-B33E-F8D552034604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4df0611d5011bbaff225e9496977119371204d4","datavalue":{"value":{"entity-type":"item","numeric-id":5897056,"id":"Q5897056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$FDC9E913-954E-4E47-A03A-2BB798DFFDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$A15EA886-731B-4434-9919-981DBA26BFC3","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":"Q2642670$FE334850-E291-4BF2-8420-37626135B705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e5983cf7ecde5cdad1dca75ee57ef4c9748ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2766555,"id":"Q2766555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$6AA0EBB3-B784-4B0D-9601-21A3D8C4A0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ffa9af707a9034e194333cec43fea04e458a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$4A32AE93-ED08-4B85-BA3A-25B6A926A0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47650ce464fe5007b4b38448155ea201ded8748","datavalue":{"value":{"entity-type":"item","numeric-id":4417940,"id":"Q4417940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$215EC654-FBF8-4164-B33D-60EE5ADC0A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd2c5cd71f06f0d453a4c1620e42585bdbf9c72","datavalue":{"value":{"entity-type":"item","numeric-id":5900669,"id":"Q5900669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$B14DFFA5-70DB-4FBF-AE5F-0E14263C3F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e51a6080cbba248788ac8ffc6a2d635dfd050a6","datavalue":{"value":{"entity-type":"item","numeric-id":4427908,"id":"Q4427908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$BD3F68D0-EECF-4BAE-BC44-549295E7410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385005c2f8704988fb9b3be66b53de0ef2f22965","datavalue":{"value":{"entity-type":"item","numeric-id":4272467,"id":"Q4272467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$D889ACB5-F157-40A2-A17D-C513642D320F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$75AF2FED-194B-4481-A6A9-453D7398C60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adae43984d2bc472e2d9665f83bac219a9e0279f","datavalue":{"value":{"entity-type":"item","numeric-id":3956422,"id":"Q3956422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$2E0753F3-F6B4-443B-B73A-DC04AE8CBDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cee90474b78daa965296a5a5ef1608c7ec1f13","datavalue":{"value":{"entity-type":"item","numeric-id":3158510,"id":"Q3158510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$1ABFD481-ECE2-4B21-9F88-128AA81883BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50fda6e2ebecf8554157d944d45d52de45a5b70","datavalue":{"value":{"entity-type":"item","numeric-id":4791838,"id":"Q4791838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$D08A99D6-5226-4E2F-85D6-FDF1BF44025E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$2BC122D6-4717-4ACF-B54E-4BD72D4AB95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f568d70c4d73f695a2c9cae93b33447dfb81c6","datavalue":{"value":{"entity-type":"item","numeric-id":4946958,"id":"Q4946958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$843E6CE1-E8BC-4EA5-BD8F-B2667B62AE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83259e578154537ff65896b57deb09fbea84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642670$34556ECE-999F-4E37-A1C2-693A0EC44770","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5df5b1ec07faf00b5183873c46142783e35db05b","datavalue":{"value":"10.1007/S10703-006-0033-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642670$4D598229-A138-476C-9D10-0EE702DF0C72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef618344d3a9613d63552d649db4feadbfd239","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8846b8b813f6a5deaeda00593c2cee569403819","datavalue":{"value":{"amount":"+0.8199342489242554","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":"Q2642670$AC8A0E9C-8433-4A60-B9FC-4D3AFF87A191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b0093b2d20b1a12f28e95a14d7825e6b930755","datavalue":{"value":{"entity-type":"item","numeric-id":4417940,"id":"Q4417940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ce16f19da710fb319b7d2c69a1651e93847f73","datavalue":{"value":{"amount":"+0.8069062232971191","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":"Q2642670$D00D6C85-1206-41F9-A412-FE8456E67076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8022e5e7a743967af3bdfd7ecf4eb4935a192ff","datavalue":{"value":{"entity-type":"item","numeric-id":3599106,"id":"Q3599106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9475447cb05dc1d7dbfa480d6c26cbd3d60e1932","datavalue":{"value":{"amount":"+0.7908191680908203","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":"Q2642670$58195210-EA3A-47C1-86DA-4DEC8728F3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad735f8a1df465af6182e025d488b09f084311e","datavalue":{"value":{"entity-type":"item","numeric-id":4255567,"id":"Q4255567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebdc71820b58441b4ecac86416b8be904c174a6","datavalue":{"value":{"amount":"+0.7797859311103821","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":"Q2642670$E7949E37-66B5-475A-BB38-7A1121C945B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333f6ea9680f28b16cce3ceb83f288bfb7fd5b67","datavalue":{"value":{"amount":"+0.7621721625328064","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":"Q2642670$3B9DC9F7-7C84-492A-8A0D-F12F3B11CD0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642670"}}}}}