{"entities":{"Q3599106":{"pageid":5629012,"ns":120,"title":"Item:Q3599106","lastrevid":50558483,"modified":"2026-01-14T09:44:07Z","type":"item","id":"Q3599106","labels":{"en":{"language":"en","value":"Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502020"}},"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":"Q3599106$43ECD76B-BC2D-411C-8D2C-2504F53F0D28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4671aa28b145df675c97fb88750d34795f7cbcc","datavalue":{"value":{"text":"Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3599106$3541F45D-2202-455F-9FDB-E7D9B6B957FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04ee91276bb745e6bfe1bf25994def5def3d1a75","datavalue":{"value":"1206.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599106$29E7684B-59BA-4843-81BD-A93C7BC201D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9cb8bd07fedab91622c939a322a5d801a6776c2","datavalue":{"value":"10.1007/978-3-540-95891-8_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599106$E3B40EBA-DC4E-487B-AB07-DD1855149EC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea77398971d24ca9e1d27c4daeb3c9f049f1bf74","datavalue":{"value":{"entity-type":"item","numeric-id":3599105,"id":"Q3599105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599106$CC942105-311E-4715-B28F-30E9AFA29C2F","rank":"normal"},{"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":"Q3599106$262D9555-C3B9-4724-91F5-F091C0B3C7AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599106$92AE2FCC-5C56-435A-8924-1C05238E054B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8252c9bc11ad46ff65a647eb67c4c4f635569088","datavalue":{"value":{"time":"+2009-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3599106$741A8A13-2898-4979-B00E-A3F282824F42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599106$53759CF2-5824-4704-BA1B-9169B60C7330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b81d09a6f0d60dc43850e717c71466553eb4b8c4","datavalue":{"value":"5502020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599106$7EA419B8-8E6D-4140-A384-C6902184C86A","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":"Q3599106$F21F637E-94CC-457F-A76D-DCBFCD3E477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b162e2daa36ead60b6c1867f2f7a0d97d3f221c7","datavalue":{"value":{"entity-type":"item","numeric-id":15719,"id":"Q15719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599106$2628486B-4ECA-4CC9-9753-D548C9B53774","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":"Q3599106$E0DA8E52-E57D-47EA-AED0-8D84E0AFF5F1","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":"Q3599106$EA18E69F-EB1A-4E5E-9D06-3963898F9CBD","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":"Q3599106$E0B81089-FE45-49F9-8115-C2F5EF7F956F","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":"Q3599106$6E6DAE68-0D0A-443D-B1A9-91B8B74ACB5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da341969dffec6ce2a7df24fdc2d55d80f1e09e9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-95891-8_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q3599106$472138AF-DC97-4868-B0E9-223CDAAC84CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16d1db272b2277b742be5770573930739e4e0a25","datavalue":{"value":"W1553198468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599106$EEA1A7A5-21F4-40A5-A8AE-6DE042A0E8CC","rank":"normal"}],"P223":[{"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":"Q3599106$A73C77CD-D3EB-47D8-9ECC-DD725D2B93A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c896b4044b299c66680bcf8adebfbdfb1fea310d","datavalue":{"value":{"entity-type":"item","numeric-id":5493224,"id":"Q5493224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599106$AA7FD3CC-E22A-4E89-BD77-16C1EAB1987C","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":"Q3599106$9DC9B4BA-40C9-4179-87DA-7C11F8B3BF95","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":"Q3599106$69DAA830-426D-4875-834F-A133CA826918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3abbf7dcb6a10827a1e8f91abda5283c7d7f75d9","datavalue":{"value":{"entity-type":"item","numeric-id":4427906,"id":"Q4427906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599106$1492FFA3-F6AB-4CD5-A307-B937287DD226","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":"a1ebf206d775d25c4898c31832a1ab7252b9f2a8","datavalue":{"value":{"amount":"+0.8608480095863342","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":"Q3599106$A51FBD69-62DB-4CEE-8DDF-BF1516DE3DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28c227690d7c2a865a0fac6844818642255ba66","datavalue":{"value":{"entity-type":"item","numeric-id":2766555,"id":"Q2766555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebe9a1139a23d1e76b738adabf07ca6b29d275c","datavalue":{"value":{"amount":"+0.8340973854064941","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":"Q3599106$EB01D4BC-D314-45B6-A161-BAFA0C1E9869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c81c9b99cb0f012307d6c6cec567ade6eb3174","datavalue":{"value":{"entity-type":"item","numeric-id":2642670,"id":"Q2642670"},"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":"Q3599106$AD21EFE2-9C43-4FF4-9363-E874A48A1431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85dfcc116d1a9e05369a87275933300f5ccc59","datavalue":{"value":{"entity-type":"item","numeric-id":5479174,"id":"Q5479174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9669a0978be87423acca6e3109690fe468775330","datavalue":{"value":{"amount":"+0.7857946157455444","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":"Q3599106$F5F6DA2D-B167-4DF9-A30A-15D004C1E878","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":"eb2b317baa8aa5b22f49c9bc16ef96339b0f0d72","datavalue":{"value":{"amount":"+0.7672327160835266","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":"Q3599106$5478713D-7859-4013-9163-A7383B9E9A01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3599106","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3599106"}}}}}