{"entities":{"Q6091409":{"pageid":13225716,"ns":120,"title":"Item:Q6091409","lastrevid":57490053,"modified":"2026-03-31T03:45:30Z","type":"item","id":"Q6091409","labels":{"en":{"language":"en","value":"Optimal time-bounded reachability analysis for concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770662"}},"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":"Q6091409$0C74AC11-9C18-4E1E-B482-6254CDA4AB2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba8276923fe65a59ad7f5173a52a0a2175215945","datavalue":{"value":{"text":"Optimal time-bounded reachability analysis for concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091409$33F3E818-5AD0-4B86-A099-A00F9456259E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abca358e6250f7c8cba2abe031c5b80cb625ac07","datavalue":{"value":"1527.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091409$82AABC23-3A12-41D7-A463-75F376EBE33D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4865e6d7c61b2fce3efb314941f25d0eb4f3d11d","datavalue":{"value":"10.1007/978-3-030-17465-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091409$0A4BEB6E-1DA1-4F9D-851F-AC29F93AABCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d0fccbd5e47b30db965d4fec8289a09fde46e47","datavalue":{"value":{"entity-type":"item","numeric-id":3303929,"id":"Q3303929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091409$328EC5E9-BFA1-4D27-8BCC-3B63F7B408BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e12efb8418beeaafe1a248a2d22adb09265d591a","datavalue":{"value":{"entity-type":"item","numeric-id":2287107,"id":"Q2287107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091409$FF77FA35-62CC-4783-B99E-C588A6F1A3A7","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":"Q6091409$53900210-B11A-4CF6-8BE9-3A89530197FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091409$0182474C-7CC4-4DB4-99A8-B1260947CE4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091409$5C98019B-4C3D-45E4-BAA8-82839A88F8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091409$2E722FAC-67D8-4BDC-9192-03465D8DC4B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1225e44492f40499be9d69bd20f3fde451eb133a","datavalue":{"value":"7770662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091409$35FC9765-17DB-499C-93B5-F28722BD13A5","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":"Q6091409$44633A0F-4863-4482-A60B-EA99E80ADD25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de42e187a75d78e147092f62a19d0864d639a382","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17465-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091409$DA621B9A-47F7-4955-93FA-496E5EB6936C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33cc03ae60e19f66f22198928553cb060bbf0205","datavalue":{"value":"W2926242892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091409$EA51C098-A2DC-42FA-A1FC-2D0835AF1A67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf4aa0914c671b7240979ebb3a8f077d623b3ee","datavalue":{"value":{"entity-type":"item","numeric-id":4603566,"id":"Q4603566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219874ecd8464a6b30956210901ff06e5c99b09f","datavalue":{"value":{"amount":"+0.9040133","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":"Q6091409$2D613CF7-F6EA-4CF6-8F03-C6D44C006B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78fd60772cb96d52f18c2131d51fcf195bab38e9","datavalue":{"value":{"entity-type":"item","numeric-id":5897080,"id":"Q5897080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657115e2cf0e28fba55c8f4d1e90582d56541886","datavalue":{"value":{"amount":"+0.90325177","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":"Q6091409$0CAA3860-FF0D-4502-97DA-AF94022973F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b57d65c8ae589b4f051002489c47f7471dc6285","datavalue":{"value":{"entity-type":"item","numeric-id":5280543,"id":"Q5280543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ddb694b4425c7736cbbb59b12ef0fc14168ec4","datavalue":{"value":{"amount":"+0.90274423","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":"Q6091409$2CCA9234-4308-41D6-99B5-96E5CB8E90FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fe322c1d5feae28ff0cc4745c931495950b93b","datavalue":{"value":{"entity-type":"item","numeric-id":5179060,"id":"Q5179060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531502db36fcf8aabc08af53b891f715fa512ee8","datavalue":{"value":{"amount":"+0.8919807","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":"Q6091409$8726EBF7-2B56-426E-B8A6-9923E2A81D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16897a0150a94dd9831aeb2548121e1a4e5378ba","datavalue":{"value":{"entity-type":"item","numeric-id":4649388,"id":"Q4649388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba49e88ead0b3be0ea42e2878089259edb1e39bc","datavalue":{"value":{"amount":"+0.8891154","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":"Q6091409$FF9FD3E6-0FC7-475F-92AB-BCF3E4C71362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffd32b795a4f6c9cbef040acd54d7bddcd14fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1683438,"id":"Q1683438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4275dc07822c2e64dec08c825c101d4156baeeac","datavalue":{"value":{"amount":"+0.8856255","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":"Q6091409$0EF1FB80-EC3F-4DFE-B69A-17D737E3E42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7225ed373627b953248542332e60e825bd5ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1935781,"id":"Q1935781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3483a46e552b64cde2011c82cff0060b56a3e229","datavalue":{"value":{"amount":"+0.88525534","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":"Q6091409$FEE9B375-CE65-4FAF-9D44-4130491CCF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61130eafb682de55686da180e87aaba93ef1332f","datavalue":{"value":{"entity-type":"item","numeric-id":444476,"id":"Q444476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa01f20bef9b887148375a5adf26c73c312d9990","datavalue":{"value":{"amount":"+0.88516474","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":"Q6091409$A08803D1-2628-4567-9A45-393C53035B49","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":"Q6091409$E5819788-915B-43EA-9183-F703670C881A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091409"}}}}}