{"entities":{"Q2505638":{"pageid":2516381,"ns":120,"title":"Item:Q2505638","lastrevid":49926799,"modified":"2026-01-12T02:41:42Z","type":"item","id":"Q2505638","labels":{"en":{"language":"en","value":"An algebraic theory for behavioral modeling and protocol synthesis in system design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5057734"}},"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":"Q2505638$0F1CACD8-4584-4FB0-87CD-982C88510AEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7fca60b452891c63fabcc6518ec43928dab3d9a","datavalue":{"value":{"text":"An algebraic theory for behavioral modeling and protocol synthesis in system design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2505638$E40B86D0-BDE2-4663-ABDF-49B586C24128","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f17c9b37711a3966d2130d14f3978e4586dc7263","datavalue":{"value":"1099.68501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505638$D40F5866-0CE5-418D-AFC7-436D01501335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$E4379735-4131-4415-A92A-676D85D798BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9002b54f9ea3e71e9f975fbfebd4a7437809872b","datavalue":{"value":{"entity-type":"item","numeric-id":456401,"id":"Q456401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$AB13780A-98E1-406D-BDCF-AAF95568E4C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$D7A26527-2884-42A5-9C75-444FB66A1DE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2505638$F8A87D01-F17B-4E1C-903B-5E7B15716EB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505638$BF6020A4-C4F9-40D5-8B56-2F4170107254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505638$608E19F7-EF9B-4AD3-B079-C6DAC51DC713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505638$5F705767-AF86-465A-916E-B15B4E090E9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"251de4952a59322de98be006f5dfe979d2beff3f","datavalue":{"value":"5057734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505638$75C24362-68CD-4327-B41B-58A49B7A7A47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56895071543e8688d8684377b7f727a8aba5f2e","datavalue":{"value":"synchrony","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505638$5C60D343-57B7-4876-84F4-A7BD39018B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505638$58E0086A-E0AE-453A-9524-5E79AFD3B35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78610c30fae1638d8831f3b1932a0e43264469ae","datavalue":{"value":"compositional modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505638$A60CC90E-4493-4590-B2D3-55A6EE07FC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005224afb84a65b381410c7ebef02eb9ac7d951a","datavalue":{"value":"GALS design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505638$BD327674-5744-4AB3-B827-90D5B0AA20C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b33115856aa5e6840a782dd17b6926f51dbf6","datavalue":{"value":{"entity-type":"item","numeric-id":19489,"id":"Q19489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$17CB342E-8629-42C4-8D2A-7DB2EA0A553F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$692007DF-0330-4C08-84A4-50477118D35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41af22c53310361878101464ae427cd0b0ef722e","datavalue":{"value":{"entity-type":"item","numeric-id":24231,"id":"Q24231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$0B6B2849-50A7-4D8F-81B1-CF2ED92998D7","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":"Q2505638$7B48BE04-128E-4C85-933B-CC528CCC484D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd935008b8ebd313abb3672909e0acd1fcb083cc","datavalue":{"value":"https://doi.org/10.1007/s10703-006-7845-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2505638$AE2FF3B5-A9F3-4AD6-A0BD-9F813A73A540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae9035fffb716b3ea2e4f37eb46319219f8ce915","datavalue":{"value":"W2062949277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505638$B4440AF7-0279-44E2-A56E-A11FC33A9404","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39af6379ee0a626aea80cdc557dd66f00d2eff83","datavalue":{"value":{"entity-type":"item","numeric-id":4439585,"id":"Q4439585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$48A50A93-DC4D-4C50-A1AF-3C29BAE31105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3277ebca86ec2e1e8ea02853130cb167702f65","datavalue":{"value":{"entity-type":"item","numeric-id":4817538,"id":"Q4817538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$CF6B6DDB-EA0F-4F28-BC10-1BE7F822E649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$1A29296B-1BB4-4260-9F96-07531F1D7AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$0CBF928F-68EF-4F62-B242-57D909F929F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$5B19E8DF-B451-4926-9938-9F307EA8BD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093fe206479dead349ecd41e598516e6218a44b5","datavalue":{"value":{"entity-type":"item","numeric-id":4270076,"id":"Q4270076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505638$73B54312-A7F3-4CA4-9BF9-CF57C867B94E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a41c70a2415113d0c14b193996e03ff11b1afa62","datavalue":{"value":"10.1007/S10703-006-7845-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505638$5FB312E8-B48C-446C-8AF0-712217A67519","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70737d0756f65e0131eda41d8c7bb17a46148685","datavalue":{"value":{"entity-type":"item","numeric-id":3158282,"id":"Q3158282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e478bd70e1426153668f1745b48574c75655ef9","datavalue":{"value":{"amount":"+0.6814296841621399","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":"Q2505638$2C8C33E1-DB1A-4402-9AFE-65865B749A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08dd1ab02a0c15b8f76f039d7941d7d18132f266","datavalue":{"value":{"entity-type":"item","numeric-id":2506261,"id":"Q2506261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276da9a36cfabdcdad3512872c371d2ecc5f1840","datavalue":{"value":{"amount":"+0.681367814540863","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":"Q2505638$E8CC8E10-FAE7-4E56-9106-B81C239496F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f36d1674491ec9d9ac14a22ef6973140accf65b","datavalue":{"value":{"entity-type":"item","numeric-id":4342060,"id":"Q4342060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69379e7711b65d125e8d4edc6b21343759fe1f01","datavalue":{"value":{"amount":"+0.680243968963623","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":"Q2505638$1A40A8E7-062D-4BA2-B7EB-0D6602782D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c929f8a5dc3dc56fcd39f32b818ff24df47c69","datavalue":{"value":{"entity-type":"item","numeric-id":4005199,"id":"Q4005199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd1a46668f61f0bb4678165156bb1fe2e764cba","datavalue":{"value":{"amount":"+0.6757293939590454","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":"Q2505638$929EECF6-B2A3-476C-BA57-616649E3CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b215bbd0e5a0f4ced762d1a5ea5961200d72da0","datavalue":{"value":{"entity-type":"item","numeric-id":3009352,"id":"Q3009352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d1c79a28ce922ca80799fdad3d372202fea817","datavalue":{"value":{"amount":"+0.6663552522659302","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":"Q2505638$FC638FF8-2C3E-496C-B4C4-38F128AFA581","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2505638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2505638"}}}}}