{"entities":{"Q3771632":{"pageid":5801538,"ns":120,"title":"Item:Q3771632","lastrevid":52105253,"modified":"2026-01-20T23:00:30Z","type":"item","id":"Q3771632","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4030999"}},"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":"Q3771632$BA1177B2-C6B6-41F8-86E7-0AFE75BF99C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92af43e92b743936a489f344933446b1b9af15e8","datavalue":{"value":"0633.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771632$D214A84C-7EA5-4411-BA00-70DBF9B423B4","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":"Q3771632$B6021728-3B77-4223-9B6B-2C9640812C19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771632$C8F36080-66A5-42DD-B993-04D584D0BF22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c5c7d5328031fca2757c59e3eacb275038411f4","datavalue":{"value":"4030999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771632$AC5F5EDA-A72D-4867-B9D1-0B26A99A50B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749e8499b8f4081b5f43e02c1da7353c3b92a07","datavalue":{"value":"algebra of communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771632$0EF2F594-973A-4747-9636-04CFC60D5940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f0da905e757c1505b464fe4c95062eb6a7c8e27","datavalue":{"value":"True concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771632$2A4598D7-0DFC-427F-B106-2CA7AF5A4F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771632$5EE999C2-7D25-4BDB-AD0B-BBE6ABBA1F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09477ff29cdd61b3e0c52466f1b31196d593b0e5","datavalue":{"value":"occurrence net equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771632$D88A2CBE-F2F5-42AC-ABFA-D74E436739C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771632$7EF1EF5C-97AC-46C3-B6BC-F1B2A3042C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8bb3ad9f9296e201b4e3b091844be6307bd658","datavalue":{"value":"concurrent bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771632$C68F1C70-F291-430E-8D38-42228354A5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26344d84d4e2163952c18861ffbdf4bc3bc9eea","datavalue":{"value":"partial order equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771632$07D95D8E-4A53-4E09-9E2B-3F9AB6D50AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5228c7a177fafaccd155af3531e2b87d795f795a","datavalue":{"value":"real-time consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771632$FA476226-7842-46E0-898D-6387886BF1B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771632$0A0299B5-7E1F-4D25-BF71-C4023DACD689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771632$098608E9-4738-426B-9C0C-09AA118B1D26","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":"Q3771632$D86AC7C7-EB5D-4C05-8CE6-C37E716FF543","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0460b4c306efa12f47997c7372563d53bae87d6","datavalue":{"value":{"entity-type":"item","numeric-id":4589254,"id":"Q4589254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b797585f50f8da55a4a1a17b199017b76763da","datavalue":{"value":{"amount":"+0.8289357423782349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3771632$83308DDD-E2AA-4343-B77E-BDE12722845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abdda7425ff3a43cb4001d34bd96fb1ad36371b","datavalue":{"value":{"entity-type":"item","numeric-id":4763577,"id":"Q4763577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45405abcb04e71ee431fd2c479d4ee94ff329e33","datavalue":{"value":{"amount":"+0.8259035348892212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3771632$81D228DA-7F82-421C-A9DC-A71D0F99A824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7523421eaeaf7f235de5ecad6e6fd3700d0f640","datavalue":{"value":{"entity-type":"item","numeric-id":3735084,"id":"Q3735084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45405abcb04e71ee431fd2c479d4ee94ff329e33","datavalue":{"value":{"amount":"+0.8259035348892212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3771632$ED105FAE-2717-435A-9AAF-1CF0B59D6A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56e46ad7a3ee1347e7b29362c51258b1fad150e","datavalue":{"value":{"entity-type":"item","numeric-id":3779754,"id":"Q3779754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1044f843d90c688cc360aa48754c3af38f47202b","datavalue":{"value":{"amount":"+0.8082753419876099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3771632$8FF71A49-51A2-4455-B28C-7E9A7F219325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a404e5f8a34ee337c0ada11d9b33383711e8c5","datavalue":{"value":{"entity-type":"item","numeric-id":4842533,"id":"Q4842533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6925d302f6f5299a12c322afb9480b7718ba372b","datavalue":{"value":{"amount":"+0.8051379323005676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3771632$A3A8B185-CEC6-4D8C-A9AB-9D5F869841FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3771632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3771632"}}}}}