{"entities":{"Q1770427":{"pageid":1781169,"ns":120,"title":"Item:Q1770427","lastrevid":43320067,"modified":"2025-07-24T16:54:23Z","type":"item","id":"Q1770427","labels":{"en":{"language":"en","value":"Realizability and verification of MSC graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153219"}},"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":"Q1770427$FAFE76CF-7C62-4B8C-BC4E-698CEB54A3D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8d456bfb0528342cf6386a65c82dde694865191","datavalue":{"value":{"text":"Realizability and verification of MSC graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770427$329E0870-397C-48D4-9D9F-306EF718A79E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba7ec0d591e05e843a37d0ac9a97dd9d472a7f7f","datavalue":{"value":"1088.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770427$8BC0B45D-37A5-4ECA-A0F1-AA707A8A4781","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$F2BFBB54-9ABD-46B0-9713-4FE20793B40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$DBA0FA39-4FCC-4C29-B401-60FA34029B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$E9488ECC-7D19-4E75-A5A0-4E380E34A0FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$6171FD5C-C854-4422-9B53-96B37D2F9E04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770427$BAA7E66D-4B03-450C-9E44-88838291642D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac26e51a3ab0857dbb950d074e58e8b4761461b5","datavalue":{"value":"https://repository.upenn.edu/cis_papers/94","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770427$A4C229D5-80D1-4C24-A6EC-D7C6C2CF6BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770427$CC6C7864-2532-44AE-9C99-10570398717B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770427$06E886A7-7E8A-4ECC-B63B-DEAC968CC6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770427$8DF89A21-BC3E-401B-96BB-8A90D07E528B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770427$5C6CA876-E37B-42AB-A735-2989443996B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7876e329b54757d9d13359e65e3dcaa0daf7eee","datavalue":{"value":"2153219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770427$9DBA130F-C0F3-4374-AEDF-487B8D7F9CE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf9c2b5fcd46606db43506dc4d0fb69d64da19","datavalue":{"value":"Formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770427$90697DAC-A9B6-4204-931A-D71D534A0987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005651fbfe3afebe8b3d223142c09b3cb39b1f84","datavalue":{"value":"Software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770427$6A3993EA-021E-489A-A176-DBE939E169F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a40a11dbd7d28cfafb0fecc0915b7df92291d7b","datavalue":{"value":"Message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770427$3FBCADF0-D41F-444A-B3DF-636BAEEFAF8F","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":"Q1770427$691914EF-89C3-45D3-A697-5B272E4FA2EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57d8b48df53a16aedaea7d9bf04bc5a8023f38f5","datavalue":{"value":"W2151369927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770427$10D42FA1-31D7-4A4A-BA6C-F9DC12FF7289","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9072695c095fec3eea150876644f1584fead59","datavalue":{"value":{"entity-type":"item","numeric-id":1824384,"id":"Q1824384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$C7D3E46C-BFA1-4829-AD8D-A0B6DB50B5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a141e186f93b943e7f6d8d3b0d3780cef7d87f60","datavalue":{"value":{"entity-type":"item","numeric-id":2754187,"id":"Q2754187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$D727E514-4FE9-4AAB-B877-A3D2846DBA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b55cddd5b17d573486da63a02861fc86a87952","datavalue":{"value":{"entity-type":"item","numeric-id":4484487,"id":"Q4484487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$B2A0850D-3775-422E-BD10-18E5471B2009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434264a0a69e6edfaac74758bdb1a1a6eaaeed73","datavalue":{"value":{"entity-type":"item","numeric-id":4736868,"id":"Q4736868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$6FAF2F4C-1261-4B08-AAEB-D23BF631FE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c18ab676636b97245c873cb4e3d5b1cf83e630a","datavalue":{"value":{"entity-type":"item","numeric-id":4941891,"id":"Q4941891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$7C4C957D-06ED-42E6-B877-05BB9892FF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770427$C2D03FAF-4E3D-465F-B70F-A60BC4EE8F90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3de082e2889ceec2a363a7beb6781a48e4431f9b","datavalue":{"value":"10.1016/J.TCS.2004.09.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770427$3A708C50-DBDA-40C0-BA24-72F0DCF28200","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffcfb3fa309348d9561ba7f476a88fd54d29cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4535063,"id":"Q4535063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q1770427$5DCF2784-3834-4E9D-BA59-C3D6E5AB2ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831ca712bc0c5392867abc40f29a3960a17a3968","datavalue":{"value":{"entity-type":"item","numeric-id":1713877,"id":"Q1713877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0a335e43251d539d777a30bd23875e0ff843f0","datavalue":{"value":{"amount":"+0.8867823","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":"Q1770427$DCF04D82-A3A6-42C9-B150-22B367466413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478efe39715f36f137123e0bfb491690de8bdfd3","datavalue":{"value":{"entity-type":"item","numeric-id":878072,"id":"Q878072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d1cac7f68dbabb15a67373718ce0d13834b7d3","datavalue":{"value":{"amount":"+0.873847","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":"Q1770427$FE78D0C1-1EA0-4018-9701-E6A31663D27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152e88d9284dcec4aa591194d484f93c8bbaf362","datavalue":{"value":{"entity-type":"item","numeric-id":2847921,"id":"Q2847921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc429d33468c5b8b33cd3c8ad9da3c3814bd19c","datavalue":{"value":{"amount":"+0.86242324","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":"Q1770427$88DB8FD0-544C-48A7-A25F-6AB3010E2CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a14ae87233f92735c8985607c83e58afc94137","datavalue":{"value":{"entity-type":"item","numeric-id":473216,"id":"Q473216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960f54d66b164c1384765ad75277023164296174","datavalue":{"value":{"amount":"+0.85765153","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":"Q1770427$7930014D-9C82-445C-89BD-9A3D54B7B69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebef81dc2fad7b43774b61cc48a460ac616a99a","datavalue":{"value":{"entity-type":"item","numeric-id":3623938,"id":"Q3623938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4c16892d3c4da8e1abad40dc65ee18afc4a145","datavalue":{"value":{"amount":"+0.8548606","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":"Q1770427$3B99179C-C40D-4EC3-A880-F98FEDD17C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbfbb44e6f29732ed94b4b4471273e4d5c7208e","datavalue":{"value":{"entity-type":"item","numeric-id":5190778,"id":"Q5190778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3099ad5397af0eed91bc54a3b5d48fe14879a63a","datavalue":{"value":{"amount":"+0.85195106","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":"Q1770427$DE50926A-BAB3-4438-B455-AE9152BD2BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438cc73eec26eba10643d5a837c2a914725fbe70","datavalue":{"value":{"entity-type":"item","numeric-id":262985,"id":"Q262985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885498a67b76f82b2f9958cacc02275063a539ab","datavalue":{"value":{"amount":"+0.8512275","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":"Q1770427$5B95986B-CC92-466B-882A-58136FA4F290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112cc2b592dd5aa8da2bcfdbdc685ed2ea6b7a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1344609,"id":"Q1344609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4a73cd71e04e25040e29f23326b2b4767be744","datavalue":{"value":{"amount":"+0.84710467","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":"Q1770427$277EBDE6-39C9-4F00-B4C0-CD4BF5424878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770427"}}}}}