{"entities":{"Q903611":{"pageid":905459,"ns":120,"title":"Item:Q903611","lastrevid":65220393,"modified":"2026-04-12T01:06:48Z","type":"item","id":"Q903611","labels":{"en":{"language":"en","value":"Nondeterministic automata: equivalence, bisimulations, and uniform relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6530456"}},"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":"Q903611$1995179D-AEC7-4CC3-86A3-1632BD3F70BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4042fd8ecf3ddb8db37083d132759e4081a80e8f","datavalue":{"value":{"text":"Nondeterministic automata: equivalence, bisimulations, and uniform relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903611$696F56DF-5706-42E0-80B2-EC2DB4747D27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36a5ab3e909f74135a230a5ace603602bb33c2ba","datavalue":{"value":"1328.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903611$33A7144A-90A7-49B4-9067-9728E1573ECF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c60bd938898689adab68c7f7e96b549b46942","datavalue":{"value":{"entity-type":"item","numeric-id":202019,"id":"Q202019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$A9C4B394-61E9-4A4B-8A4B-C5B5F94358F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9dbd12835b91871f4a94dc70c67c6b779fe435","datavalue":{"value":{"entity-type":"item","numeric-id":277557,"id":"Q277557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$2D44A159-BF67-4C8C-87A2-1E2118192B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f09ea999cc00e0ee5b12a1f0c5b0e95603c5bbe7","datavalue":{"value":{"entity-type":"item","numeric-id":423146,"id":"Q423146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$9CD8261D-36C5-44C2-8F62-50D2C6A2C88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"968dbb29b9cb10485ef4109c102b7b9236b59f1d","datavalue":{"value":{"entity-type":"item","numeric-id":279374,"id":"Q279374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$4D2CC09C-6B8B-4479-A289-68754D20328A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$D6512C1C-E327-4EDD-BFFD-1F1364322C78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af8734646d375c9ed0a45a0653e2a13055a52830","datavalue":{"value":{"time":"+2016-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903611$6CB4D1A0-8488-427E-9A46-A9DE5201E9CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"304ce8a91026b00e2b647e310c82b5a63cb8c093","datavalue":{"value":"https://arxiv.org/abs/1102.5449","type":"string"},"datatype":"url"},"type":"statement","id":"Q903611$D2B602A5-9209-4888-992F-15DDAA59759F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903611$B77EEEC8-5E5C-42F3-91ED-8C5C861499C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c79293d541071a71359b2455994b02f3b3fa4bc","datavalue":{"value":"6530456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903611$79CE9B6E-C88C-443F-B943-599194AD0DE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2278240e312c8ceb74b374704cc546cc465a92b2","datavalue":{"value":"nondeterministic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q903611$053D5971-2668-40F3-9FD5-1B2C6FA90260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39786aeae4eb8c95240efea5e129e721e20e9e71","datavalue":{"value":"equivalence of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q903611$DFEA2E4E-326A-4FEC-9532-AF068952E2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f4ea3c5276d97d794ad089f93ffab774c4a1ab2","datavalue":{"value":"state reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q903611$46CE0629-70F8-486C-8496-BD322ED8627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"433be7299bbf0378600b54d3a31919b5af156bb6","datavalue":{"value":"factor automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q903611$9D685FEA-0CFF-45BF-BA5D-41A533301131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec1f84457c238f7eafd828964ee80b7a6c18bb01","datavalue":{"value":"uniform relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q903611$B62A71EE-A15F-411C-A4BA-2504A7722D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q903611$AFBFC373-A932-4032-88CE-62E41B48F93B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"674cd60828bc007cb59f25ed895882f886c650f9","datavalue":{"value":{"entity-type":"item","numeric-id":17180,"id":"Q17180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$857F05F4-325F-49E7-8AA9-D1D07E588B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$079A19CE-97E7-480A-B58D-8D5459473A34","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":"Q903611$8209F610-B1CE-4571-84CB-CAFBD1E748FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ac47107ae9f11dfa9b6facda104224dafc0cd33","datavalue":{"value":"W1610582892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903611$8AF4AF1A-9FAF-4EFC-A048-92853416620D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$6C25217D-4972-4DC9-BDDE-A6D134948D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32948d3ff372c19a8bcb951a15d46cff7f662184","datavalue":{"value":{"entity-type":"item","numeric-id":5716792,"id":"Q5716792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$FCC07798-A31A-4FA0-9776-B3943B53FF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ddf410bd8bbe965ffc31aea58a5407e7f6f9a9","datavalue":{"value":{"entity-type":"item","numeric-id":3434682,"id":"Q3434682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$51B3CA10-8516-4636-95B7-880932AACA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09abea514e4ffebfee25f25ea21e16e103e40e50","datavalue":{"value":{"entity-type":"item","numeric-id":3452513,"id":"Q3452513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$BBCA7322-55E6-41D4-8973-2BFDE2197514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$0FFD0286-5227-4AE4-9298-5A339A11AD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$38DC24A0-501D-40A6-BFD3-45D24CBA2B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509fa3c2c7fe3571ced1d43a6a50daa7bfa464ff","datavalue":{"value":{"entity-type":"item","numeric-id":5387709,"id":"Q5387709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$ECE39135-B78E-4BCE-A10A-8BF07D33EF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c247f88e748ca6686c1f48da5b88e2108de6441c","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$9D86ECD3-DFEC-4649-9BB2-C33993C9A85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$B595096A-EAAE-4FBB-B04E-4825CCD99A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac9f83269a4faf9df72be2d75162e97aba1e517","datavalue":{"value":{"entity-type":"item","numeric-id":1575547,"id":"Q1575547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$653DFC55-37FF-4AAB-97B3-7F6B4BC38373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b85d58cb8865b021c78c99c4ea75514f7a04536","datavalue":{"value":{"entity-type":"item","numeric-id":1763699,"id":"Q1763699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$4D1CC41A-CAE2-4E23-90CB-A0159937E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$855403F1-30DA-4941-B375-1F30F4F5224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c82703cb3a78d0ce31c2351c8c1c3a26f8f4dbc","datavalue":{"value":{"entity-type":"item","numeric-id":703569,"id":"Q703569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$F23895A1-AA6D-4B72-94A3-3C087B234018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b09e8d4bfd0fab815f7aa4008f27455eaf0cc8","datavalue":{"value":{"entity-type":"item","numeric-id":991892,"id":"Q991892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$CF8DDCFF-A0B5-4488-89C7-AE02BCC12097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d424d1b8235e35618b4dcd0cb8b5cd6fa299c0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1037925,"id":"Q1037925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$F5279521-A515-483C-A223-6306EE82C1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c320676ff7c8523622205382f81dcba257d033d","datavalue":{"value":{"entity-type":"item","numeric-id":423147,"id":"Q423147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$110A3097-63E6-432A-B647-A439C5266AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a09165dd7f9afd347e879ee619c80d9e25db3d","datavalue":{"value":{"entity-type":"item","numeric-id":690916,"id":"Q690916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$20535068-31C4-489E-8112-3C3CDD1D60FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82c2111687d62f1e4114ea3bdf420bbd093d666","datavalue":{"value":{"entity-type":"item","numeric-id":5444962,"id":"Q5444962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$D6FD6966-8387-430D-9906-1E645B7EA3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97aba17fb2e1555a3c3e1f427f777e80a838d417","datavalue":{"value":{"entity-type":"item","numeric-id":988575,"id":"Q988575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$333AA13E-273A-478E-B66A-501A6BEDEE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfee5788a40d6a31d12e0d933b8fcdb3b198b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$B2730276-B7DB-4F08-B42D-4419F1145903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78ee78ca29e24a803ef6c263b643ea87f81dd7c2","datavalue":{"value":{"entity-type":"item","numeric-id":5053726,"id":"Q5053726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$FC6F6534-CB67-40FC-A53A-403679D7EB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$9974E352-30A2-48E5-8E44-0BE153AC2494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf2126ec31c7fc7d45c247c9431c6fae536e374","datavalue":{"value":{"entity-type":"item","numeric-id":1431342,"id":"Q1431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$A052CAF5-509B-4BD7-9263-654268DF7225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$A590850C-EA51-468E-B3B4-4F2503CE9C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd4c2af216429248e0dacec37030185cbe535dc","datavalue":{"value":{"entity-type":"item","numeric-id":3503899,"id":"Q3503899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$3696FD84-4C40-443A-A906-F0720A2B9DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66a85d1f994b8180b9b19c6c1d0aeb52923c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":840778,"id":"Q840778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$DF8B339F-4F77-4D73-87E9-EB67767FC3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc702a0cfbe4dd0b93806f3a04b7a0891c39972e","datavalue":{"value":{"entity-type":"item","numeric-id":2465969,"id":"Q2465969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$8D4F8DDE-66E9-4F06-835D-E93D0C41EFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b1fc4085217f95f2e5fa38dd91c8ea82bc3039","datavalue":{"value":{"entity-type":"item","numeric-id":1040916,"id":"Q1040916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$B58F27C6-2809-4B7E-8E84-18D3B653C5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b83052759603cfb5ce056e64445fecf2ad0f79","datavalue":{"value":{"entity-type":"item","numeric-id":969583,"id":"Q969583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$A5DDBE28-4CC4-49D2-977E-94814C547E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32ffdcde3258590bb18fbd8b9c5ea5df410929e","datavalue":{"value":{"entity-type":"item","numeric-id":4708581,"id":"Q4708581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$E1763F38-3A43-4ADA-ADD8-331ED5C5AE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea8d891f087a33e6da44f9df6d68a45022fbb","datavalue":{"value":{"entity-type":"item","numeric-id":1426461,"id":"Q1426461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$D18808A3-73AD-4DE7-813E-5F6556AE9F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c21f7dc6f1a4b31896afb5d675fe5a2882d1b1","datavalue":{"value":{"entity-type":"item","numeric-id":5894870,"id":"Q5894870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$993EC798-4B33-417B-AF80-020FB6944DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b0b645581622a5e0b727fbe2a6e0214f780c62","datavalue":{"value":{"entity-type":"item","numeric-id":5713553,"id":"Q5713553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$0F4E8CD5-0F30-4228-A8B6-A5ABC9205EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53270d94204aee2f56f13f586aff5e9ddfb1ff8","datavalue":{"value":{"entity-type":"item","numeric-id":543822,"id":"Q543822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$793A2D1A-A1A2-471A-8157-59FEF284B433","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":"Q903611$02230A78-63EA-4C38-BD7F-2F789DB48EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65233fb7408e7e8216ed2033d577755014f4e62","datavalue":{"value":{"entity-type":"item","numeric-id":4549484,"id":"Q4549484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$279B7B86-79C8-4EB2-85D4-A490E94BD891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$BF7A598E-FCFC-4587-9C67-E00E08F426DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9677590229abad11d5d8d2cc79d3049581524b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4737155,"id":"Q4737155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$10F6BC4D-A0E5-44DC-A614-6F0590732C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b333d6a006acbe0d0ad3eb5e95552416428b612","datavalue":{"value":{"entity-type":"item","numeric-id":1770384,"id":"Q1770384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$D440410B-498F-408B-9A0D-E0C033A85496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$0045ABE0-94DB-42A7-8E77-0A6949F4B6A3","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":"Q903611$5CA0DE79-2382-46B7-97BC-9AEE4496610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$08C5AEED-2387-4E30-A821-D58B08E5E5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$64844901-C7CA-4E1E-AEBD-E1F68DB1CB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$3F44D120-8224-4438-97B9-B8A2193647D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$AFBB37C6-CAF2-4A00-A08E-43F5411026A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9fe020af1c063dd5e233b5c6afe6d71543283b2","datavalue":{"value":{"entity-type":"item","numeric-id":924726,"id":"Q924726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$ADBB7680-6BFD-4899-9C98-AAEE0DF06FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f09d97218a8fe068df0062675d84797c7bef8d7","datavalue":{"value":{"entity-type":"item","numeric-id":1575240,"id":"Q1575240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$61BDF6EB-6C5B-4ED6-9145-057F1E20DD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$3EECA44F-E91E-4772-9B1A-8946634BCB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a512adb334a8450f222a76cd490d661d7c5e2f1","datavalue":{"value":{"entity-type":"item","numeric-id":5458835,"id":"Q5458835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$28C3D0DF-9D8B-493A-838E-5DD65CCD900F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$62E78A37-F18D-4628-BAD4-8A132D3FE623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d6dc2a44e10b14dafdfbecd3cc59ce2dcafe3f","datavalue":{"value":{"entity-type":"item","numeric-id":3499247,"id":"Q3499247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$688E8325-1F71-4F68-815D-9211E47518CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7181433f7a30c6019bb836b85bd521bca4a30d","datavalue":{"value":{"entity-type":"item","numeric-id":726556,"id":"Q726556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$6217FA13-1BBF-47FD-A483-BB244108ECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903611$A4EB4521-B678-4714-9A83-614FFA83D82C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e830e6272fadbe6caf9f1523028e146f73386ca","datavalue":{"value":"10.1016/J.INS.2013.07.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903611$7D5A0FC7-64E1-48F1-8D99-FEE39699D552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d02e8cb2959057d3c3fd9e09358364c98aba44","datavalue":{"value":{"entity-type":"item","numeric-id":423147,"id":"Q423147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf90a86c5a7eef578126a74e6ddbcfd95d482b4a","datavalue":{"value":{"amount":"+0.8394759893417358","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":"Q903611$976084FB-FCD9-4F84-A871-FD40A43BCE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93e853f06e4b0b52c71817079c949b16807e6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2708951,"id":"Q2708951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe85b9cc533c2f61781b64f6770c58b62fb68f8","datavalue":{"value":{"amount":"+0.8245396614074707","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":"Q903611$40170E20-EDD5-4525-8812-DEA8E377BD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f39e937dd49e7119b7d439395ad804b043cbac","datavalue":{"value":{"entity-type":"item","numeric-id":279375,"id":"Q279375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc21943588722edc8223ec336f15b4c43bf981a","datavalue":{"value":{"amount":"+0.8040236830711365","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":"Q903611$DCB9F5CD-12DD-4FDC-90B0-D9A9CFF07C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5f8b36b499447f7a52c44d089bbc1077666394","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e2012b225364ce8ac90a4b472997957e6beb7b","datavalue":{"value":{"amount":"+0.7695249915122986","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":"Q903611$B6592C96-FB2B-4747-9E56-00F1C0928968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97cc84cce017ea9f19c786485df9b1178b5b4f6","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ac56e96a85d67873268f41c98df4250d9dc337","datavalue":{"value":{"amount":"+0.7606883645057678","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":"Q903611$A322530C-08CB-4913-9C7B-53797587FB49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterministic automata: equivalence, bisimulations, and uniform relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterministic_automata:_equivalence,_bisimulations,_and_uniform_relations"}}}}}