{"entities":{"Q3393380":{"pageid":3404083,"ns":120,"title":"Item:Q3393380","lastrevid":50749241,"modified":"2026-01-15T00:55:03Z","type":"item","id":"Q3393380","labels":{"en":{"language":"en","value":"Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597330"}},"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":"Q3393380$201D3045-2D0A-4A86-93BC-713CAEAE02D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fb38b32ffd5184dcf475c3ed964e627ab24e9ac","datavalue":{"value":{"text":"Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3393380$9596B595-12FF-4E60-8B0E-B537976407F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d98c3007305e7adfbecae4d62ff2facb1e22177","datavalue":{"value":"1250.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393380$BA30541E-D230-4C58-9539-17CA44C0B4B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed93e360e0b6d736e2defaee9dc2936a0ad31d7d","datavalue":{"value":"10.1007/978-3-642-02734-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393380$E1443F2F-E1C6-4222-9DEC-7CAFE2C8C58B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$C1CBEBF0-8309-42C4-B04F-C9E5CE57C2FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$4C5A80CC-FC51-49A5-AB39-08518913F6F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-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":"Q3393380$BFBBDA8F-7552-4853-8150-391B040F368B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393380$D84AF788-8623-4C82-A263-17184F1C6BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393380$8C97D465-D4F6-4010-80F9-C2C68027B5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393380$3C27CFD8-492C-4E64-B508-59AD3A823ABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5412dd52bf2c677f10d07a5d2ff7f975db5e8de9","datavalue":{"value":"5597330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393380$74804C55-A576-4BE3-A5BD-3F45926B5A99","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":"Q3393380$8B993AEC-55DC-4352-AF8C-315399721CCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54e9d7ca7bd45993840a193aba6881fce4ebb3f2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02734-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3393380$121C7258-C310-465E-9C10-D9F5C159178A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"512b60590b61dbf3d6043dd10889d244aecc69d4","datavalue":{"value":"W2200090875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393380$D1F749BF-5E1D-4E30-86FE-E4EDC8AAA539","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1ac2622b50f677e07bc5a9600a0986a2da5a1","datavalue":{"value":{"entity-type":"item","numeric-id":1762733,"id":"Q1762733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$4A15BBE3-5D80-4160-A7BB-F191F5A3EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed3f5af94e9446026f5e3d9e6e5868640a2a430","datavalue":{"value":{"entity-type":"item","numeric-id":1295444,"id":"Q1295444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$FB489F81-1B06-4584-A8EA-3B3FFA524CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$2AA52B7B-B389-494F-909D-D1BE8899D770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$556ADB82-9BD0-4233-AE82-5EC1798A1C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2807456f0775e5acf452ac835b5fc30350b6d66","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$6A517BBD-6FF1-4F87-93F5-EE0A148F95ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8698aa9bbbf844c97e998b32a12aa94a72a141","datavalue":{"value":{"entity-type":"item","numeric-id":5460163,"id":"Q5460163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$3B3CBE11-F242-4477-B956-F8FABBB40C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f456b2cec834bb3b208bc61e1885b09b45984bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4262577,"id":"Q4262577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$4122F2D0-B5B3-4FDC-8688-97CBE5D7D94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd6cc68924a5749c00a45b8b7cef307b814b79","datavalue":{"value":{"entity-type":"item","numeric-id":1357377,"id":"Q1357377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$489111FA-1F26-435F-A4A1-8F81C60526A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$01DE5EB8-ECD4-4C3C-B014-34D003E99A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b5c24856177e39ef00cd0ce7fba1609f9c13de","datavalue":{"value":{"entity-type":"item","numeric-id":4678932,"id":"Q4678932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$3EE60FFD-F551-4BB3-8BA7-5EBB810F83A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07116ceefeba08b4048eac03ce0bdd36a0c65f15","datavalue":{"value":{"entity-type":"item","numeric-id":1234163,"id":"Q1234163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$2A513A0E-4F50-4F32-846F-3EEA3A0CBA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$F4143116-830F-432A-92CB-701D3EB875E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c576b2a68df66dff58a7e6645a97267b7a75752d","datavalue":{"value":{"entity-type":"item","numeric-id":1330013,"id":"Q1330013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$BF7831B0-C167-4A58-8458-BA61324D342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebd7942fbea6bf826132a8e150c856bfffc2127","datavalue":{"value":{"entity-type":"item","numeric-id":5810541,"id":"Q5810541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$9D49C09B-D2B4-4051-A20D-EC884553D185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d32fbb358fe8ff698056a464a35ad043a50a44f","datavalue":{"value":{"entity-type":"item","numeric-id":3496314,"id":"Q3496314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$2CA22B37-AF2B-4CF3-8E24-F6E75AF76AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d867d7f73aa40771d910c708dbfd1ad704631b","datavalue":{"value":{"entity-type":"item","numeric-id":3327708,"id":"Q3327708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$94D41BFE-033B-45FA-B464-34FD7C154783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$093749F5-FC85-4E56-9540-16EFF57FD0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$C20B00DC-13D7-4268-BB20-1B5941162956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0307b49f10a108c30ed139b15513e36193fd747e","datavalue":{"value":{"entity-type":"item","numeric-id":2743647,"id":"Q2743647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$330AA385-9CF6-4A34-8C7A-8BA7216AC998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f798c194049e34a49151688832b091a5e32416b6","datavalue":{"value":{"entity-type":"item","numeric-id":4236067,"id":"Q4236067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$B4064D9A-D1F1-48F9-8BF6-94E4A129196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc75e886fbdf71be23e2431e3d1861376cec723","datavalue":{"value":{"entity-type":"item","numeric-id":2771059,"id":"Q2771059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393380$21F750DE-25D0-4927-908E-C18035DAB843","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320c03e6b36018157cbd5be41353a09dc06aa7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5740619,"id":"Q5740619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b263d214d6c90ed9878ec6357c7960e8acd1c9","datavalue":{"value":{"amount":"+0.785346508026123","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":"Q3393380$1CD5D1DB-C8C0-428F-92AE-72354BFFF8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba5470fe92f1ade869a5eab83c290d577d1c342","datavalue":{"value":{"entity-type":"item","numeric-id":3656763,"id":"Q3656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07778f7d2bbd41bd400ddd4f5a8ce5e56aafb658","datavalue":{"value":{"amount":"+0.7751715183258057","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":"Q3393380$B8650FB1-596D-4CE9-81DB-905A3249BB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f79eb5dfec092432cf602434e44477be294c9dc","datavalue":{"value":{"entity-type":"item","numeric-id":1762733,"id":"Q1762733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525581d38d5facf70a8c43025b1dc2b2bf648d97","datavalue":{"value":{"amount":"+0.7645124793052673","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":"Q3393380$87157905-0F32-4C66-8A99-E92B0AA1F299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cdedbd66f2748bd3257c5217169538cf6af587","datavalue":{"value":{"entity-type":"item","numeric-id":3417384,"id":"Q3417384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f080d905f5d085b2af3a66fdd3c34299e861df","datavalue":{"value":{"amount":"+0.761385977268219","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":"Q3393380$D75E6E3F-3B43-4501-B91F-55E824BD5537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9343c5e86478d523591ea690c01d4699f4828b4c","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e5fb64166cb9caf093326cdfa0534763dc7ad5","datavalue":{"value":{"amount":"+0.7491437792778015","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":"Q3393380$316F057F-0261-4F92-B50D-FD6F0F4CEDCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3393380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3393380"}}}}}