{"entities":{"Q5875380":{"pageid":7904931,"ns":120,"title":"Item:Q5875380","lastrevid":55434622,"modified":"2026-02-17T16:19:07Z","type":"item","id":"Q5875380","labels":{"en":{"language":"en","value":"Good for games automata: from nondeterminism to alternation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649927"}},"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":"Q5875380$C5BAC68D-BC28-40B6-B30B-A52FBF9F14EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b462abade17206dfe317c85f5a037406cc4b0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1036524,"id":"Q1036524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$152CC7C1-72D2-4AF9-95EB-4F6C172D2DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a6dfb5d891e79479fbb9027d2a465e4007f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2011664,"id":"Q2011664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$66A07BA8-5680-43C4-8677-DFF9D17504AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875380$1289FFFC-5159-47D5-9D54-70C09CF163F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31204b6c05e927eb15285dca49c77c7c6f479e5c","datavalue":{"value":"https://arxiv.org/abs/1906.11624","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875380$733FDB1E-253F-4B92-8ABB-508EEC64E3DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875380$E804618A-C4E3-44E4-AC88-69050B79D7C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a35be4d77a4159c90b7511b78ea8333c51079043","datavalue":{"value":"7649927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875380$1C7CD81D-5CF7-4FE6-BFC7-8372C4970F35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81fa97d2ce1c8c36bcfa668f223b9b551545165","datavalue":{"value":"good for games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875380$4B5274AB-DA5F-48EE-BB74-30FE25E16808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df309bb275664f17b1736c1ae35d4487b1a06c3a","datavalue":{"value":"history-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875380$CFAE0841-6CA4-4E28-8AEF-FDFFECFCB8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248a1dce4178bcbdf50d1b921f9653b658d3d1b","datavalue":{"value":"alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875380$95A18043-9CA7-4E54-A0BC-519259A6DEFA","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":"Q5875380$7BD06E73-B333-49AE-B711-B26A2CEF2833","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00429d7d61e8bc73c2ae2b2c0966928c9609ae67","datavalue":{"value":{"entity-type":"item","numeric-id":5222950,"id":"Q5222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$1CC4E480-20AA-49B3-8928-81877614CF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27cc158694cee4574d6bb26e8e09ba06f91453ac","datavalue":{"value":{"entity-type":"item","numeric-id":5327425,"id":"Q5327425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$8DF6A68F-1744-45CB-9C8F-707C4558D64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8474e212e837f5e6be74c727636f13951268d0","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$0277A97D-F759-4E93-88FD-7980C7F4700B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741f5f02ca6d89f8b0d2961b021683395f493460","datavalue":{"value":{"entity-type":"item","numeric-id":3587428,"id":"Q3587428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$9B001232-C67A-4817-BF79-2457CFE7DFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2026a08a599dc8ee8740c155104912ba1e3120b5","datavalue":{"value":{"entity-type":"item","numeric-id":5114824,"id":"Q5114824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$BEBF047C-D935-469F-BA69-351BDA7C56AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$2516BBB4-F117-405C-B175-5BE38785FACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$02FE6AB4-5057-4DFD-A54F-6A2BA0F77A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$FFE69E54-F781-4260-8979-2F1FB3E4E753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff2f50e974d6091754401c09a34dc01c7266099","datavalue":{"value":{"entity-type":"item","numeric-id":2904745,"id":"Q2904745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$51A48DDB-18FD-4E60-8958-91AF90ECBB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6c1a2d45db13e11e3169dca5831edff0db7e2f","datavalue":{"value":{"entity-type":"item","numeric-id":2289060,"id":"Q2289060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$B2FE2F3D-3988-4D0B-93B2-1C7B505A5DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$E3A15CE3-3F6D-488E-9B91-217AAD29133C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8091299405c35479baafae89af1a807594a1d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$2118F8BC-EAB2-4582-A276-0BDEDC7F18F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad2bd33f7364db6e5c028f09f5805d0fafbd28c","datavalue":{"value":{"entity-type":"item","numeric-id":2576943,"id":"Q2576943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$10CDB841-A77F-45FF-AAFF-5F2E9F0D3678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde8141ba4069566f85f2bd48d3bb1e303f1786c","datavalue":{"value":{"entity-type":"item","numeric-id":5145340,"id":"Q5145340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$81D1B6E2-ED49-4369-9080-AABCAAAE349F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875380$40DE30E6-2010-45CD-9A04-C906E981F60F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6132bd8bc6345ea07e5a755b714aebf9c3296670","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875380$70E67E83-3505-491F-80F9-DE5A1031B341","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771760150652959d5ae0ede78e5a9e6926c508fd","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aab771577dbc10092c6f09082765b6892c39e77","datavalue":{"value":{"amount":"+0.8830313086509705","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":"Q5875380$179C7D9F-214D-4D21-8AB6-3441BEE5C627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942a00b32d00d6ed84ebd7f000aca00f86386c81","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e488744e12b1d6d5d7953bbb617dafa5884ab5","datavalue":{"value":{"amount":"+0.8745836615562439","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":"Q5875380$B9BDD7FC-3D46-4CD0-80D3-8B9ED2EDAD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe4d66d7905b0a2c51b95296b19ca4a4eadc7cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5090951,"id":"Q5090951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e35a30a20ab999717ff0e1bf51a0dd6355e0e04","datavalue":{"value":{"amount":"+0.862906277179718","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":"Q5875380$DC4CD84E-2AD0-4508-B146-ECA0DCC85D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f53c1d7a7743b43e958bcc3819e844fa2928e05","datavalue":{"value":{"entity-type":"item","numeric-id":5028456,"id":"Q5028456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355e064e317760e0f30865196c1dbc08da660d2e","datavalue":{"value":{"amount":"+0.8459739089012146","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":"Q5875380$7A42DFF6-D0FD-4003-ACA3-84EC2B9E328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f389a5f49b16d3badfcdbb472f9ea33feada4ce","datavalue":{"value":{"entity-type":"item","numeric-id":5145673,"id":"Q5145673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e64a4e63c783277abd05395c79948eb203771fe","datavalue":{"value":{"amount":"+0.8437595963478088","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":"Q5875380$4C531242-CE46-459B-8454-C67A138A11B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875380"}}}}}