{"entities":{"Q3774929":{"pageid":5804835,"ns":120,"title":"Item:Q3774929","lastrevid":52185797,"modified":"2026-01-21T03:00:42Z","type":"item","id":"Q3774929","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035115"}},"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":"Q3774929$9AD71C9F-69C4-43C5-90E2-219001B113DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a36a742acc0346d8eca25bd1a0eee29cf766283","datavalue":{"value":"0635.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774929$013173E7-B53D-4BA4-99D8-D1BB2EC12B3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774929$D12F980A-67B3-42AC-9E8F-F11AD1BF6931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774929$C1EDFBBD-5BB6-4AE5-AC35-27876A849D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774929$6D0044FA-8053-4A0D-B667-FF8AF75FDA4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3774929$E366163B-4206-4A66-8FD3-6C6F7E3B0FF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774929$B1070B08-7589-4284-A75F-51490EFAB359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774929$CD8E12C8-66CD-4402-B786-C7138D7674B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774929$8C0BB768-43A7-4F37-A70C-6B07F94A6F1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24224e58171d37303c6b596b3339db72fe39e2d7","datavalue":{"value":"4035115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774929$D3771926-A331-4680-94AE-FC82255DB5C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774929$34A8E4C2-1D34-4F93-89D4-28379586D789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf914d25e94971a51e300ea7b97d9a8dc0f782e","datavalue":{"value":"equality of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774929$68FAEDF8-867F-4CF6-96B1-E3FF8365F6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774929$DD87D1E4-A639-408F-9EFC-29A218B8B8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74f2cc884124fc77033ed7440a07d17ce55038b","datavalue":{"value":"process graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774929$13899C57-DCED-4389-AC72-CC95AA706356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774929$CD31D936-7FD7-4E20-A5E9-3D9590036A39","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":"Q3774929$B79A8A8E-A894-4710-9690-FCCA92188A19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59fc763dea8dfc392bf18363fc4fd231839b153a","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"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":"Q3774929$B761B0FF-8CC6-4DE2-9F39-F8CDEE53583D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a0c6fdd318b80ed0243c9a8a81e3518f24473","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e863b2a250498bced543e1fc008e3060fc0068c1","datavalue":{"value":{"amount":"+0.94042075","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":"Q3774929$CCAFBF02-947F-495C-A46C-A407A31ED25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67419e87423ca3b09e38cf30c89d3b05c97a349b","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6af0d9088fc0abc58882e8215f88e2ba255edf7","datavalue":{"value":{"amount":"+0.92383903","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":"Q3774929$C2443D0D-B977-4B26-B059-8F96B1694A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0458738b4495a6a0beb364464d6655f95c51e249","datavalue":{"value":{"entity-type":"item","numeric-id":5941202,"id":"Q5941202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4e54133999b32032456f045ca137dfa591e35d","datavalue":{"value":{"amount":"+0.92018515","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":"Q3774929$A7919637-2C37-4F6A-BB92-DEC47007C9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ffb7a4bd9af8ecb8a112a6be113733cfef6d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2365394,"id":"Q2365394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142270505469edcd4cf816fa8afa674950135518","datavalue":{"value":{"amount":"+0.9116549","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":"Q3774929$FF3B7059-35FF-49C6-9179-A20EF6CEFAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e504b0a4c3171e53ee52b3bc4222f5fcf3052d","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298b6d6219da9c23b268e8341df67cf3386171e9","datavalue":{"value":{"amount":"+0.9114916","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":"Q3774929$037582F9-2562-4155-AF36-94DC5C3B0C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64ac996d8d977e7dbcfea0ab46e62705d873142","datavalue":{"value":{"entity-type":"item","numeric-id":5096175,"id":"Q5096175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298b6d6219da9c23b268e8341df67cf3386171e9","datavalue":{"value":{"amount":"+0.9114916","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":"Q3774929$06DD1C2D-F233-4545-A68B-8E51C59577EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a33d730e58b3ea1389803b864df96f87ec5cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3090854,"id":"Q3090854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874cf301f015062bc3892ad35b5b442e879fe985","datavalue":{"value":{"amount":"+0.9106603","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":"Q3774929$CB94DD3B-E0F5-4DED-AE0A-D64C4A30895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab90e9a0e11381c75bb7258c2e6ca7d4b003682","datavalue":{"value":{"entity-type":"item","numeric-id":2254493,"id":"Q2254493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874cf301f015062bc3892ad35b5b442e879fe985","datavalue":{"value":{"amount":"+0.9106603","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":"Q3774929$3DB2ED23-44E4-4517-94DA-2F9093C0A1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253cd9e6b0e2f156f893f158fcee7f368753ff19","datavalue":{"value":{"entity-type":"item","numeric-id":1276237,"id":"Q1276237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce69e61013f901cac6988c4edc4bed43d16d7cd2","datavalue":{"value":{"amount":"+0.91045105","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":"Q3774929$CF1C4A48-9C3A-41D4-9A06-9635E6CE31F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3774929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3774929"}}}}}