{"entities":{"Q944388":{"pageid":946236,"ns":120,"title":"Item:Q944388","lastrevid":65529165,"modified":"2026-04-12T03:13:42Z","type":"item","id":"Q944388","labels":{"en":{"language":"en","value":"Verification of well-formed communicating recursive state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344356"}},"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":"Q944388$3FAF045F-C245-4559-86B4-872AFA12DA45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a89a2c11b393c58b2f66c126cd8306409ce863","datavalue":{"value":{"text":"Verification of well-formed communicating recursive state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944388$16A3EAC3-8F05-457D-B59B-2793AADD5738","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08ee82eb539d37f9870000758f600caa0adb7800","datavalue":{"value":"1154.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944388$D784789C-B31A-46C6-821C-604319494770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$2E2DB882-D21E-409E-919E-3E0E6446C8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$D099DB6C-3A51-4889-9080-7EB616AD9878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$3C6C5069-ED2C-4ED4-ABF0-80938C5A7D01","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":"Q944388$1267373D-DC1B-43AA-A97F-0EB9ED654B2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944388$E54494D3-4507-475B-BF25-2F1FD8A52BE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944388$BBAF0906-5F1E-4093-93C2-28E64545EABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944388$BA59879F-9346-4B00-9B2E-36808455D4D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a024db326932a9edbf5892c94902fe7649956461","datavalue":{"value":"5344356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944388$85DDE859-42AE-4A4C-A0B5-8F1B6BE6CE91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q944388$7FAA3BF9-DB5C-4CFA-AA5C-2C2CC8E75C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q944388$1C123CD6-37B8-472A-A77F-67FF27A8DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f862438c8eeb3013c457ea23598954355f05073a","datavalue":{"value":"formal models of concurrency and recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q944388$29EA5D3F-58DD-4B40-9960-48726968CF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q944388$2A0A818E-8EE8-4C3B-BD4C-E0075FDD6F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6da163763b69021e2c0129fc88683679cd3699","datavalue":{"value":"linear-time logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q944388$7AE14597-06CA-42F0-918E-48B0BFEED59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f3e3828c25b54f94b79a840fb3587de68568401","datavalue":{"value":"context-free specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q944388$C54BD703-9CD1-4562-9AE5-591BAEC27053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q944388$C3369639-8B2C-4FDD-90CB-F9D0E87F6A5F","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":"Q944388$4637DC9B-4BC5-48FB-9726-62C2A4DEC618","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff35a8e39fcfc4536c8b88816db076d6a342704b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q944388$85AAA03B-4EC6-464A-BA9A-8C30E3615DFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a60c2f1bb89dc778e51f4f08525723113e9ebf6e","datavalue":{"value":"W4248796439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944388$A088AA11-8B66-4395-A711-D73D9B2D91B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60cfa2493d22b1f6e30e78482c1494fed827bb","datavalue":{"value":{"entity-type":"item","numeric-id":5703796,"id":"Q5703796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$B5A1B09A-CA5A-46A8-BEDA-DBB765709697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$662C6FA5-8FD5-4B03-8F06-5C93F8C40D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$9177FC57-312A-49D6-A348-AB8D7696FE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833c500a528c9d138c07be282d8c9aa8f5d7df13","datavalue":{"value":{"entity-type":"item","numeric-id":6162100,"id":"Q6162100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$842B500B-1A97-4CED-8578-7C8F2316DF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$CA729C73-A6BF-4A9D-9CAA-B49915C49C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c26915eff17742416300ea67f8c19ba2e44cb33","datavalue":{"value":{"entity-type":"item","numeric-id":5191507,"id":"Q5191507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$BFE78BE0-6C66-49CB-9041-F8370FF1989D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5293f2f0deca0f93ed1dd066b1b8b9ab3717d0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2851071,"id":"Q2851071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$D377C273-A97D-4224-9889-9F08678CD527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$31CE9E83-60EE-48DC-B283-FA7D339F83A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$F1079DCE-1F16-4C9D-8BA6-DF9012D55801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740dedd4f9af49068d933d21b3dff400b57b1484","datavalue":{"value":{"entity-type":"item","numeric-id":3979263,"id":"Q3979263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$7DCA55A1-BBAB-49B7-982F-9A4B777639A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$91C7CFA6-0524-4400-BF4A-42B670031E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f911c4d17eb514630e7689684ba45d7003ae8275","datavalue":{"value":{"entity-type":"item","numeric-id":4858945,"id":"Q4858945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$421265D7-CEFB-4619-856B-279D403BB1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc18f0b46fdb1ba05a79fa616657addcb5f839f","datavalue":{"value":{"entity-type":"item","numeric-id":5178837,"id":"Q5178837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$5EA3BEB2-BF1E-4593-8CFD-8B2DD5AFD83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$04D2F88B-1FA8-4DA0-8139-1D8FF2B0B2B8","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":"Q944388$BAD87125-6FD5-468F-BFEE-CADF1740908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f024e5fa4de8f716298ab02999628d2f814871fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189810,"id":"Q3189810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$7924203A-9A56-4486-BFB4-31AE5FAD4DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3d28acd643d396b152fcaf01bfc8613dfbfd42","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$6EDD3649-A619-4423-9C55-4A4A53F2D41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30dfa4da1d23fed8a93ada825dde4d5a2e1a064a","datavalue":{"value":{"entity-type":"item","numeric-id":4234763,"id":"Q4234763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$2B7C9229-8598-4954-B586-A24B88D1AF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$E24BC505-57C2-414B-9002-E55F6F9119DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$20A30938-A526-4CFA-B162-DAAE576E0F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$D98066AF-3B9D-4739-954C-008A567497EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$02491305-CCC2-4FC8-9224-6B43A57598B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1195697e50d6f6006bb0184d5b28cf86eddc03b3","datavalue":{"value":{"entity-type":"item","numeric-id":5055739,"id":"Q5055739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$4D275EA4-8E5D-4575-AC25-8F491435E268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944388$1061FBFE-BBBF-4E0C-A935-7E242F7FC4AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08b6c24d67923c38fa11b8330a81beb072f9bec6","datavalue":{"value":"10.1016/J.TCS.2008.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944388$DCE8EAE9-6BF1-4160-95B6-E2561EDE3F40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd7d632dc5302f703cf71d173281e9eac64e206","datavalue":{"value":{"entity-type":"item","numeric-id":5898632,"id":"Q5898632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q944388$6E511A36-33EC-4538-B38B-A1745CDB412F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7737a81c94d38d44ea5d403643fbc1c54a8b7a72","datavalue":{"value":{"entity-type":"item","numeric-id":2413026,"id":"Q2413026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2c8ca59fd29e00e8ca0b909d00c19d41c6d638","datavalue":{"value":{"amount":"+0.8912588","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":"Q944388$8324E168-D00D-4252-B97C-F529D93699EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29c765bdf91beeff6ddab9421216426a238bc88","datavalue":{"value":{"amount":"+0.88670206","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":"Q944388$4B92844C-FBD8-47C6-8766-2A7D007F7A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a3d20293710e09f9c03996b39f0b8abcb84fcc","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454b069015eaf67e136afe5750d94a9a84936ead","datavalue":{"value":{"amount":"+0.88663936","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":"Q944388$5DD01EB4-F22E-4746-9C10-BFEC77209213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60551692e600e110ca5b90f3a1d772a55d43c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5703763,"id":"Q5703763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d690d1355475df8942c59f22334aaef25ed8c7","datavalue":{"value":{"amount":"+0.8785476","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":"Q944388$8BBAEBB0-A6BA-4D43-A218-66193DC96F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7222831c4571623d446b4714075acdbe28a730d9","datavalue":{"value":{"entity-type":"item","numeric-id":4520893,"id":"Q4520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9683017cedf31c9b6cb57907c89b1a1bc00407d","datavalue":{"value":{"amount":"+0.87842923","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":"Q944388$DE4F2995-F123-4867-9DD7-91070C11E5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7052dc79a4364dcdc1d8f28646e03c568faa29","datavalue":{"value":{"entity-type":"item","numeric-id":948087,"id":"Q948087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc66c3a639d5199dc46f407c5fae359f114a0f59","datavalue":{"value":{"amount":"+0.878242","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":"Q944388$2ACCD23B-A843-4D46-935B-DD9B2B3302AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f29e69f4b10a17702e694be597d0e140aa964b5","datavalue":{"value":{"entity-type":"item","numeric-id":3447694,"id":"Q3447694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089464b4f88e92276c7a32d9700ebb2908054363","datavalue":{"value":{"amount":"+0.8781173","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":"Q944388$D12908F7-8A41-4234-B3E3-619F5FE68DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea841d21cbff9d472352f6ed189a918d49cea6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4413690,"id":"Q4413690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e69b45e14e65e68e8c6751b9b3e05568d0f880c","datavalue":{"value":{"amount":"+0.87653506","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":"Q944388$874AEF0A-1CCE-4E5F-85B3-31D722B9A3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eca6144a10b557846f357d55bdd6d978dbad52","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608b4d1d9dd07f8c0f458f7c9264870bc74a6203","datavalue":{"value":{"amount":"+0.87499547","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":"Q944388$3625AEB9-FE0D-48F5-B844-1675567B9C0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of well-formed communicating recursive state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_well-formed_communicating_recursive_state_machines"}}}}}