{"entities":{"Q4630301":{"pageid":6659883,"ns":120,"title":"Item:Q4630301","lastrevid":53402207,"modified":"2026-01-24T21:53:34Z","type":"item","id":"Q4630301","labels":{"en":{"language":"en","value":"From domains to automata with concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045152"}},"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":"Q4630301$B5EE91FA-484C-435B-9BD4-B4AD336BDABD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf5c3516809d3fc2a330054d89b5c5125aee37e6","datavalue":{"value":{"text":"From domains to automata with concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630301$507EEE1C-DBFC-4D77-9373-5004E56C8F59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f308ecdedd1301a8e65826793e50b39f9d8befe0","datavalue":{"value":"1418.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630301$17C50B3B-A1CA-4BDD-B939-7F96E4FE3065","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"126197c173d67d9a7cfb19de4888980af94d8e05","datavalue":{"value":"10.1007/3-540-56939-1_111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630301$F4BAD071-2824-4A0A-B005-C76F39E968F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64863be0319920cc6c21b1a1ace41b768be54dc1","datavalue":{"value":{"entity-type":"item","numeric-id":1269905,"id":"Q1269905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$588241ED-8D09-4196-8417-A44D03D841BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$A144750C-DAF7-42CC-85F7-3DC674020D8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$8356130C-66FA-4393-AD45-541FFB2EAE8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630301$7B846BC6-E65C-41DB-9C32-C4A0BCB9CA2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630301$7EA7E201-DFDF-4F41-AF5A-5D69F9DF0B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630301$287DDD12-2176-4A11-B1EE-927AF3C07D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630301$C2820CF3-8D67-411D-A7BA-D64BEE7557B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a95a056f6b198a6436c91d85095c4293ac4a352a","datavalue":{"value":"7045152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630301$ACCB16EB-0C8A-4AC8-B1F1-72BE17AF95FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630301$7B82C360-ABA1-443C-9B95-182271A19EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630301$20AFDABD-0A08-4CDA-94CD-3DDD02276FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f785c84194ac5c0b5659060f8d2cb8c1799652e0","datavalue":{"value":"computation sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630301$B145B37E-F3D8-4E50-BDE2-4B21F6A538E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630301$44F0C12A-1D21-4D35-990A-918602661427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db9f4e50b2b1d13013c7b761b1bab0920cbfa0a","datavalue":{"value":"trace theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630301$C5ACB0E1-9F25-4F90-AF2C-3344AA17623C","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":"Q4630301$685F7092-79BA-46DE-BC19-40AC65722529","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6011062ca18c2796fcb9805a6d6d9075d8519e7","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_111","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630301$1EEEBBEB-AAC9-469F-B2AE-FF3B4B921B1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b11d26ae1b5ac1fb76b7c9ccc42c3330c69ce90a","datavalue":{"value":"W1549720865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630301$F2A4678A-7203-451F-8528-ABDB3C742C6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$F9027B73-F881-4162-AE7A-5C4779F706D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48bbd73295280ff5d0f78ccdb99f56e2b1458e7","datavalue":{"value":{"entity-type":"item","numeric-id":3766854,"id":"Q3766854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$1357190F-8409-4DF6-9206-D757F69E153B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$D1E8C812-12EC-4869-B9D7-7BEC331B8E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$095495BF-9F1F-481F-86C0-EFDA74E2247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc92ca11bc977aa61e1972d54a053c777903b06","datavalue":{"value":{"entity-type":"item","numeric-id":1346626,"id":"Q1346626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$5E72F8C1-73C0-4FD8-8212-6E77F733DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$A85D3121-BA9B-4251-9867-F99EA46BDB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17c64b057f13f753823ea0bbd83f2dd58d554c1","datavalue":{"value":{"entity-type":"item","numeric-id":4038692,"id":"Q4038692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$B91B6B3E-3A4E-47D6-89E5-57400F508644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5ec92c8df56738d5a6f6f71cb95d0131f17ba2","datavalue":{"value":{"entity-type":"item","numeric-id":4032921,"id":"Q4032921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$1CDDD97B-C110-42F1-9E76-74C949155854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079e9e78b985ab6b382e356ff5804967eb351b43","datavalue":{"value":{"entity-type":"item","numeric-id":4288284,"id":"Q4288284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$ADC93E1F-7279-4C44-8ADC-4CC28EEBFE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$B5334948-4901-4A63-A14A-14F766D82886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$386C3460-051D-4474-83FA-2844F48968B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$ED1CE68C-0507-4229-BFD5-52632C52C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc5bb0d3390566e97bc9e79683e53c1672ed910","datavalue":{"value":{"entity-type":"item","numeric-id":3795195,"id":"Q3795195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$DC39554A-CC27-4068-B892-B993B5E5A237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$928A4A45-1E34-4C4E-9E78-E81F0BA7679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3107215514768b76dfe702ef046922ebcc501e81","datavalue":{"value":{"entity-type":"item","numeric-id":1119395,"id":"Q1119395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$C29DBF39-FE63-4A28-8B06-93AD1C4BBCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5275a92478d7e9693f19747fe2fd0776c8421dae","datavalue":{"value":{"entity-type":"item","numeric-id":5096251,"id":"Q5096251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$90C4B94F-1608-41B3-8D09-C573755E29DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc42bb1cedfa50547fb0263f1fc2d34bc80b11d","datavalue":{"value":{"entity-type":"item","numeric-id":4282582,"id":"Q4282582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$7ECE53C6-4F30-4246-8BDC-BE6072FBA062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75afb9425a031677acf5fea6519751421d25de4a","datavalue":{"value":{"entity-type":"item","numeric-id":5887511,"id":"Q5887511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$2E8E7C52-4110-4295-81AB-D7FB874EA239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$08BCF03B-AC5E-45EB-A63E-405409AA4982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630301$E54AC318-A71A-4B58-9A3B-8610EE2FDF97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adce5013ca45b902ca0ce013c8323741db9d1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":1346626,"id":"Q1346626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486f0a64236ac21a3978496e2f522638d0f8b659","datavalue":{"value":{"amount":"+0.9811611771583556","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":"Q4630301$60B36DBD-D608-4EED-A56F-D6E30A073B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74e58fea4f037928fa891c0f10ed9d9754bfdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4038692,"id":"Q4038692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0a56f7cbe562e95943a9a22ce9d2f65f23ea47","datavalue":{"value":{"amount":"+0.9143611192703248","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":"Q4630301$D039C21D-B101-445A-BBCB-717160E23461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e834bee79b5d3d5e094f9194afdbd01c5998d0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4596645,"id":"Q4596645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0a56f7cbe562e95943a9a22ce9d2f65f23ea47","datavalue":{"value":{"amount":"+0.9143611192703248","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":"Q4630301$32F3D3E4-FC63-4984-A602-76A226669B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58cbe32e038abc6f357160c10261c10b9e69f3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4032921,"id":"Q4032921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4bea96f455d8ebc629e8bdd8d44e5ae24b429a3","datavalue":{"value":{"amount":"+0.8875920176506042","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":"Q4630301$4EFE3278-9AE1-4A38-9D5B-9B6CE4DEFE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbd86d55f22770efda31819e0c3a32c37fdebef","datavalue":{"value":{"entity-type":"item","numeric-id":1269906,"id":"Q1269906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d752295df63a6df3a44c1cfd71f06448893d739d","datavalue":{"value":{"amount":"+0.8873748183250427","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":"Q4630301$6F24D919-C1BD-4C52-A6DF-7CF97003E12B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4630301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4630301"}}}}}