{"entities":{"Q6044122":{"pageid":13178278,"ns":120,"title":"Item:Q6044122","lastrevid":41212722,"modified":"2025-04-19T21:04:33Z","type":"item","id":"Q6044122","labels":{"en":{"language":"en","value":"On the complexity of verifying concurrent transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686626"}},"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":"Q6044122$05A2F2FB-8134-485D-9E7B-6CA548510BEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9fa049aeaf70a8e12ebf928ac487777fd9a1fcb","datavalue":{"value":{"text":"On the complexity of verifying concurrent transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044122$3288AFF3-8D2D-4FC5-993A-F1DD15309D74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03aa4bb4dc511373c79b5e8f7be2746e4024983f","datavalue":{"value":"1512.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044122$56865244-ED99-4486-A1E6-BCA736001B78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7912307b19b1b2635b7b2e5e9e27f227c3f3618a","datavalue":{"value":"10.1007/3-540-63141-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044122$4BB058BD-AE0A-45B0-A2ED-96DFC0CFF38B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$B7D0AE0C-F342-4125-AF7A-664DCBD3B810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$94197C44-6F0C-4707-9CB2-6F184C1BBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$19F124E9-3FFA-4D1D-8EEF-A6800A0868DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$DEE39DDC-CA2D-489C-8A11-0F6F2EFC1DAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-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":"Q6044122$44E84740-27EC-4EA8-863B-57AAD9F68B05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044122$8C615027-EEF9-490B-8F8A-FA0C36949FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044122$447BD3DA-7B98-4E34-891D-074192AF9EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044122$E591834C-3D4C-4767-A349-8131278FE356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8444f5d6065f6be7af8e7f3a97dd3428e0b0aedf","datavalue":{"value":"7686626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044122$A913072E-BFA4-46DA-9F68-6ED8DAF54EB2","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":"Q6044122$944D35A9-CAC3-4877-BB4F-B0AE5B78A93D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"632d1439e6642e356c803f2ca226bac569dec196","datavalue":{"value":"https://doi.org/10.1007/3-540-63141-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q6044122$F3051B62-3A24-4D9B-A7EB-F0F290C37A49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4645be786a2c21272bb1ef433f7386baf8e08ac","datavalue":{"value":"W1604214744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044122$F9AD7DA0-8497-46DA-B4E1-26D440B3C173","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$BDB7B1CB-7D08-476E-A3C4-59ED599B53EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22be2145e5efed6ec31f404c24158930d3c6034","datavalue":{"value":{"entity-type":"item","numeric-id":4632440,"id":"Q4632440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$60A31B13-8B32-49B0-A30A-8482F9713C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$2F518337-F810-4E6F-BBBD-84A74E1E6D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$38219A69-DF63-495E-B3C0-A9157AA90237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ecdd282e2de3999f752a048cad01ed93859af","datavalue":{"value":{"entity-type":"item","numeric-id":4305671,"id":"Q4305671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$72DBC417-28C8-4E1E-8CC0-4410B8C5148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$B4A40165-9825-403F-87EC-64D963C53A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d33f9808bfb9a012214734d832e6bb32dba1f4","datavalue":{"value":{"entity-type":"item","numeric-id":3975134,"id":"Q3975134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$47EFC2A9-D6CF-4323-ACCC-890A5949C85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca3208fe666af7f6e0c7ef1865fd237bf19d8f3","datavalue":{"value":{"entity-type":"item","numeric-id":4305672,"id":"Q4305672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$2E87E676-EA1E-4FCF-B210-EB8F421581F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$F4AD01C2-4810-4EA4-9E28-6F37B66680CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb00c4a962f9e99ef72cf5ad5e884b86cfb17e25","datavalue":{"value":{"entity-type":"item","numeric-id":3345755,"id":"Q3345755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$827835FB-11E8-4EE2-9564-F48808BABBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$049AB414-4238-403E-AF4E-B67A82BC7EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$1661F4DB-5DE8-4B43-8277-35CF10DB6682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$7678BF54-0072-4A55-909B-8DCE2B353BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044122$D9E04A0F-AD87-4468-8FB3-5CEFEC556899","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c1668a31979a1a0936fd22e00314fa73729bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1854510,"id":"Q1854510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q6044122$29569FBC-F204-40DB-BC3C-68D2A9F3917A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdab3cfc5ccf1c2a3e4814d5ac0d40c2d339527d","datavalue":{"value":{"entity-type":"item","numeric-id":2958531,"id":"Q2958531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3349a0ebb4d04531fba394299a083b5793a781","datavalue":{"value":{"amount":"+0.91720283","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":"Q6044122$997339ED-3B58-454E-B6BE-B14531A19054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df99384cc35d618ead3e73a7511b5f128f6aff49","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e66c4754695ba3a704cbec0e8a1f609ebd111b","datavalue":{"value":{"amount":"+0.91675025","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":"Q6044122$7240D0A8-1666-40AB-8B86-58F01EC8B5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c533a0f606f169c24bca0ef4e3a4ac3bef45b1","datavalue":{"value":{"amount":"+0.91501564","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":"Q6044122$C2723425-EC6E-4D46-BA24-F9538A27DA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef41768a15e6d50a4a7499dde4d3b4a4dc7df8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5392171,"id":"Q5392171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8d0c2fd48ebf824885f76eb609c6968cd06a1d","datavalue":{"value":{"amount":"+0.91225916","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":"Q6044122$C5A6CC6D-5465-4A38-8E1C-91835CF32B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4971fc73a884ab7c27b7c24336befbb0646742","datavalue":{"value":{"entity-type":"item","numeric-id":2154017,"id":"Q2154017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1053d7a005ec0f4e22ffc18cf432a1d074d8e1","datavalue":{"value":{"amount":"+0.906423","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":"Q6044122$5709BE49-C8B6-4994-89E8-F78613523F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd60482142399ea4d453b1435060598d1ae83ba","datavalue":{"value":{"entity-type":"item","numeric-id":4802384,"id":"Q4802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8158f2839efafc333e28713f49f492daadc34691","datavalue":{"value":{"amount":"+0.9058058","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":"Q6044122$103B4562-FA9E-4DD0-A78C-04E53A2FB18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08188ac5770a0bfae2d3dfff9a40d0b97d2720ed","datavalue":{"value":{"entity-type":"item","numeric-id":5690304,"id":"Q5690304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0f7ff388781b15e125bb31b4c0446236bbc7b9","datavalue":{"value":{"amount":"+0.9037548","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":"Q6044122$F22FAB54-1CBB-4FE0-8C7F-5546257026F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26f558779702745b04d0c6918c1edea4498fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":6049931,"id":"Q6049931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5fad912add653a9699836a248875d590352f79","datavalue":{"value":{"amount":"+0.9033408","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":"Q6044122$FB89CF95-BD35-4B60-ADD0-1DCCCFAD0FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff435e16bd6ea7685b7225ae0e32a42cb4bcff","datavalue":{"value":{"entity-type":"item","numeric-id":2147689,"id":"Q2147689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed9c4367d924c471d88ae15520396547daa5e04","datavalue":{"value":{"amount":"+0.9022165","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":"Q6044122$FE10A8C8-1955-496E-94BF-158D183A8276","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6044122"}}}}}