{"entities":{"Q3103975":{"pageid":3114691,"ns":120,"title":"Item:Q3103975","lastrevid":51386633,"modified":"2026-01-18T01:00:39Z","type":"item","id":"Q3103975","labels":{"en":{"language":"en","value":"Non-axiomatizability for the linear temporal logic of knowledge with concrete observability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5989559"}},"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":"Q3103975$11547AA3-710B-425D-BC4F-8E5906D32A03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70287a0a21afc2bb05813124c0e7b96a2885d19a","datavalue":{"value":{"text":"Non-axiomatizability for the linear temporal logic of knowledge with concrete observability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3103975$D44CA5C4-A0ED-4B4E-8AB6-5308A5C74B38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebd68edba05df3fcf205afa99f6d8dfb604442af","datavalue":{"value":"1285.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103975$0D09EBDA-A1C0-48F1-9A96-0A491B88C371","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a06e5ef1bece8fdb4fdd3515de35bf8fe9d93b2d","datavalue":{"value":{"entity-type":"item","numeric-id":282108,"id":"Q282108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103975$6C98871F-83B2-4BF5-A533-8986FCE8557A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3103975$5C22244E-E60B-4AA8-9E17-D7D896F70F3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49e3a90ca2cb149c0b742883bd2b71f4393ac433","datavalue":{"value":"https://semanticscholar.org/paper/6faefc06d8d8f250a5c4c3345fb898c6cea2accc","type":"string"},"datatype":"url"},"type":"statement","id":"Q3103975$6615EF8F-3515-4368-9F23-449E0C203034","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103975$9D2EEE14-2F66-48C3-B27F-23328A748351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103975$1732B751-C8B9-47E6-A40B-AF97C93860A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f163991e883e39dcc61dd5993ed57509374863e","datavalue":{"value":"5989559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103975$F0605E92-7693-4C17-99FD-7DE5F71B6506","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8709f65fb3a7ca73ea643c1d576e05e987540d1a","datavalue":{"value":"temporal epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103975$DCA526CC-B614-430D-B5F1-19D41D0EFCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103975$4B320FB2-282A-417D-A1C1-104075900CA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e55f9c688edb02b67b1c8f49d5af88710d566958","datavalue":{"value":{"entity-type":"item","numeric-id":14099,"id":"Q14099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103975$CA197458-88BB-4228-8B95-C88F81C90D34","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":"Q3103975$2BA25271-C7F7-47A8-B5CD-A322A96AE456","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5067f68dc52d8dfaa86591f317b33f8f36f41b02","datavalue":{"value":"W2132076827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103975$AB6C636D-18C2-415B-961B-4F12A392F0D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87ec7ac30a43d5cb00d7fb949ba63cdc6336dd78","datavalue":{"value":"10.1093/LOGCOM/EXQ031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103975$5770836B-4BCB-4B32-B30D-E080F715C22C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103975$7CAB0E70-D0CB-40BB-A744-81B82B33B953","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92c9a55175889d683b7251910df5fd4b78cee83","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b779739e81a31df8d9c23eeb571eb1418ff3c4e2","datavalue":{"value":{"amount":"+0.7862282395362854","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":"Q3103975$C689A20C-4A7C-4235-B0EB-51B673E02FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594823588009b4b3f1b5f0c6adb9995748a54777","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019b2561bb3b66ee98e0133bbfed3c7d75564442","datavalue":{"value":{"amount":"+0.7854424118995667","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":"Q3103975$3048659F-E497-4F39-B4A3-B6F233FF4613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a45ee6945a12aafc901eda8407f297c7cd46e92","datavalue":{"value":{"entity-type":"item","numeric-id":4699305,"id":"Q4699305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146e028e8badb13e099899e26f93a5d788e166da","datavalue":{"value":{"amount":"+0.7675217390060425","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":"Q3103975$C1284919-6848-4BAA-9925-FB4D25AB8038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99edb7d3f6951d82e6f8ee3c37a2c7aeb9e045f","datavalue":{"value":{"entity-type":"item","numeric-id":2402133,"id":"Q2402133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146e028e8badb13e099899e26f93a5d788e166da","datavalue":{"value":{"amount":"+0.7675217390060425","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":"Q3103975$8B113C8F-E425-4592-B407-6F7E3B36442B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d584fc572102d4791af42b5f644debddcd5746a2","datavalue":{"value":{"entity-type":"item","numeric-id":4898177,"id":"Q4898177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90faae547a39f48197e14616cc21aeec15e82f80","datavalue":{"value":{"amount":"+0.7645005583763123","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":"Q3103975$0D0C2249-A5C4-4901-980B-42D33BCE84C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3103975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3103975"}}}}}