{"entities":{"Q1401346":{"pageid":1412086,"ns":120,"title":"Item:Q1401346","lastrevid":68625306,"modified":"2026-04-13T01:00:31Z","type":"item","id":"Q1401346","labels":{"en":{"language":"en","value":"Games for synthesis of controllers with partial observation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965362"}},"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":"Q1401346$2EB8B75F-076D-4819-A11D-02CC9F9FC751","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8029820261f660e19b53e2f022f4c7a5403eea5","datavalue":{"value":{"text":"Games for synthesis of controllers with partial observation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401346$07150226-3416-47D8-BA8E-CDD04746AE0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"922d76ea2d888f525ab88f4a258d64f173a0adbd","datavalue":{"value":"1175.93148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$29B2DA16-6F8C-4424-A7FD-DCC0915737AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07680dd7f590a3204db894c171d889763cc9aa9f","datavalue":{"value":"10.1016/S0304-3975(02)00442-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$DE8D525F-C1EA-4CA1-AF5B-E890CC53B10A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$D4273FA4-2BB1-4D8A-B5DB-ED177EF2534B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$EEE82C77-FFC1-427B-B037-4765F6DAB668","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401346$F71B462B-1240-48E2-BF4A-C71D0E13FC12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$93CF6672-6DB9-482A-88A4-5B30BC45F236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$163F1702-9218-4EF5-8AED-A1175C336D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$7CFF54C6-0B11-4C32-917D-001334B7EF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$FB0AAC41-F445-4225-BEE9-766AAE22FAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$F0E38A7C-0F56-4099-894C-0ADA710D7000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$FDE3F139-6DA2-48F9-B694-EEB2A6EDAEDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"998f8b6efb8965541cb36f2de097dee8f61ed334","datavalue":{"value":"1965362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$FD7D5D32-CA0F-4ECC-A3BF-C58816A44568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"327105f9e23558f471b84f44f9b67e39b40b1d9c","datavalue":{"value":"Control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401346$04D3CB15-774C-45DA-A7A6-F5A6B27B104B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240618ec388efc3b272e73a794d511983c790dce","datavalue":{"value":"Discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401346$E84758A1-6418-46D3-A69F-C2A39411013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"416190e4fb9731154fbba1c0af54f7c43a2cec23","datavalue":{"value":"Games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401346$3E7074B4-B31B-41F0-970B-D6E40F4FD1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf8b8f02231e4482223d7bd34dddb9e8fd3f238","datavalue":{"value":"Modal automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401346$57E5EE7E-F1B1-4210-88C4-E163B6A5CBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d20003d4dae8d70b2afd976f2e70f4dd3e11915","datavalue":{"value":"Partial observation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401346$B5C4F8A3-E13C-4B9B-82BF-B2DC60A79ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401346$65E428A7-5913-40D0-A670-CA40C14CB77C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$AFF7EF95-3EC6-47CE-9936-B8B33DA62E40","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":"Q1401346$415602D7-F346-4FE3-9349-DE8985A30B93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a220bc377ac45cde50558d616bd60da482c6bd7","datavalue":{"value":{"entity-type":"item","numeric-id":4304556,"id":"Q4304556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$3D40ECCE-D781-42BA-8268-D569BC2EC167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f806d472c9e9df406669c53474a82dbe4044bcd5","datavalue":{"value":{"entity-type":"item","numeric-id":3679155,"id":"Q3679155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$522E8C65-4171-4554-91A4-D10FF2BBACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$5EB412D0-DA97-402A-8C7C-C488B4C86F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$57D7D474-405A-44A5-AEAC-01DC83B91BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c96016133f001299a67548984b80285ad92359b","datavalue":{"value":{"entity-type":"item","numeric-id":4540472,"id":"Q4540472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$C5ADCD78-E6F1-41BC-AD31-B0A942351FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6359ec5babc71e62b711dc2882625376d761e84f","datavalue":{"value":{"entity-type":"item","numeric-id":4840936,"id":"Q4840936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$CE6CE18D-8C3E-485E-9AB7-1DCDA17CF63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5643f66c7c082be8bd56dbaf0654be51518f85a9","datavalue":{"value":{"entity-type":"item","numeric-id":4536385,"id":"Q4536385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$AB5D6644-A519-4C59-9325-3F74F2B841A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d2f228f5f2ee2cbfc7e988b85618d4932fc17e","datavalue":{"value":{"entity-type":"item","numeric-id":3566990,"id":"Q3566990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$6F1330DB-A693-4E78-B277-7F702F31CF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$84AC4A39-A565-4DAA-958B-A098A7F3D64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$0A6F4EEF-D935-455A-9406-DBD3D32187B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$59AD16BB-1516-4826-AB1E-2FA59882D353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0981a02b8c62c5b74a2a22089df67b2dd641012","datavalue":{"value":{"entity-type":"item","numeric-id":1350911,"id":"Q1350911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$CFDAE976-5C9A-457A-BFBA-A21E58DB6E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$64A4F118-AA5B-4557-AC92-7B26E05DD94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a613a47011f46503782be16fa8feb625c1aca7de","datavalue":{"value":{"entity-type":"item","numeric-id":2390212,"id":"Q2390212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401346$580B9679-FDE7-4B6B-9F8B-224D9B345C71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74743cc1af262977df3d80ad325f49f61761e394","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00442-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401346$D7545E30-9E1C-46F8-8FB0-4A63EC8E51BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6879a55ff1f3fd89a9e17ac6a735b68a4824b664","datavalue":{"value":"W2054099039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401346$ED3B3699-8324-46FA-AF2A-DAA1CBF07B84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c13b4882f3115f24debbf8aa1186a83e808cd61f","datavalue":{"value":{"entity-type":"item","numeric-id":2256883,"id":"Q2256883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fadd4986724e3ef77895a973ed34e388a7451768","datavalue":{"value":{"amount":"+0.849665105342865","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":"Q1401346$FE8E4E00-D3CC-428E-834D-C72C3DDC94E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3602cdfcb2c92924d1ccb509554717eb5eca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3566990,"id":"Q3566990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e41c9c450128f8af3a56a6442855899b6c2674","datavalue":{"value":{"amount":"+0.8256150484085083","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":"Q1401346$18EE34AE-2344-4BEE-8A5D-7058C900D182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650a68dfd88ec0e5bb7a5864687f0b7d1ba4b0d0","datavalue":{"value":{"amount":"+0.8138664364814758","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":"Q1401346$6413C44A-6E22-4B6F-A155-977338B3EDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1aaf70db04af2f607aa7054056191495be300d7","datavalue":{"value":{"entity-type":"item","numeric-id":5431352,"id":"Q5431352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cf72ef4e7fefe121f3a4e00889493633e29924","datavalue":{"value":{"amount":"+0.8097065091133118","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":"Q1401346$D835A195-9C4E-454C-AD4F-7D646EA20B2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Games for synthesis of controllers with partial observation.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Games_for_synthesis_of_controllers_with_partial_observation."}}}}}