{"entities":{"Q5479022":{"pageid":7508581,"ns":120,"title":"Item:Q5479022","lastrevid":49873141,"modified":"2026-01-11T12:10:54Z","type":"item","id":"Q5479022","labels":{"en":{"language":"en","value":"Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039045"}},"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":"Q5479022$CCBC75B9-8DEF-44EA-972C-E2798CD61A9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc302413c0a82903544575c57d9c4439d157901c","datavalue":{"value":{"text":"Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5479022$FCAFCB64-D626-4C24-9F90-E6BB04604B2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56e9bfcb6dd733242cd88374b4a50c555d11951c","datavalue":{"value":"1102.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479022$E70EE922-958E-41C0-93C1-EED9075A8280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edae0b084922fd18d507b2a59a4d799201d90bc2","datavalue":{"value":{"entity-type":"item","numeric-id":1685157,"id":"Q1685157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479022$2ED4CE31-C332-45F6-B7F3-12A4AD0EE543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479022$83E22F81-EF06-4848-A208-FDD5D578C99C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ab62ed9fc36983cf74c659518bd05672420ba04","datavalue":{"value":{"time":"+2006-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5479022$E5C838F6-BE05-41EB-964C-2E10780FC20E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479022$6CADFF8D-F865-4D78-BC3D-65FE81541792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479022$02834FE2-61CB-4E75-8561-7AEDD2DEB00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479022$6F6CADA9-AD37-4122-80D3-F8F29C113A77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4769d6828a89dcb364f0ab1d59e6551f5627277e","datavalue":{"value":"5039045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479022$7727B0E3-1AEB-4403-8F77-29532ABE05DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$10B2CCAB-286F-4E8C-BBFA-0A150F7E4A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$274EE000-3952-460A-AFC0-0B2345441221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$78307B1E-C391-40CE-ADBD-03F63D6207B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$8228ADEF-BD86-4B89-A90E-E1AE29040BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$74659218-C4D3-421A-901A-C8A10AF80EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$BBBC216C-AF86-4668-94D7-75740FB19A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$B4BC75DB-B0E5-4833-BFCB-9B288CD6F286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$925DFD1B-8630-4901-9111-470F0565F7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56da080afa36540844e42686b55e85b3a2170bd","datavalue":{"value":"effective finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479022$1CBBC142-9A97-4A4E-8A4B-205580A75F3B","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":"Q5479022$B8F54A87-3F64-4A1C-939F-2BA33B7F86CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee7ea206c6ae7a5833237bf0d77516dc4e087348","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzk002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5479022$F7F98F1E-2D88-4C6D-804B-0208F74BF630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d2ce98b0be430e4d97a28eeae6bda6bb834c427","datavalue":{"value":"W2048132387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479022$31D64DD6-C12A-456F-B243-FBF666A127ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d83fd7f6d7cecefa50db4fa38657f7bf79fb63e","datavalue":{"value":"10.1093/JIGPAL/JZK002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479022$48A1657F-8045-4072-9F91-12617FB56DE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880ee291b4630b1dd7c2c733f665453b4b541b7d","datavalue":{"value":{"entity-type":"item","numeric-id":498234,"id":"Q498234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29b8d18f268e2945e47f35434aa2cb040761ca9","datavalue":{"value":{"amount":"+0.918830633163452","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":"Q5479022$EEEB65AE-960C-44E0-A9D1-64B2A01A14A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"804799d2e33f7e178db1734bb5e00231c7a821c4","datavalue":{"value":{"entity-type":"item","numeric-id":3006112,"id":"Q3006112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7693dc29141733a66bdf7fd2bae4a20fe54d7c69","datavalue":{"value":{"amount":"+0.9161339402198792","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":"Q5479022$79B0767D-EA0B-4734-BBD5-A46111E6B71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b98ba21cf33c2f3a387bc04d072055415a132d3","datavalue":{"value":{"entity-type":"item","numeric-id":4966494,"id":"Q4966494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed318605d4752260c767f9d569c44cdd0195197","datavalue":{"value":{"amount":"+0.8655155301094055","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":"Q5479022$A894452B-CB8A-4463-94C3-7D0F70D957B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75a87621fd7daeaba3ba05ec1ba4c139f4f2c19","datavalue":{"value":{"entity-type":"item","numeric-id":2436101,"id":"Q2436101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd64aa95dc373bb1960e5a31830e2300b110e77e","datavalue":{"value":{"amount":"+0.8207148313522339","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":"Q5479022$5603727D-2633-4DFB-B2C4-0A24CB39E520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9db2437a4829d71fedd4e7b26fee2af5ed5d596","datavalue":{"value":{"entity-type":"item","numeric-id":498248,"id":"Q498248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36392018b8413a644ccebe6fa46488debbe882e4","datavalue":{"value":{"amount":"+0.8084964752197266","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":"Q5479022$21FEE18E-2C43-4568-A3FE-70FBB4BDD4F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479022"}}}}}