{"entities":{"Q2961555":{"pageid":2972280,"ns":120,"title":"Item:Q2961555","lastrevid":58075839,"modified":"2026-04-03T17:14:36Z","type":"item","id":"Q2961555","labels":{"en":{"language":"en","value":"Static analysis of communicating processes using symbolic transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687351"}},"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":"Q2961555$D7291F9E-F28A-40A8-A1E4-93420A46EAA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af13373452dbb2b2fbe0c028bbce5c4d25b6e93","datavalue":{"value":{"text":"Static Analysis of Communicating Processes Using Symbolic Transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961555$5F67B307-A28E-47F8-90E9-52A27B71ADEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2db970067ba0973ce5831c8d96fd5d1a50703285","datavalue":{"value":"1484.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961555$9D116A10-CE9F-4319-BC3A-DA2C7ADCC991","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebe294824b7fc8e55f3866e980011600a9e9ecaf","datavalue":{"value":"10.1007/978-3-319-52234-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961555$E1CC2C7C-3905-43A7-A715-557FE3F2A607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"717ce519f8a310b2682f5e1c257e7c45f78ec4e1","datavalue":{"value":{"entity-type":"item","numeric-id":2961553,"id":"Q2961553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$3333DB3F-24DE-4A27-8A38-8DE275588203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"427c394e5588d37e1562e00daa91d0e2c8293445","datavalue":{"value":{"entity-type":"item","numeric-id":2961554,"id":"Q2961554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$74C12BBB-EF89-444B-921F-66C97A078DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5476bcb6b1d8c92418967d714dff7d7b486f51","datavalue":{"value":{"entity-type":"item","numeric-id":434468,"id":"Q434468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$6A74EFE5-161B-4FBA-BFAD-6116733B10DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$9E0E99B9-D421-43DB-816E-7A87CFA3AA15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2961555$840EA13E-0C72-4F30-A90E-66C877B7097B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d2d8501f4c8dcb199d43a6c29158374fb3e3146","datavalue":{"value":"https://arxiv.org/abs/1611.07812","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961555$4DEC54D6-FAA0-413D-997E-E0A7597F0EBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961555$2E45C4AD-01BB-42FE-8CB9-5E19EB191166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961555$513733F5-1DE6-4CCF-B18B-DB5B4F3CA1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961555$BD6D9A02-55B3-4D8D-99FB-461A1F268F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961555$D1DB1726-1055-4FA5-9C6C-BDB399F78783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df994009830b8ac14e9d5e3a3a245f6954275258","datavalue":{"value":"6687351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961555$EFC7588C-809C-43E5-B1D0-9F741770DEB8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93dde9a72219921168db3e66d7814c359d3f6645","datavalue":{"value":{"entity-type":"item","numeric-id":38549,"id":"Q38549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$78F9DDF7-F86B-4E95-B35D-59AD4F4231C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$45022345-A9AE-44E7-A63D-6B1869A05AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f4c17796e229e6e7e123ed82c1d390311f97bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":17046,"id":"Q17046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$A373EAD9-D2D8-4F2B-BAF2-8703BB93A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$8EE4ADD8-74A5-414D-9DBB-4F2AF73A70BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28f560908fd8637ed84ec7b61f89df56d43e380","datavalue":{"value":{"entity-type":"item","numeric-id":18600,"id":"Q18600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$798F6245-6C8D-43CE-BCFC-BFE3E69627EA","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":"Q2961555$40F05C41-76A4-4C5B-810A-824277C50863","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2738bd0f9cc47dcd700bb6efb84d888feb6c655a","datavalue":{"value":"W2549993418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961555$195F5ACA-6AFD-4537-9667-EB4115591715","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956690664b3e12f680b0245467bcc703a87c0ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$99F1D4D8-2A2A-46EE-9817-0B03E620DD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8a26f03dc3548a7c73b353d34cb90397767b55","datavalue":{"value":{"entity-type":"item","numeric-id":2961555,"id":"Q2961555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$0EF0DCFD-8D69-4487-B272-D8D6C7A31DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$2EA742EC-E9B6-488E-BA0C-FB50928082DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3287fd8eb778b70a2959c55e051793bc1afd2037","datavalue":{"value":{"entity-type":"item","numeric-id":3611994,"id":"Q3611994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$7114CDD7-19C3-461F-94EB-78522BC4160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$29172AE1-E987-4B80-8544-E9925ADB2154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0800ed1fa7e9f20d3dc382bf09fa43ecc4726d3c","datavalue":{"value":{"entity-type":"item","numeric-id":2938060,"id":"Q2938060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$3C584185-B4A2-4A03-8E2B-7F7564AFC062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41b54fca374849eee39cfc7458a5f8e678686e3","datavalue":{"value":{"entity-type":"item","numeric-id":2942866,"id":"Q2942866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961555$F1C298D9-62AE-4266-8CD1-7730D7219D77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9724616ddcfd461cfe078391b9d84530184cad","datavalue":{"value":{"entity-type":"item","numeric-id":6116579,"id":"Q6116579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f448c507faf8fdbef9628ca899bee2d99bbf195","datavalue":{"value":{"amount":"+0.7786073684692383","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":"Q2961555$195D4CC9-FAAC-4249-A932-2BB7503E5FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5144645ab21fd8c810b17c7aedb26b47e33655","datavalue":{"value":{"entity-type":"item","numeric-id":6041176,"id":"Q6041176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127766f97819d000f344b7064fe62061e5850643","datavalue":{"value":{"amount":"+0.7686283588409424","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":"Q2961555$7427A6AD-1501-46D7-B01A-FEF24A534EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4df95f3c3b37af1ca7c124e81edfa9dbd75ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3773311,"id":"Q3773311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8261cfaca5d52574bca81042bd20a007ca6e026","datavalue":{"value":{"amount":"+0.7528007626533508","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":"Q2961555$9E8DDE31-6E31-4861-895D-CC35038952CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f053beef2992a6eb6c8a6e7c69aa91d73e3bef7a","datavalue":{"value":{"entity-type":"item","numeric-id":5696926,"id":"Q5696926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d665e914191c6e16fe3a488234a8143acd0cee62","datavalue":{"value":{"amount":"+0.7402395009994507","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":"Q2961555$09AA99A9-2D08-4100-AE2C-C33349F04C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80bdc1978d2b4ffa7991ea350b7af105e7f93d","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e465a21e3a4505fbb87c527564fb239e916aa49","datavalue":{"value":{"amount":"+0.7402393221855164","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":"Q2961555$D55AAA20-CA55-440B-9846-B70B4614B028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2961555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2961555"}}}}}