{"entities":{"Q6645916":{"pageid":14257071,"ns":120,"title":"Item:Q6645916","lastrevid":99936974,"modified":"2026-06-05T21:03:02Z","type":"item","id":"Q6645916","labels":{"en":{"language":"en","value":"Defining logical obstruction with fixpoints in epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7951565"}},"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":"Q6645916$958138C3-31AC-4329-B39A-44271901B80B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f034f74909e0f9f15ae27a81e9410892bc1f60bb","datavalue":{"value":{"text":"Defining logical obstruction with fixpoints in epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6645916$BB8FAC6C-D810-4955-B733-07A1F707BC75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f271e07fe507ff96d0acfd7db8c7e0699bf55333","datavalue":{"value":{"entity-type":"item","numeric-id":703584,"id":"Q703584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$0F8BEB76-54AD-465A-B1BB-E8FB5D64862C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"beb416faced81cecea274fa4bf7248d0a36a68d7","datavalue":{"value":{"entity-type":"item","numeric-id":141942,"id":"Q141942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$478BD566-3024-40AF-A764-6D328EF13CC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81a4e48e19408941bfb821094a9f7556c0ec2cb3","datavalue":{"value":{"time":"+2024-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6645916$5749EA6F-08BB-4925-919F-C7268A8BBECD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645916$B4102753-DB9D-4679-85F3-428B11D653AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645916$7771A41B-A14A-4FC1-8ED9-8D85E06FD070","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"427c270b5b8797fd32b63f7570378b317f2473fa","datavalue":{"value":"7951565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645916$916E84AF-F20D-495A-8114-A3CC1DF887B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56359b9235dbff755baa36e69c7463cb6a0c3844","datavalue":{"value":"Sperner's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q6645916$4228C0CD-EC1B-495F-AD1E-3A190AEC6720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aced3096b2a45effc938acfcb4f546d2c05c136","datavalue":{"value":"epistemic \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6645916$F74D9D40-48AC-482D-A816-522BFD7E4A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36d185e34d190ac0b215f619e8384b5dc7ee49c3","datavalue":{"value":"task unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6645916$855DDD1A-8345-493B-9E50-0671DF3599E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9acfc26490c0fbeb03dc2f02789dc7e45916ccee","datavalue":{"value":"theory of distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6645916$0ED8E5C4-6090-44EA-87AD-8586E22FABFF","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":"Q6645916$7CBCCD3E-0F6A-44EE-A263-FE2161C502E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3f633bba406854be9032db88285f3cde9736c6","datavalue":{"value":{"entity-type":"item","numeric-id":6115415,"id":"Q6115415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$B12B067E-DC99-4D07-8F6D-15885F00742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$6ADB39A4-6A29-4F37-805F-E51CAC3B44BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58edd1713e6965e2bfd01aa9bd126ab67244e192","datavalue":{"value":{"entity-type":"item","numeric-id":5248475,"id":"Q5248475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$B5E41A2C-E7C7-4663-BF14-691DE8089225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245ea564cd3b6c0d0e92107206c02dccb350ad8","datavalue":{"value":{"entity-type":"item","numeric-id":5365157,"id":"Q5365157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$3B12671B-4306-4311-B475-0403C44906E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$B219007B-6F54-4D78-933A-0899E2047F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddf15eaeeddfdcf8776aa2fafd2be1f459f8004","datavalue":{"value":{"entity-type":"item","numeric-id":5919043,"id":"Q5919043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$EB1EE317-E80C-4F95-A755-E266518CD564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b682328ee75f72a42ac6aa6d61140f23de7a20a1","datavalue":{"value":{"entity-type":"item","numeric-id":2431276,"id":"Q2431276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$852CE20C-ABDC-4E34-961A-A6A9C9F0A87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$DA442B73-09B2-42CD-AF6F-A59007F29F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$F7987BA5-917A-4A42-AF59-11204BF2BCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3702459c572e4180a33264cf3d78f1994514c783","datavalue":{"value":{"entity-type":"item","numeric-id":3174927,"id":"Q3174927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$80C97899-0E95-4948-990C-AE24123B4759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33127ab0b098697bf33c6d1a168251eb2be24cf7","datavalue":{"value":{"entity-type":"item","numeric-id":6487538,"id":"Q6487538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$665AB89F-896F-472B-8EDE-68B4C20CFA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$B441594C-00EF-49F9-9C3E-D17E3C519C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9454776c8e95be8590581925e4520a2ce0d4e418","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$B4B879A1-109B-4F00-A123-878240CA7A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7169c7e4ea133c0e7dac0f0440da217ed2f96f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5361424,"id":"Q5361424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$59385DB6-AB35-4101-95A1-ABC28F7345A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74133653ba3c98351b7fc0c400a4b0cac5d7a21b","datavalue":{"value":{"entity-type":"item","numeric-id":4507893,"id":"Q4507893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$FC86559A-05A8-4BC3-8765-082BD82E2D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c2bf518f07c352a8e3930c7ca19270bad30af8","datavalue":{"value":{"entity-type":"item","numeric-id":3158560,"id":"Q3158560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$83B62C77-A3D6-4519-9384-533A80F57275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$81A641A0-9A7F-44D8-A10D-1757513AA07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf05925c161b50902a475d27429912f455994b38","datavalue":{"value":{"entity-type":"item","numeric-id":5919887,"id":"Q5919887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$F5A3F082-CD2A-432B-99DE-605C4122BC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130a19e6474321079cd0128f985f47f42c1dff1a","datavalue":{"value":{"entity-type":"item","numeric-id":1935105,"id":"Q1935105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$784C4E45-C86F-4C34-B556-830EC29AA89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001e816f0756b2944d272adc5b53032129a83b44","datavalue":{"value":{"entity-type":"item","numeric-id":3300823,"id":"Q3300823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$5D8B84AE-2531-443F-86AA-F9597F616625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa31c7d13741a4b108da8089df226eee0f5d7ad0","datavalue":{"value":{"entity-type":"item","numeric-id":1660951,"id":"Q1660951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$F0851483-DC85-4B81-BE7F-E5BE9413C691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bdfe33bc4e3e70b51c35df994a48e5fcee88ae","datavalue":{"value":{"entity-type":"item","numeric-id":1441988,"id":"Q1441988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$CF735A3F-EF42-4700-97C8-BCCD7449C953","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":"Q6645916$FE92169E-2994-4BE6-8E14-ADA9E35F4897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7975d0f9d5d0de3f249029008aeaf319581fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2043796,"id":"Q2043796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$E7C9B5DD-57F8-4DB2-9D0D-A85678E7961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f5d6018014919bc61884d0b0d22b1b6a514565","datavalue":{"value":{"entity-type":"item","numeric-id":6642582,"id":"Q6642582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645916$D1ECEEC7-B680-4646-B121-608441B4C4A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45fc819a902aa2461f7a290f30b5caa4a8b7bbb4","datavalue":{"value":"10.1007/S41468-023-00151-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645916$0734A34E-358B-4897-B58B-CD9B6D481E28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Defining logical obstruction with fixpoints in epistemic logic","badges":[]}}}}}