{"entities":{"Q5194963":{"pageid":7224535,"ns":120,"title":"Item:Q5194963","lastrevid":41755058,"modified":"2025-05-08T00:04:50Z","type":"item","id":"Q5194963","labels":{"en":{"language":"en","value":"Parallel Explicit Model Checking for Generalized B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105981"}},"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":"Q5194963$59BAA473-85F6-422A-A608-69D26DEC614B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a10a34a18284b975f49054796ddcb7484887f08e","datavalue":{"value":{"text":"Parallel Explicit Model Checking for Generalized B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194963$34649980-BCE3-4F17-9543-09C20C0F28F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f67b26db61222c939173f3e79ec026f4d70c0fa1","datavalue":{"value":"1420.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194963$F294012E-A838-4579-9B6C-8437E19D6B2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eac3b6fa0c42c5e294d3ab1b19cbc5eddebd45eb","datavalue":{"value":"10.1007/978-3-662-46681-0_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194963$ED816141-CCF5-420D-ADFB-96E543B9958B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dcbbb57143b26c8a142236312cf5a6c3d49681b","datavalue":{"value":{"entity-type":"item","numeric-id":2165223,"id":"Q2165223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194963$EE920B78-A6BA-4F4E-9DF5-6D5BD2CF090A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194963$18B86871-6BCC-4630-8CA1-73CBD267EA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36f874171f87759c33ecad32bf45bad085bb06e","datavalue":{"value":{"entity-type":"item","numeric-id":1006893,"id":"Q1006893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194963$19C92A11-C58A-43DB-AFB9-8D3EFFB3FA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0dd6cda2b15938682161bb11f6f288629bda66","datavalue":{"value":{"entity-type":"item","numeric-id":453478,"id":"Q453478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194963$0B476F02-81BC-423F-9430-3DB599CA2949","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":"Q5194963$93EC39B0-805F-4FF4-810C-14987A593ED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-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":"Q5194963$36C21C0C-47E1-46C1-BCD6-FC620690AFD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194963$6E537768-3D62-4760-A6D2-CCEEEAEC5D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194963$38080FD1-6EEE-48E4-9593-E62EB06FC898","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba57499a4313a4052e30c2dba22ac47ee6e0156d","datavalue":{"value":"7105981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194963$1A8DC08A-12A0-4C6A-84D9-6A1182839739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194963$BC1F0E67-D0BA-47B0-B526-33653E0CA992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a841b9a37ec3c703897520c3d409ff8c87c1a37","datavalue":{"value":"prototype implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194963$22B8A7F4-81B2-448C-A75C-A92A3DD0B603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1566fe4312de09a5a54c4fc7a998ec589c2084c9","datavalue":{"value":"multiple thread","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194963$53D38806-E4C1-4272-90D4-56D6988FB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49698c9fd6218a590f3018c910131d640fca8175","datavalue":{"value":"strongly connect component","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194963$E9018091-F0A4-47AF-8E80-9B891FD663A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944d2dee85c52b74cabf1fa2c3ba4013e04623a8","datavalue":{"value":"good speedup","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194963$2C44B03C-C510-486E-9A4D-3CB106D9804C","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":"Q5194963$D8CF6C5A-3703-430F-AA31-20833FB1BFDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bacc3a607731c36e2f3e06dd29a47f9e8af6203","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46681-0_56","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194963$26A7E171-5DFB-4970-8CD2-C2D9A489AF9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35c41ed25a843e113fbe8a8e47ddd767b569ec87","datavalue":{"value":"W2124698211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194963$B2D1F259-7E99-42EB-964A-A4E9B202E131","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859e85bb7190457214d239432889b1cb9a13c52e","datavalue":{"value":{"entity-type":"item","numeric-id":5391523,"id":"Q5391523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8171887ad8439aaf99ba415837ff532f2267d3a","datavalue":{"value":{"amount":"+0.8971628","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":"Q5194963$D9D92048-A6F3-4084-A8AA-F268F45EFF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4353ae63ce39de46ca640bd3849e3246ae0604ce","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9baca70981be512eed7b9284c89387d795fda61","datavalue":{"value":{"amount":"+0.8900174","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":"Q5194963$172A4154-324A-499A-96A4-FF3FC1C7C519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8bf9ae8412d3f6bc9ff581a201bd878f319ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2845488,"id":"Q2845488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a75d07f24b55157ea7bc14dfb361cffe70a07b","datavalue":{"value":{"amount":"+0.88952935","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":"Q5194963$83BB73A3-7258-49A2-BFD8-88BDFFB465E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f2996a5c5ea635ebfebe68ef369e8e7f8bea99","datavalue":{"value":{"entity-type":"item","numeric-id":4551132,"id":"Q4551132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5408453d4fce4c5749402490a5e4b8e2e9b54b39","datavalue":{"value":{"amount":"+0.8891378","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":"Q5194963$BFFC35D3-549B-47ED-8413-E9C9BF0AA6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63018600324a71859f0d043848bacee9a1ae2407","datavalue":{"value":{"entity-type":"item","numeric-id":5930944,"id":"Q5930944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2834695a241c1f3e919f952e75a587b213a62c57","datavalue":{"value":{"amount":"+0.8836018","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":"Q5194963$B1968388-123A-47EC-B00F-9A8B7B1F4A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9109f3e98b9a505b6f65ee0622b845a38ebf8f","datavalue":{"value":{"entity-type":"item","numeric-id":5898621,"id":"Q5898621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a32af97aa410f2ad1c31ad25bb8ef8317a44b138","datavalue":{"value":{"amount":"+0.8835563","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":"Q5194963$C9A96CE3-DEB5-420F-89AB-F48B22181693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8301abbbb3376e660e5af194409f38df0d5a0301","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9cd2b6b39182da2f170f42293097b62dc8c1e7","datavalue":{"value":{"amount":"+0.88223445","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":"Q5194963$EFC801F6-440D-495F-827F-0B6A4FBD53E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5194963"}}}}}