{"entities":{"Q4635818":{"pageid":6665399,"ns":120,"title":"Item:Q4635818","lastrevid":89906369,"modified":"2026-06-04T18:35:03Z","type":"item","id":"Q4635818","labels":{"en":{"language":"en","value":"Defining winning strategies in fixed-point logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863403"}},"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":"Q4635818$281ECC2B-183D-4A03-940A-B9B2FEFBBEDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3840d4b3c8c1b668902e53107d3ddb20aab6d2ed","datavalue":{"value":{"text":"Defining Winning Strategies in Fixed-Point Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635818$56AB1535-AE8B-4004-9CD8-4CDD222B2537","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"451ecac7087a1bc8e5e0bf5bcd950a7f03c652b0","datavalue":{"value":"1394.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635818$53220BFC-5F8D-4B49-A185-39CC548E0C6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d69f4b492ed145f6f68c2346e054f82ff7e33a7","datavalue":{"value":"10.1109/LICS.2015.42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635818$1D386628-FAC1-4AFC-82EC-16347319344B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6429466d264438a5554c6178c32c287887818b","datavalue":{"value":{"entity-type":"item","numeric-id":477198,"id":"Q477198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635818$8AEEDC4F-614E-4166-96CC-20927E420AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635818$96BF6C35-516C-4C72-9051-936B349E1D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bfb3385f75c39b9f95e3551fa462da680bf05df","datavalue":{"value":{"entity-type":"item","numeric-id":2912717,"id":"Q2912717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635818$1609939F-6327-4F51-A045-1E67890C2ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c8bc6c8a825df1964dede9d8a7f5fde3c9f213c","datavalue":{"value":{"entity-type":"item","numeric-id":2254517,"id":"Q2254517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635818$63B4B1C0-E000-45FA-8F8D-E16E14360838","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635818$4D96378C-AD31-4D4E-A573-EA17586841C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635818$FACC84A9-63C3-4252-810A-959D1893A223","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635818$7F3AFF54-5EB9-44C2-9503-ED38D3E00D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635818$93BC566B-5DC8-41B3-96B0-5DAEE7EE9EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635818$39DFBD59-EAC8-4AE1-9FB9-9EAE5FAA9501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb6be59440dd712537929a66b4f2b6fa001ba299","datavalue":{"value":"6863403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635818$2DA37B9A-1C68-4A84-8998-312907D47EE9","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":"Q4635818$96E7E2E1-E6C6-4A9A-8D96-1B47C53BD048","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61632534987aec65af56023f2005bce0ab14283a","datavalue":{"value":"https://doi.org/10.1109/lics.2015.42","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635818$70F5562C-53D3-4A6B-8936-50C5379578CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e3c2fb14bf41b36d13aef7e0ef51c8564f8aac7","datavalue":{"value":"W1501718049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635818$96A5BFC8-988A-44C0-8388-E8CE8553BBAC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d871be5f768fb2de34c928195ffaa7bc6ffce8dc","datavalue":{"value":"Q130860784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635818$89AC940A-1056-4D9F-83AB-4C52AD2770A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0d8bebcc4cbbfe25e9f476341df7bee78bf82d","datavalue":{"value":{"entity-type":"item","numeric-id":3540190,"id":"Q3540190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445ca264286b3f6a07136a027851b6d6bb8c7366","datavalue":{"value":{"amount":"+0.8829780220985413","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":"Q4635818$6219DC2D-6A9A-4D7F-8416-DB0764149999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbdb1b0d9bee2aba4f0741871cfe6e0b65f2a98","datavalue":{"value":{"entity-type":"item","numeric-id":3408141,"id":"Q3408141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffc0ad700b4183b6add3bd08a6b3b3b054c5d30","datavalue":{"value":{"amount":"+0.8166788816452026","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":"Q4635818$09AADADA-865D-4BF5-8B7A-DCB05E09622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55eb0a117c4e6902957162871cd392e33acc60e4","datavalue":{"value":{"entity-type":"item","numeric-id":1764420,"id":"Q1764420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a502433dac2b29e0371bc8cfedb2e4b780f383c","datavalue":{"value":{"amount":"+0.8006975054740906","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":"Q4635818$095F86E9-F725-4BB0-BFAD-6CA3CC627108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6368ed5f1f3861ce9d0481c1a04b5c39189799","datavalue":{"value":{"entity-type":"item","numeric-id":3172530,"id":"Q3172530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581c15da10d9eb8b812bdcf0ca881dd2a47fa2f5","datavalue":{"value":{"amount":"+0.7791426777839661","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":"Q4635818$E80A1D96-070B-46BB-8545-EC44A87BD756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7884fdb7855faf139166eba347dfba7f76402838","datavalue":{"value":{"entity-type":"item","numeric-id":5311285,"id":"Q5311285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef10537f4f2025e17dc8086fe3c0b2a6e254f263","datavalue":{"value":{"amount":"+0.7752082943916321","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":"Q4635818$61E94F61-16B5-4137-8E1A-DB0D9372A73B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Defining winning strategies in fixed-point logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Defining_winning_strategies_in_fixed-point_logic"}}}}}