{"entities":{"Q472791":{"pageid":474558,"ns":120,"title":"Item:Q472791","lastrevid":62086440,"modified":"2026-04-11T03:40:51Z","type":"item","id":"Q472791","labels":{"en":{"language":"en","value":"Propositional dynamic logic for searching games with errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371449"}},"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":"Q472791$43F44B46-2019-46CC-8A3D-494B51F46172","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afa89a9574b0fdeaa029b4cce99b0514571df054","datavalue":{"value":{"text":"Propositional dynamic logic for searching games with errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472791$8641D316-94FD-4661-94CF-A75E209EA749","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917744659aab011d5c98bacbecd93207d62007be","datavalue":{"value":"1395.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472791$FEFBF19A-6CE7-4025-B6DB-B654E6F31ACD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93620ec0ce45d4d8d0b6e0c68b47024a36b3b7fc","datavalue":{"value":{"entity-type":"item","numeric-id":245029,"id":"Q245029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$EE8FB6EE-1009-496B-BE92-F324AFC90E2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$EF3A041B-2278-4A78-A54A-CF1231FA429C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3de48e2e76c851f8e0c9de42930ee2e3fddbb57","datavalue":{"value":{"time":"+2014-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472791$532974C1-44E0-4745-BB04-EC66C39F91B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb05597b43a140deaa07067dabbf03935fdf9da0","datavalue":{"value":"https://arxiv.org/abs/1401.7234","type":"string"},"datatype":"url"},"type":"statement","id":"Q472791$B1FC6CDF-67C7-467E-BA6E-A386E3BDC08A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472791$3DEBF18E-E78B-4725-94E4-FB85D0C78037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472791$215A89F1-FCDF-4056-ACEE-60ACEFD8D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472791$E71D3F34-FA3F-47CC-90BA-0F4290D87C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472791$CD54681B-E537-409A-96E9-BE5D24887815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6af24f3db241266863a785c397403eda80dfa6ad","datavalue":{"value":"6371449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472791$B51B9801-862A-4BAD-8F18-32745E4A825B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q472791$CBF95776-AB0D-4AD3-82B6-24A524EC1832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q472791$3876FB18-45AA-4E93-88E7-805774B584C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q472791$1241A0A7-E20C-4CF9-9817-C9D6FBBEEDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q472791$3B60FDB5-1D83-4450-AF28-AF9F4CCD08E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q472791$6CE6E888-C297-4A53-B8D6-31F309F1D709","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":"Q472791$6AD07E0B-019B-4DB6-A60B-EC39B531FCF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03873212752a0d0dcd818e0db51b2d93107a5431","datavalue":{"value":"W2028191118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472791$0A110270-C34A-4AEF-B06D-127303DCF6CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98fef62756f22d1a965f4c48fbc4545a69d3f2cd","datavalue":{"value":{"entity-type":"item","numeric-id":5179014,"id":"Q5179014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$9535DE62-C563-4E7F-A224-2D663553A1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2033996e3d7b727f51924caccb1f303a0afe21","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$805FE9A4-1BAE-484B-AE73-D48E37D0598B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac589897be4c492f7c47b59a82f0dbe5636db3","datavalue":{"value":{"entity-type":"item","numeric-id":3097868,"id":"Q3097868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$E1BF1D06-564F-40EB-8AA1-7EAAA935F159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3df0b23ba7271d3f990b3e9d91914833dff0616","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$38991C6B-8398-4701-9DD1-D4F69778C44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$EF6335A4-0FA6-4E0C-AD0B-B522A43545C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$5FA461F5-DAA3-47EC-8DBC-9B07E6E584C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$E0DA639F-F95D-4DEB-BA2E-DC345064A294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd3f28dd5c87c960c858e7f9fbd6793684f139","datavalue":{"value":{"entity-type":"item","numeric-id":2892686,"id":"Q2892686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$A0811FDA-A9BE-433D-B10D-0B2875294362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$35785E50-EE86-4BC5-A71E-B9F2C2119A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$90A4C785-9712-414E-A726-36660A45EF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$3AFDB4AD-A367-4A73-B24D-CF066C1912EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931a4c9d6ac7f53dacfa1f30fa27915cca5f4b97","datavalue":{"value":{"entity-type":"item","numeric-id":1896755,"id":"Q1896755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$3E1B7978-B1FA-44F4-8909-2BB1FDE04895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb79ddd4703064f9c1456cfee24a1f803d58626","datavalue":{"value":{"entity-type":"item","numeric-id":647418,"id":"Q647418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$1DBDB9B3-7A69-4F0A-A63C-DDEA0ACC2F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043f9c36513f0169de9888eed47ae021ca19fe77","datavalue":{"value":{"entity-type":"item","numeric-id":2577712,"id":"Q2577712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$0B90C590-AE59-41E7-807D-E5F66D149164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$24F575F2-DB02-4BE6-B7D9-C8E6BCE5DCA4","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":"Q472791$46D2156D-D3E4-4383-BB82-244549E62C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25aace5bdaaa9fb0a7bec1534f06ed96f3ade7f9","datavalue":{"value":{"entity-type":"item","numeric-id":947830,"id":"Q947830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$84DD6DD0-70B1-4FFA-B078-288F63C110E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$839B8EBF-A7B5-4401-8171-335B376F62CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc1eb2c75bb53e06aea1436f629dd1aeb9c4730","datavalue":{"value":{"entity-type":"item","numeric-id":4845316,"id":"Q4845316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$209AE00A-4FBF-432F-B322-A736890343D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86e6a2f478b977f86cad26a19647ec515b55661","datavalue":{"value":{"entity-type":"item","numeric-id":3809770,"id":"Q3809770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$0E896CA7-583C-4E86-B233-595D3F9AB953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$93B35C2B-030D-41AC-80DD-821DE144B457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa6738f8836aa23af9dd43f5bd3c7e86dc1a985","datavalue":{"value":{"entity-type":"item","numeric-id":5958303,"id":"Q5958303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$90E221C0-1390-4A9D-BC8A-4ADB448A9590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc614df367014cf27e62a3682aa19350a52cebc","datavalue":{"value":{"entity-type":"item","numeric-id":4121861,"id":"Q4121861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$2B075EB3-DDAE-4C9B-AC2B-ED2BF18CDEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$B4CFAFFF-F1D7-4B05-BD0E-8396506F7A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472791$6C75C8BB-8A18-4A39-AD1F-2F104005E5AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f62ac7d2a99dbedc88c6c5d5ad3fe08d443bede1","datavalue":{"value":"10.1016/J.JAL.2014.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472791$42E5B5D7-A268-4AD7-A9D7-A6507543CBC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647a4574a63a511319b09e31b930b01eb8cbc3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3113047,"id":"Q3113047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25add916e279da23b22343f74a0796b68831b0c","datavalue":{"value":{"amount":"+0.8673804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$BBF47315-2DF9-4D56-90FC-9A0138685C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c69a9886e68263fdecd39738e77c9e442694b2","datavalue":{"value":{"entity-type":"item","numeric-id":2852368,"id":"Q2852368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1dc4b8709cb007845dcd3f0d8451de8cc16442","datavalue":{"value":{"amount":"+0.86271816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$890D1A87-9F7F-4539-A020-BD22B718648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc6dbd73a308081e29e7c7043ea3202b08c2e6a","datavalue":{"value":{"entity-type":"item","numeric-id":388214,"id":"Q388214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa3b4998b857256bd0209062a5692365f49b7a0","datavalue":{"value":{"amount":"+0.8612848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$C8C41702-E163-4620-AB2D-71E31E5BB2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb81b0c7baaf1583593cf5ca121ca6913063225a","datavalue":{"value":{"entity-type":"item","numeric-id":5101444,"id":"Q5101444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc66578766d65dea5fafb32ebb71b054c9b7c1b","datavalue":{"value":{"amount":"+0.8575677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$4472B246-727C-4B47-A504-B22945B28EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a7dc0a54a7175e82c77aa99b5f0cf4c742c08c","datavalue":{"value":{"entity-type":"item","numeric-id":4415132,"id":"Q4415132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b121bf97d428b30552d430745814c4b7218a6480","datavalue":{"value":{"amount":"+0.8571575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$FD073C46-AD65-47FD-935F-C257A88906FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a5a778d899f9a212e614a18cf371e98f202c54","datavalue":{"value":{"entity-type":"item","numeric-id":391101,"id":"Q391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f990472a8d4195a8c6f7d1a663e08ed7839bb86","datavalue":{"value":{"amount":"+0.84915423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$E9165334-F7E2-42E5-BC00-D2704CCF76AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d309de01f3f2a7964bef1f62a7949067228ad0ee","datavalue":{"value":{"entity-type":"item","numeric-id":2817408,"id":"Q2817408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc58ef6c6c5d901fedb1e8f60b13c54a637c471d","datavalue":{"value":{"amount":"+0.8478932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$73B4D82A-5E53-4502-A15E-CAC281C9834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cea0efeafc8742ad319e10704112f9b02dd0c5","datavalue":{"value":{"entity-type":"item","numeric-id":345702,"id":"Q345702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9a87c7167980d0c58c0830acc456a62a426fd9","datavalue":{"value":{"amount":"+0.8464978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$51D2A16F-1D1D-4042-BCB8-B3CEF64906B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60331b663f10ff547a709f3c81ba3a2990cac227","datavalue":{"value":{"entity-type":"item","numeric-id":2851265,"id":"Q2851265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9a87c7167980d0c58c0830acc456a62a426fd9","datavalue":{"value":{"amount":"+0.8464978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$4EE974C2-2E60-4A16-A5ED-71ECDAB4E631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0551b67b13072d28730c735a4eccadb8803fe2f","datavalue":{"value":{"entity-type":"item","numeric-id":3460615,"id":"Q3460615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5861a8f8700fa254d62675e580b23446d290c3bb","datavalue":{"value":{"amount":"+0.84334284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q472791$172D3920-CF76-447E-A07B-BFDFFA3C76CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional dynamic logic for searching games with errors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_dynamic_logic_for_searching_games_with_errors"}}}}}