{"entities":{"Q6163884":{"pageid":13298765,"ns":120,"title":"Item:Q6163884","lastrevid":98745665,"modified":"2026-06-05T18:23:09Z","type":"item","id":"Q6163884","labels":{"en":{"language":"en","value":"Better automata through process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719260"}},"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":"Q6163884$95842945-62C6-415D-A5EF-AF0F61438C43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff682386ebb8258080e6713b3bc19b66fd90c3fc","datavalue":{"value":{"text":"Better automata through process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6163884$345D5467-1106-4C7B-9A90-14E83437E60F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82b4c59872fef822824b5e68ba6c0958451a93d3","datavalue":{"value":"1524.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163884$C7836981-3FA4-4F4A-95DA-31897660E35E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48eea719ebb85aa178e9d6b9ebae66381b8332f7","datavalue":{"value":"10.1007/978-3-031-15629-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163884$3E21C6DC-F7A5-4658-8DCB-5DA8274A7F7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$03B21D13-FCD2-47C6-9060-32648708180A","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":"Q6163884$5D4BCC89-93F0-47B9-BA2D-947A3081C45B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a737b362c9cc4a7577c7886e9ed43c21a3fff2e","datavalue":{"value":{"time":"+2023-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6163884$B8F3E67A-9CAE-444A-8010-1EEFFDA8ADCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b86fdfc56553cbe3452c3e926972f04f52b88b2","datavalue":{"value":"https://arxiv.org/abs/2002.07562","type":"string"},"datatype":"url"},"type":"statement","id":"Q6163884$EB29F9F8-488C-42E4-9425-A7A6AEA44705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163884$ADDE67DE-6CFE-46A9-8795-792805A0FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163884$2028D2F6-95B0-4A43-8929-41ECD1BA6DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163884$5B7A0E17-6D1E-442C-A2F9-8E4BDB1FA4A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9bc3581d1ce2853345666500af3970e6af591b9","datavalue":{"value":"7719260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163884$E84FB6C5-779E-4CD3-BE49-AD00E7FBE9ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163884$3331E83F-197D-4F90-8CFA-DF9C9FD71EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163884$D0CC730F-E355-49B1-A8AA-6FD0165DF21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163884$01F630C0-1027-4935-BFBE-C6123597370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163884$932175E9-503F-4FED-B9E9-D5202467780C","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":"Q6163884$3FD7D64E-9606-4215-84DD-9C0CF3D0FB95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cbe02d4b096c7c40a8fade9d5630ace592a21e6","datavalue":{"value":"W3006493675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163884$AC0D3D91-77E6-4B39-8CD5-B2575CA4F025","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c470b811b3ae857bda9e3928eb08971e10759b3","datavalue":{"value":{"entity-type":"item","numeric-id":3546331,"id":"Q3546331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$440CB4B1-01A4-4E76-A4BA-516F8B41D6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf72cd39e1a458db54e84dc9cd6dc2728e5f092","datavalue":{"value":{"entity-type":"item","numeric-id":580983,"id":"Q580983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$312EEF13-6653-47F3-B44F-D42493293752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$6F0991E2-441F-45F5-A602-DF06396B3E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5567522ec2d7bbb27b473ae4e0d72f1a0348dc03","datavalue":{"value":{"entity-type":"item","numeric-id":5957895,"id":"Q5957895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$5DD0DD5B-EBC2-4B23-9BD8-D6DCE167FAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$1D5FFF0E-F64B-440C-A681-22C7BF16C0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f300bd13b8af1abb98382432d45b6ef216b919f","datavalue":{"value":{"entity-type":"item","numeric-id":6135767,"id":"Q6135767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$5AEF007A-0FFF-438C-84CD-6983977E9783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$CBDA8BFB-5BC7-4CBC-916C-3C2C67378818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$1875251C-E3BB-4960-90DA-18411AB14860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$1E93B174-45BC-4D07-9CCD-9A40A30D1635","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":"Q6163884$3CEC9D03-5AB8-4992-AAA8-BA78E4EFA53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$09F41F14-5ED3-4BC4-A625-7A25D6B1947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$2EFA831D-3A12-4C23-9284-38D8ABF5DF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$E5E621F6-661C-4FD9-BCEF-41023E26498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$DBB80FD6-05D8-4BAF-A4FC-4DA44516633F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163884$C0309EF6-0F5D-4E6F-BEDC-67CEA02DD983","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b94bf866516dd2f7ba57c29638658a875d90074","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e738ca97f2dd18e6efb28cb24ff3dc1ea76693d3","datavalue":{"value":{"amount":"+0.7476207613945007","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":"Q6163884$49668314-D932-40BC-AEEC-677D4C1FDDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829c1d2a3e6b15a9714942a8c383519550fd482a","datavalue":{"value":{"entity-type":"item","numeric-id":5422504,"id":"Q5422504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8154723ed01635edd5d4eb3538bde0e0c03e7a","datavalue":{"value":{"amount":"+0.7471211552619934","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":"Q6163884$880AEB27-2BAD-40F0-BB02-945C1146452F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee7043654f4cd3dff9f84dd84402a8d6f864d8b","datavalue":{"value":{"entity-type":"item","numeric-id":4037400,"id":"Q4037400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db427cf977b451d7a866f3dc9ff69cbdbd38c392","datavalue":{"value":{"amount":"+0.7419782876968384","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":"Q6163884$AEA260F2-0FFB-4E21-BEDD-3A0F2E75373C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c48234298edb118d9ea89657d72fe470b1ab4e","datavalue":{"value":{"entity-type":"item","numeric-id":4683191,"id":"Q4683191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689815aa4a8cef5be33d5c8d0530f29d3a647776","datavalue":{"value":{"amount":"+0.7410861253738403","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":"Q6163884$0E78DD73-030A-401A-9106-491D37A037A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d541e4054f6ef0003fab8900ecba58d6ecbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":4037106,"id":"Q4037106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf661a61c06beae42c4f440ff733aa799536343","datavalue":{"value":{"amount":"+0.7404833436012268","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":"Q6163884$F498B99A-1C8A-41D7-A448-31AFBB068C25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Better automata through process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Better_automata_through_process_algebra"}}}}}