{"entities":{"Q3776595":{"pageid":5806501,"ns":120,"title":"Item:Q3776595","lastrevid":90673772,"modified":"2026-06-04T21:00:30Z","type":"item","id":"Q3776595","labels":{"en":{"language":"en","value":"Protocol analysis and synthesis by structured partitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037161"}},"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":"Q3776595$8562CA49-791A-4ED9-B39D-314A2A4CF870","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8722434fb576af1282230a32758c2f6105b88ba","datavalue":{"value":{"text":"Protocol analysis and synthesis by structured partitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3776595$BD054626-D3AC-49F5-8B83-0CF3EB951F16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c826d63bd5daa7362c7e490c1de61d4f923d6c1","datavalue":{"value":"0636.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776595$C3CA9217-CCB6-4DBE-9B90-C8261152FA41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b4825884bb4c5dcbcc230ef87b2e5aed9e86b18","datavalue":{"value":"10.1016/0169-7552(86)90042-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776595$7AD72700-FC15-4242-B334-174F0215C189","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d3d23319c439e6e2b06f4ad4c8a6fb512b7de9","datavalue":{"value":{"entity-type":"item","numeric-id":3776594,"id":"Q3776594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776595$924A5796-A15C-4E3D-B8AE-AD0F13B1CC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47d39671e75dba5b24d705c3b57e063a6510406e","datavalue":{"value":{"entity-type":"item","numeric-id":808227,"id":"Q808227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776595$F909CE53-FF2B-466A-A888-B9D8A6ED9025","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c968a1ef8d0033339fd2c089e4a121a423a1be5","datavalue":{"value":{"entity-type":"item","numeric-id":3495099,"id":"Q3495099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776595$EF14F322-089F-462D-B4B3-E793FEFA0B3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3776595$44C766F9-2632-495C-B6EF-25AD95DEAA88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776595$B6A96CF2-95ED-4164-8691-03001E77C854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776595$D0C736A8-7429-41A0-B1F2-AB34CB068269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15cd273206d3df88d220cf8a578510010bd9d94f","datavalue":{"value":"4037161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776595$E6732D4A-A670-4210-A974-86A93C4EDA5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2135e7da5690987da4e95a2d4746b93b31d764","datavalue":{"value":"network protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776595$C0F5DF04-98CD-4191-B636-5D5F5D320C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22c0832aeb9877423f1dda41eb3b33af8e614201","datavalue":{"value":"structured partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776595$89DA867B-8A3A-441B-ABDB-F11D64B439BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77f3393ee1bf5e04c83e196aa8891cae0cc3cb71","datavalue":{"value":"communicating finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776595$21894210-FD77-450D-AEE6-114D36328E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198806c59e37372f0e3456be07622ad581fb0135","datavalue":{"value":"protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776595$AFC379AA-1F27-43C5-BF53-1A6FF5372468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776595$EF70C0B8-D66B-4A37-913A-68E5D0FE46BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d0a612bc14b813b7c557b7faa86981865fe62b1","datavalue":{"value":"protocol graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776595$5D015DB0-1F7B-424F-96AE-2F15FAE020E0","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":"Q3776595$0AECBC5B-4794-4342-943D-8410D8346684","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"508a41153ac2d5294b42bc6702c8aedf092719f2","datavalue":{"value":"https://doi.org/10.1016/0169-7552(86)90042-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3776595$4AEE8802-20A4-4C38-936B-7E9E4944E0BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"564192b70215fdb89036a8e08301c3d98fffa876","datavalue":{"value":"W2048616776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776595$DFBFB343-E2AC-47A9-B4BB-AD4852692386","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88959216d4ec68293fac66bbb3f90968452d614","datavalue":{"value":{"entity-type":"item","numeric-id":1098296,"id":"Q1098296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe1c9b5c993e255623c20fcc360700e428cb100","datavalue":{"value":{"amount":"+0.7669335007667542","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":"Q3776595$32FA8735-655D-4D42-BE77-8FECB6F2DD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887a076b6d4f896f1fe32c094367ffbbeaec0d56","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfb8695a7058ed56b02db93e0ffa7052b1cea52","datavalue":{"value":{"amount":"+0.7245038747787476","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":"Q3776595$3450FFA9-057F-46A0-AC9A-C02014D4CC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60855bd0e3fad6671c450b1aab628f9cb5e6ae87","datavalue":{"value":{"entity-type":"item","numeric-id":3345755,"id":"Q3345755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df42e42aebea36404641d6696f92714b931be270","datavalue":{"value":{"amount":"+0.7239131927490234","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":"Q3776595$F22DA621-811C-441B-9852-A149E9402ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a21f49308eec859348b5476913e2736fa0c41fc","datavalue":{"value":{"entity-type":"item","numeric-id":5138481,"id":"Q5138481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab82160a3f1ef1712d7769b8244b536440f83c2","datavalue":{"value":{"amount":"+0.7147382497787476","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":"Q3776595$236712AB-5228-454D-8187-C6DA708043D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c667f66fadb0ce37b0f0d6dd88db3e24df5445","datavalue":{"value":{"entity-type":"item","numeric-id":808228,"id":"Q808228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645eade25eaf569831c5b192485aeae757705218","datavalue":{"value":{"amount":"+0.7114770412445068","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":"Q3776595$DE0B6C0E-1F48-4224-A421-B168A13881E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Protocol analysis and synthesis by structured partitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Protocol_analysis_and_synthesis_by_structured_partitions"}}}}}