{"entities":{"Q6836087":{"pageid":16898016,"ns":120,"title":"Item:Q6836087","lastrevid":84291446,"modified":"2026-05-14T17:42:06Z","type":"item","id":"Q6836087","labels":{"en":{"language":"en","value":"Implicit quantification for modal reasoning in large games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8179059"}},"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":"Q6836087$E7C7FC19-F79F-442C-8672-E9D27D8297F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1972861225b95eb01e60e5d62aa010d3a782d867","datavalue":{"value":{"text":"Implicit quantification for modal reasoning in large games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6836087$1644A3BB-6F1E-4CA1-AD78-0DD23B61CA6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f0cf0e3d196a6c6b3d0749e9652082ef90630f7","datavalue":{"value":"10.1007/S11229-023-04156-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836087$3B7D0E5A-0208-4983-9E20-3FB739CC293A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d15320dd97c3cb922985964e793737799c50b305","datavalue":{"value":{"entity-type":"item","numeric-id":6562526,"id":"Q6562526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$86676AAD-8643-4BA4-8CC0-07CE7E5FE174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e76cf2b1d6d267f9076f171d8ab0e079eaffccfa","datavalue":{"value":{"entity-type":"item","numeric-id":6082223,"id":"Q6082223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$2A1D02BB-A4A0-415D-B5C4-9632E2E0E55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8de1b864db61026e712bb2f2d7e147ff4e2cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":1403407,"id":"Q1403407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$298D6D4F-748B-4D23-9D05-A49EE77B3E76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$8B1D85E2-40A1-40DF-8DAA-34B5E4A65BF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92c4bb9c5b701d90a0e553ee058a3cbb14feafcb","datavalue":{"value":{"time":"+2026-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6836087$1BF44697-9365-4E90-ABA4-E658947FE32D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836087$DED71C88-9BDF-4C70-B810-FC016A2AC1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836087$917B59B6-0C2C-4EA7-9A3E-F95D38B7ADBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836087$6BA24DB0-AAB6-409A-B2EA-7063332F07ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afb179041bbcd062b37c87a1e30a9535757bf6b7","datavalue":{"value":"8179059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836087$0176DF6B-D4DF-49B5-8528-AEC85B18E69F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60955a985899e5dcd83df89d91e191949676642d","datavalue":{"value":"large games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836087$0B5AA09D-ACC9-44AE-A4CF-324562CB9700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836087$40533D98-09B2-4A07-9DBE-2C9369B03375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a884c3d168b974d6066f65691e371baeaf8f0df4","datavalue":{"value":"strategy distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836087$6A932900-5891-4B42-907A-615FC114710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5373b03736d08e9b044b0ff6cd7eaeb2562f763a","datavalue":{"value":"improvement dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836087$579EB3D2-CB05-4AB2-B5C9-4BE6B667A36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836087$A4A10535-8826-405C-9C94-CB9BA04D4AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fad576015dacc3ca87351e5db8fb45c2bd44f63","datavalue":{"value":"implicit quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836087$3567FBD8-AC8E-4E00-AD28-99EC0B42AB01","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":"Q6836087$429B65F6-ECA6-4867-96A8-DC59F291B533","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64693cc186ad23551ef613d0f6f042260e7691b1","datavalue":{"value":{"entity-type":"item","numeric-id":2859089,"id":"Q2859089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$06605A57-D443-41C1-A815-34D0CDA6E637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$98BDE27D-AABD-42BB-A1CF-F591490ACA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a34ef9306bdded0ee4f49da10d7542d8abbde8","datavalue":{"value":{"entity-type":"item","numeric-id":1954251,"id":"Q1954251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$35D6A69D-70FF-4875-A043-3CA32C80D3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ea0a73bb35c60da8ba1661da4fa5e6ed8dc49","datavalue":{"value":{"entity-type":"item","numeric-id":1304003,"id":"Q1304003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$BF094D8D-CE8F-4F1A-8BE6-27F9A58773C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8ccae462ab59af90a7f2e6bcbfb9caacb371cb","datavalue":{"value":{"entity-type":"item","numeric-id":1587389,"id":"Q1587389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$ECDA6DDE-D87A-4398-B454-9DE10543AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea44765ee7e9a905269f953199b5e2f0465862e","datavalue":{"value":{"entity-type":"item","numeric-id":5954142,"id":"Q5954142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$9B19EACA-412A-4521-ACA4-DCD1968C4272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9847d286a03eff2fd4e5920b178013563ed289a8","datavalue":{"value":{"entity-type":"item","numeric-id":1004282,"id":"Q1004282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$68A3D733-825C-44A7-AEBD-4DCA8849AFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c23cc04464b40e8c4177d23a4479d8cec3edbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2018607,"id":"Q2018607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$0AB66B93-9A3F-4C95-BF29-FFE2B234F52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead2921a553c8ca5170777e63448181d97fc66e9","datavalue":{"value":{"entity-type":"item","numeric-id":2628711,"id":"Q2628711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$D320C5B1-CD54-4EBF-B7E5-1A61352120F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7890741e3fba78dfad48cbdb527409d8fb42bd7","datavalue":{"value":{"entity-type":"item","numeric-id":3166989,"id":"Q3166989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$3ACA9228-0F77-4F79-9861-B6BF7FC99204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f5f8e6b6733bc93603e4856733e20f1adca48b","datavalue":{"value":{"entity-type":"item","numeric-id":4599509,"id":"Q4599509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$3815E5D4-93EC-4D91-B5A1-0F28CB488901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6931db11de8cd2a0177034c745b13a11599d0dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4460679,"id":"Q4460679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$BDFA37C8-E474-40E8-9597-E06CF8BFA012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65811032837abc05e9b9d9c582584a4d41a6d8be","datavalue":{"value":{"entity-type":"item","numeric-id":2457673,"id":"Q2457673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$26A92664-FD87-466E-BF90-F62D67DF5975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b96154e0b66d5a8d35e46c2a03a270fced0e92e","datavalue":{"value":{"entity-type":"item","numeric-id":2346405,"id":"Q2346405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$75EC7283-96C4-477A-8B23-8748A6ABE0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5f1aa9294846cde8376d837af26608b9f41054","datavalue":{"value":{"entity-type":"item","numeric-id":2941641,"id":"Q2941641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$B62AD7B8-2369-44BE-939A-5BEC287942E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$1552FFC2-F9E0-4756-A19F-412027F05913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$B721C152-5942-4B85-9C09-215F5C8A7714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0337ca996c39186fc85b1bb9d5adb4231ba5fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":5396049,"id":"Q5396049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$C390DAB1-B3E4-40BC-98BD-BA9AD1C1AFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b9b5202e93a4d37002960bbbdd33d906a3f74c","datavalue":{"value":{"entity-type":"item","numeric-id":2016082,"id":"Q2016082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$FA615F89-1A89-4734-A466-357DD937A77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0aecbf1cc5eeabfde90d5846c8a207aeaf7e9a","datavalue":{"value":{"entity-type":"item","numeric-id":2284173,"id":"Q2284173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$111B76AA-8CE1-41F2-A249-871E03DDCF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7e706f8e9249519066e3c269d42d0dd78173d","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$2D79498B-E9F7-4C91-9137-BCFA7B12B267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce00afa89c6fcf1f74c80fd0a7ce5935e267791","datavalue":{"value":{"entity-type":"item","numeric-id":4648832,"id":"Q4648832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$61A2C006-1E46-4F38-A44D-7657E5F22F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f031071a7ceb7112087c790d1e0366c2579a5ec","datavalue":{"value":{"entity-type":"item","numeric-id":5176551,"id":"Q5176551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$95D5A8E1-8A38-4C48-A49E-4ACAD1DD2877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf0224fb402cfe0f2dd4ae6f019c367683aefe","datavalue":{"value":{"entity-type":"item","numeric-id":1759062,"id":"Q1759062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836087$0A98B338-B86E-4211-9DD0-2CA3FD38C8CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implicit quantification for modal reasoning in large games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implicit_quantification_for_modal_reasoning_in_large_games"}}}}}