{"entities":{"Q2277847":{"pageid":2288590,"ns":120,"title":"Item:Q2277847","lastrevid":43811649,"modified":"2025-11-14T17:06:22Z","type":"item","id":"Q2277847","labels":{"en":{"language":"en","value":"Automatic and hierarchical verification for concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197417"}},"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":"Q2277847$15D74422-6506-4352-9521-15FA8BB419BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8888880d2ba4e94999a8562a33f2008718312146","datavalue":{"value":{"text":"Automatic and hierarchical verification for concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277847$F676B173-A3F9-4F9E-A843-C61D141E7E23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0571cff23e4f5a0259e7d56a87e4dda52949215","datavalue":{"value":"0725.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277847$92358C9E-D019-40CD-9821-54270C034063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a0922097619a8050681dcf18f8f77ac8744b5b2","datavalue":{"value":"10.1007/BF02945312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277847$13C14BCE-387D-49DD-9A4E-1CBD2C85EC00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2f604a46fda80ac945b2846c7370096254c6c31","datavalue":{"value":{"entity-type":"item","numeric-id":285696,"id":"Q285696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277847$75B7BDF6-82F5-40EA-BD99-89402D091CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4786502ae557817df42860ce3d901fb3df8734e6","datavalue":{"value":{"entity-type":"item","numeric-id":2277846,"id":"Q2277846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277847$93B0F63C-BB4D-4587-9B91-03BECB5702EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277847$B829A68A-46EF-42EE-897E-BAAF8CCADC4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277847$C70B6298-E714-4D17-A551-15AEBB1CD0EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277847$F78C811C-5750-479F-B740-96EF7A30BA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277847$4063FFA6-08ED-47F2-A152-CFE668EE77B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44557f81f52bcca5aff5095a848fa4d5c23680ba","datavalue":{"value":"4197417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277847$4510231B-F8C7-48A3-95F6-2A070EFC6B92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277847$F0D5EEB0-686D-478B-9AF8-B2EA8928AA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0466e8e44375cc63ef632412815e1b25a788a5c","datavalue":{"value":"correctness of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277847$DC8E8799-67CB-447D-B8BE-F0B23EFF8DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fe14a8cfeb9ac56de2bccfef8cf6b2b7e8b2ce","datavalue":{"value":"branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277847$7A02E226-A62B-4B80-8C9F-7D3850628256","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":"Q2277847$61F7D999-E54F-4954-8E2A-ABC1427D6121","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277847$3913B80D-484D-4914-B7B0-460A6602B64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1e5527beee43e76ace8195dd1167b63319c8cb","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277847$9D3259EE-B7E3-4C4B-8C38-D72D21D4BE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277847$861AD766-B8D1-41D1-8EB6-ED609DC45061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277847$42E14E89-EC15-4DB0-A349-47A26BFE0651","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":"Q2277847$FAD5A426-706C-4CE2-A84D-F1A743B97B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e445c2ab368bd27db71f598bd3200612eb7e7d6a","datavalue":{"value":{"entity-type":"item","numeric-id":1070998,"id":"Q1070998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277847$C08692B8-B85E-46B1-B72A-37E324F88921","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cebd9ed3d55997ac4e5084064d2da942d43e01f3","datavalue":{"value":"https://doi.org/10.1007/bf02945312","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277847$11D4E081-19FF-4FAA-9983-C7A5299EB3A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f14be9c5328d0539367d19883aaba59eef6d3b8","datavalue":{"value":"W2077833819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277847$FF32C569-3B19-4CB1-8D2F-13DE40EFA602","rank":"normal"}],"P1643":[{"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":"14165e1fe863a58084463b6e5b2e1290e25a73b6","datavalue":{"value":{"amount":"+0.9383194","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":"Q2277847$A506288C-73F3-4A47-9491-1D22CE31FCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2813feb65139cdafc734b0c542a3ff56a9d9f1cc","datavalue":{"value":{"amount":"+0.93742824","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":"Q2277847$DC6E2D25-A2DA-47F7-A15A-133F6627676C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08779ddd014f289b27a34923fa30c66d069b83f3","datavalue":{"value":{"entity-type":"item","numeric-id":2147696,"id":"Q2147696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf44610d32c99d85db3893a1a4e825888999d2e","datavalue":{"value":{"amount":"+0.93640435","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":"Q2277847$2C59A5D1-9A94-4EA4-B348-1F6EE0CF03C6","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":"148a2f42a8d14bd802e8acb894743c0082c8f71a","datavalue":{"value":{"amount":"+0.9293462","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":"Q2277847$36876C3F-C216-498B-B6A9-B41BBC2F0DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f779069a03d7cfc36b73201a30afb7df3c6ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4385178,"id":"Q4385178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cf22283ef7c526d7b6b6bb66e115755c952d0b","datavalue":{"value":{"amount":"+0.9273521","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":"Q2277847$108F59E7-D6AB-4D0D-87F3-F24A0EB78500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad5bd2fcbb2862133e818d642649943dd29202a","datavalue":{"value":{"entity-type":"item","numeric-id":4737366,"id":"Q4737366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964b067a816578b9d4f4dcf517a8a5b30e034b9d","datavalue":{"value":{"amount":"+0.92471576","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":"Q2277847$BB45B846-5299-4F97-8BA3-C47DCEDE6482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dab15aebde0a981bf588cf769f7ffff92a844","datavalue":{"value":{"entity-type":"item","numeric-id":5137900,"id":"Q5137900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066bbf1306450999eef1b337b04e517836dd2f89","datavalue":{"value":{"amount":"+0.9222261","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":"Q2277847$D0ED4587-FD1E-4228-9196-67659B41FE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddfcafce1dcfb3fb16e0edfc66d6647482b188ae","datavalue":{"value":{"entity-type":"item","numeric-id":3146300,"id":"Q3146300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6cedc0b13f06730c0befa61552a398d0936a62","datavalue":{"value":{"amount":"+0.91341907","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":"Q2277847$46277BDF-BF01-4580-A5B6-2CC4C78ED61C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277847"}}}}}