{"entities":{"Q3201754":{"pageid":3212462,"ns":120,"title":"Item:Q3201754","lastrevid":49444543,"modified":"2026-01-07T04:16:43Z","type":"item","id":"Q3201754","labels":{"en":{"language":"en","value":"Undecidability results for deterministic communicating sequential processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178758"}},"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":"Q3201754$77B714CA-25C8-432A-BF18-832941E5511A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6365a70b022f4ac06d8b5ab5ab09bd53912da66","datavalue":{"value":{"text":"Undecidability results for deterministic communicating sequential processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3201754$DC84897A-554A-4B65-AF12-4C56FAA5EE8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"030d9a694f0e36f86b58db122c8fabbbb5bb5449","datavalue":{"value":"0715.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201754$10BB00B5-0872-411A-9EE0-E6CAF2B87798","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbb14e71930775c33028b473ed4868850c72eea4","datavalue":{"value":"10.1109/9.58531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201754$34C9DAFD-DA0F-4991-A8F4-DA30C6701B49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99ad32fee7d358d10b257674d43670f744dedcdb","datavalue":{"value":{"entity-type":"item","numeric-id":1198587,"id":"Q1198587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201754$0AC3B2DC-912F-440E-863B-4AE1398EF1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ab24fa2ad30bbb0ba0ee660f952f9f586627d9","datavalue":{"value":{"entity-type":"item","numeric-id":1906866,"id":"Q1906866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201754$170BB1C1-CAD1-47DE-A736-D157B9FD0E9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201754$75D747F3-64C4-485C-9BE8-47CBD9C049A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3201754$87FE3B3B-A994-458A-ABC7-6122274A00FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201754$73AF7486-C164-4E60-A2BC-AD33D03AC018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201754$67B9CEBB-E27F-4901-94CB-9C419AA76A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201754$F37E5D35-49D2-442D-A79E-CC236EDB9F46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4998aa8773af0b8b5ccd8205d7003fe7ff866505","datavalue":{"value":"4178758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201754$344532BB-4EBB-4B76-86BB-D11CDF160D1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201754$C7D14D22-3BF6-456A-B5CF-FAF17538DB89","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":"Q3201754$03B57FB3-A1AE-4C70-8D95-3409F959ADAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2322d52bf2220392eb813456d566120db3b97d1d","datavalue":{"value":"https://doi.org/10.1109/9.58531","type":"string"},"datatype":"url"},"type":"statement","id":"Q3201754$D2194947-F805-4887-B1C4-F799ABD46900","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f59ce647b89c08e900897d0e860977d3eee50f6","datavalue":{"value":"W2139150329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201754$0947AD02-622F-4CDA-A57E-7762F49D8DF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317ea9d33346e02730a898d464423027e5d210c0","datavalue":{"value":{"entity-type":"item","numeric-id":1113665,"id":"Q1113665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b19cea20c241a47f9d3710ec56d7c79597a12d3","datavalue":{"value":{"amount":"+0.8167634606361389","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":"Q3201754$B8086E3F-6E8F-4E72-9CEA-99CA7C4D4341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecaf608f97117af5b5e69dc2264c563d8c76828a","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7044289651aa385c738ac1895347067353a14097","datavalue":{"value":{"amount":"+0.7887202501296997","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":"Q3201754$16349CC4-435E-4803-B20D-1924ECA3C0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6d269bf70b4186a05d0dcfea868bf27500ce16","datavalue":{"value":{"entity-type":"item","numeric-id":1269916,"id":"Q1269916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d450721c36f8c5db66bd41445846a18a8ad1ae9f","datavalue":{"value":{"amount":"+0.7884504795074463","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":"Q3201754$731CF890-D443-4890-B4D4-7C984393CE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4349491242e40d0f2631481009db3469a38b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2735908,"id":"Q2735908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7957d4956282e1c7d967cdf8d562d8abff987527","datavalue":{"value":{"amount":"+0.7804773449897766","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":"Q3201754$FE568439-4AC1-4FE7-A4C1-50216DF7FB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa4dee41d93fcd94fa5a3036e40c98807202e0f","datavalue":{"value":{"entity-type":"item","numeric-id":1098622,"id":"Q1098622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956e45bab121de9dce50f45d5ccafbfe8cf687c6","datavalue":{"value":{"amount":"+0.7754923701286316","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":"Q3201754$8F2A1393-CA71-40E8-9AEF-F8A63E5FA94E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201754"}}}}}