{"entities":{"Q3587372":{"pageid":5617276,"ns":120,"title":"Item:Q3587372","lastrevid":51073136,"modified":"2026-01-16T12:38:24Z","type":"item","id":"Q3587372","labels":{"en":{"language":"en","value":"Mean-payoff games and propositional proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780433"}},"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":"Q3587372$1D9ACBC0-A8B1-4B67-A632-F3349465ACA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fafd4f2efc5475add18b3432b2fd46fcab43369","datavalue":{"value":{"text":"Mean-Payoff Games and Propositional Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587372$6564B8B4-379A-41BB-B561-F8673439E0B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a84bc2d09efe6427fefb1292852509935ab9067b","datavalue":{"value":"1287.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587372$ADF07EA6-4BB5-45DB-AD2B-51CC0AFDE3E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"899699ddef7eaf0535a7211d3738b6f7440e6e87","datavalue":{"value":"10.1007/978-3-642-14165-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587372$1A208DA1-88DA-4197-9AC6-C25E01CEC8E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587372$DEE2B4B1-6FCB-40E0-82EF-0CC0F816A0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f710f7e1d894c4ae737144ce1fbcb7f3fc75f44c","datavalue":{"value":{"entity-type":"item","numeric-id":716323,"id":"Q716323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587372$19626199-BA85-49C7-A5C0-03D688AB99E7","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":"Q3587372$9846C6E2-0C57-4F5F-AD59-FD6700B5D5AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3587372$2EBC5C7D-25D9-4286-B718-20B7AD1674DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56af55c893d52c07f6e4c2c064fab6b8c6550c4d","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.215.2527","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587372$C910C525-B6B9-4B66-97CD-0C469CA92023","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587372$378CAEC5-9F4E-4491-BB2E-843A2CEDD3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587372$99F58039-994B-4B37-85B1-8963452D30E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14b6b4dcda557e4fab15039a2ac07477ea75daa6","datavalue":{"value":"5780433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587372$67B34DF1-F4C7-4599-92DD-3400E79B5A16","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":"Q3587372$59CCEBDC-31A9-4DD0-A240-7EE0FD7091F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"137ef1ae71e0fd27a5825206dcfb887b78fae761","datavalue":{"value":"W2164528091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587372$C16E8B0D-B51F-4665-83A3-070A77F5DF39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21330c778ab2f4a257f5decb843c101bc5265f2b","datavalue":{"value":{"entity-type":"item","numeric-id":716324,"id":"Q716324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387a7a7f0beb6e0ede6ca09b103c2df57d062c4a","datavalue":{"value":{"amount":"+0.9981733560562134","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":"Q3587372$A669C52C-D969-4114-96BD-93DBE9744CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d51c37c7cf4d88ba21b3e737dd357add051d09","datavalue":{"value":{"entity-type":"item","numeric-id":5169973,"id":"Q5169973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7297d9940b595e5cc57b4d9b11a057262a9209e9","datavalue":{"value":{"amount":"+0.8250660300254822","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":"Q3587372$2B57484C-B32B-4287-B3E3-A305642156C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfec4faf8a805a13aef32fc5fde614c6fe08868","datavalue":{"value":{"entity-type":"item","numeric-id":2849902,"id":"Q2849902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cade7ed3287332bb2f47f22b496a75d44db075ce","datavalue":{"value":{"amount":"+0.7961061000823975","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":"Q3587372$2E2A3919-3A2A-4304-A5AC-A8D8427EC63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1a14ee8cd47de403bfab3ba32c1a806998ad69","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd420338cc9ae47365291aab1b4da014b68fe05","datavalue":{"value":{"amount":"+0.7920514941215515","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":"Q3587372$BAB09C6C-D073-4D4D-A32E-59F6C71D58FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94673d2d3b47dcbe63022c25f6ee6fdaa2a8fad2","datavalue":{"value":{"entity-type":"item","numeric-id":3444806,"id":"Q3444806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46ac1be51d486374c59c09ce4d88588cd15d7c7","datavalue":{"value":{"amount":"+0.7514455914497375","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":"Q3587372$F981150F-26FD-43BD-8A87-674A1A2C890E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3587372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3587372"}}}}}