{"entities":{"Q4635601":{"pageid":6665182,"ns":120,"title":"Item:Q4635601","lastrevid":53070251,"modified":"2026-01-24T04:10:24Z","type":"item","id":"Q4635601","labels":{"en":{"language":"en","value":"Logic for communicating automata with parameterized topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863076"}},"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":"Q4635601$0C03D4AB-2AF1-4F9B-842E-007BB79BAFB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"867c717b068e18f05a197b494b125a6db0fd55aa","datavalue":{"value":{"text":"Logic for communicating automata with parameterized topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635601$A87F94C8-1939-4702-9DDC-B81B6DFF75DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa75fd7578b6a9da38ef330c315029b20b6fb04f","datavalue":{"value":"1401.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$B1EF6764-2B34-4A1A-8978-EB3CC2A5A7B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80a9aa3fc9ce20347593875ba39b30692f619640","datavalue":{"value":"10.1145/2603088.2603093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$BC4AE9BC-C6D3-46CC-ABD8-3493D575BB36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635601$3FDA92DB-0984-4F7C-988D-2BC5727BF204","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635601$64F70073-8337-44A6-B98E-AFC58DA5E1B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635601$4EF51CE3-1D71-4501-9A95-4362729FD5EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$085EF223-D83C-47D4-99DB-BA21C047AE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$8DAD6D83-E888-4F5A-B810-433FB8E98E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$52674CE7-FBD0-473B-89A3-FD341912971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$ABC4743E-D48A-44B7-BB65-05930FC05269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1af8f33c4d391d67880e9b68900c0462b3dd471","datavalue":{"value":"6863076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$987E827F-05B7-4C33-8150-65E193DFBC72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b540c1974e4f91a1ebdbd0611399a8ad7d05f0","datavalue":{"value":"communicating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635601$BD1C51B2-4A71-4433-8DB2-CB7EBD0D3314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635601$978F4CCD-A3A9-4F2F-A82E-AE0623109DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635601$BB13FEF9-6A31-4AB7-A29B-7A0429486790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"343ea61bcf145d249076258155533f6895961038","datavalue":{"value":"parameterized topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635601$3A3016D3-3E7E-4276-B9BF-A93C2AC726EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635601$B3EC742F-5794-4C25-9D40-A325A9AFA39A","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":"Q4635601$BCF77B35-CBD5-4463-AC79-4417A457898B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1569dd7eedbb6f8168b7c742932ec7e5e272a87b","datavalue":{"value":"https://doi.org/10.1145/2603088.2603093","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635601$A27506BC-192E-4570-9BFF-C3F99A3267FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcf03949d7ddb21c328e742fb76f38eba54e02af","datavalue":{"value":"W2033652352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$CC45287A-2089-4014-AA1F-9CED3563FA76","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2befcb4349059994e69e8038938717161ab6e79d","datavalue":{"value":"Q130853237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635601$16A3AF3B-347D-43A4-B5F1-56445008FF3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e970356126d19a9ab19e29b43d570aad57b6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2978552,"id":"Q2978552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2131fed0684d85b2962da896d613385320a09413","datavalue":{"value":{"amount":"+0.8631566762924194","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":"Q4635601$66150D22-3E82-4B61-AD03-8FD98DF4DEA1","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":"69371e5e44c46a823dfe14bef546f3ce0eaf697f","datavalue":{"value":{"amount":"+0.8217056393623352","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":"Q4635601$B4516994-AAFA-4103-8368-46831DE42631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ede99006b950818e2e917bc929d2942b6d18287","datavalue":{"value":{"entity-type":"item","numeric-id":2811340,"id":"Q2811340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70cd2c93c2450151f6385106ae4add9723e2c7e4","datavalue":{"value":{"amount":"+0.7866985201835632","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":"Q4635601$D80FA370-203B-454E-9B34-1E2E9F00C227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd30d9cfcf274976bd1a8d6f599347a790bee345","datavalue":{"value":{"entity-type":"item","numeric-id":4496487,"id":"Q4496487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7cfa8c1216f13c272d397e21e885f285fda458","datavalue":{"value":{"amount":"+0.721705436706543","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":"Q4635601$63A65988-0071-465B-B4D4-B5B353746CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dae8aa0eeaeaa43174b1d727f71dccdddf7db96","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a43b31a36a2de32135b46b8f859eee5ffc3bab","datavalue":{"value":{"amount":"+0.7151044607162476","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":"Q4635601$52E38F0E-63A2-41EE-B554-672310BCE1CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635601"}}}}}