{"entities":{"Q2234061":{"pageid":2244804,"ns":120,"title":"Item:Q2234061","lastrevid":71633742,"modified":"2026-04-13T23:32:12Z","type":"item","id":"Q2234061","labels":{"en":{"language":"en","value":"Proving the existence of fair paths in infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410636"}},"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":"Q2234061$FF3BE7DD-918F-4F34-808B-639DFFC6B2FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ba3fad5636ffc84e13c6def169498f972389c57","datavalue":{"value":{"text":"Proving the existence of fair paths in infinite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234061$CC7CB43D-BA0E-4F23-802B-315093625DDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c2b8f4e1cb966643a701ba78578d036d38c01c3","datavalue":{"value":"1472.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234061$C8B2CF88-AF0F-4A5C-891E-8D23484BB5B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b931eb7a68a1e93f465611b4585ff06b252a6eef","datavalue":{"value":"10.1007/978-3-030-67067-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234061$577ED44F-8F61-4709-B3DA-D9A82177F177","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$E9016B6C-C989-4E77-A325-96A85B9F559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$DF09378C-6F8F-4630-ABDF-7674ADB24EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c8588fdb15e2d7e9db628e34ff6a47867e6b3d4","datavalue":{"value":{"entity-type":"item","numeric-id":2105459,"id":"Q2105459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$B67309B7-CCA5-43F1-AB93-0F4AB0E95192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234061$04077C4C-62E2-4EF8-9317-1DB3DA881CEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234061$1E43F93C-1F02-4627-97E4-CAEB65F588B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c67b864cc9cd48ce13f969dd757264ffefb2440","datavalue":{"value":"7410636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234061$D39D4CE0-85E6-4DD8-A37A-FD8FA55BA6C9","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":"Q2234061$C41970DA-C568-43C3-BE97-0066B3B9A940","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3893972778c2c75416fe16c5a633233466d1fd33","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234061$0C8B5571-C46F-411B-9949-FEEAD97D5B15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25fd7da07d3ba6f664386e565e631a3b990b1f8d","datavalue":{"value":"W3120288634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234061$78D4B355-D456-4407-95D7-0BF5BF407AA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$DD4F751D-92A6-4218-9961-C6CCCDD8B026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$1269D2AC-40FA-4A67-953F-78B42ACDF0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0eb2d92e10c24dc1e8b70a007cfdb556d6a574","datavalue":{"value":{"entity-type":"item","numeric-id":5408048,"id":"Q5408048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$D782CE72-5D75-499E-A0CB-56225436E9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1533546590c4a6b9a18b81fbbdbc821fd0f061be","datavalue":{"value":{"entity-type":"item","numeric-id":4640287,"id":"Q4640287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$33464D6F-182C-4C75-8ED9-3DC31DEBEEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$10BC3531-1C48-4EAE-956C-6157E345BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$91C8295A-1343-496B-830F-7F7C6E370E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f822690fec54c0059b31057f0280a42310fad20","datavalue":{"value":{"entity-type":"item","numeric-id":6194959,"id":"Q6194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$2FF22755-1ABC-412D-8004-9C18390F9287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496e14ecdffc2cad9f4851b7222062655f3d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":3176370,"id":"Q3176370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$7B2A4534-FB60-47B8-BF1B-FE5B01DB58B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12c8e6968784fcf3cb8105db0edc338d9a5ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$1E375062-812B-4D1E-809E-7F06455EF982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$1760ED0B-029F-47EA-95C4-A98C253173F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60bf0b82585dfc6b6150d01493d12c11c97e4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5092319,"id":"Q5092319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$7D7D804B-6C06-4631-B9A5-D05599FF9205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7487e8571cba3063ef9a305ba5dd106faf1de1b","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$12569EE6-0657-47B1-A76A-0001D3A68F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316877b526d468719217a373abc9f79e0e35757a","datavalue":{"value":{"entity-type":"item","numeric-id":2505624,"id":"Q2505624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$6C833615-A92B-4429-8C6B-E34687B891DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a88480fe65be056db65097d1e9220f806bbeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$D99C1791-498C-4402-9469-D0DAC911E433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819e3f56ab0d900c2d1df022a982559393111eb2","datavalue":{"value":{"entity-type":"item","numeric-id":2324233,"id":"Q2324233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$778150A5-2C1A-40CB-9413-52CF12AA734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29c51a0e7698d5c431a6acfb9a15f6606a13782","datavalue":{"value":{"entity-type":"item","numeric-id":3648834,"id":"Q3648834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$367ED7C7-9DE7-42B7-9DD4-D0FF0BAEBE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0af101ec2b4a57a5bd6580fb73a1e1551fc121e","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$576DE769-57B6-46BF-B354-258674E59E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426e2dec292567619d8946d3b9c6e612c9eee6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$F94716BD-7CB2-4842-9684-638469E7731B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b682a7759c78d8128ea2ef59d90cbd98256969","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$FEC6F039-B99D-429B-B8B6-1D705C701BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820738a090159326019a3bfeea91c7b5c48d8884","datavalue":{"value":{"entity-type":"item","numeric-id":2986759,"id":"Q2986759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234061$918400B5-E277-4E96-9CE5-98B63945EB8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd86cec7235fdf05aa43a237649563d08463cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2147176,"id":"Q2147176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8a64e60cb006a02a7f7fcf0a0ef96305d23738","datavalue":{"value":{"amount":"+0.8798398375511169","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":"Q2234061$451DADF9-08C7-439C-A476-F76228CA1D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743d45b4c40cab77997305483320084ddd182127","datavalue":{"value":{"entity-type":"item","numeric-id":5194957,"id":"Q5194957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e846d2a92754b81949d0802203dc3749a22b1f8","datavalue":{"value":{"amount":"+0.7652944922447205","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":"Q2234061$36671B85-568B-42B3-8DF1-2FAB821ABCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3aa6c350199dc3410ac78f39e98def62696b47","datavalue":{"value":{"amount":"+0.7096078991889954","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":"Q2234061$D3F4EACD-7556-488C-918B-264764DDFADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5309f9f0c787879266f3431e62e7006d531a246","datavalue":{"value":{"entity-type":"item","numeric-id":4779118,"id":"Q4779118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73193366c7121a08e77bc94ef637721506f90ae3","datavalue":{"value":{"amount":"+0.707951009273529","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":"Q2234061$521037E5-B74C-4993-BCA3-8A2D75CEE7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64803d15e2f2156a3632536b4478e1cd79eb6d0e","datavalue":{"value":{"entity-type":"item","numeric-id":5395127,"id":"Q5395127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66c07d418fba89f482e9ac7ce6bba1128509707","datavalue":{"value":{"amount":"+0.6970204710960388","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":"Q2234061$A534FCF4-84F0-4D2A-8D4B-B61A0A50D600","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving the existence of fair paths in infinite-state systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_the_existence_of_fair_paths_in_infinite-state_systems"}}}}}