{"entities":{"Q3305558":{"pageid":3316266,"ns":120,"title":"Item:Q3305558","lastrevid":53787875,"modified":"2026-01-25T17:36:15Z","type":"item","id":"Q3305558","labels":{"en":{"language":"en","value":"Some remarks on the proof-theory and the semantics of infinitary modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229513"}},"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":"Q3305558$94232F1C-1E1A-4980-8F65-6262ED68AA7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c43aced2be16c318264f4684650e5cb507275d8","datavalue":{"value":{"text":"Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305558$67779D77-6E81-4A8E-92C4-FDBD69202CD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c87f06e7944a5cecc31c9877494a576963aee640","datavalue":{"value":"1439.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305558$729D0F3C-400E-45B8-B9BA-2F7ED0F24689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f68646cd3f7204be5470cfbf605d3e6b96d7739","datavalue":{"value":"10.1007/978-3-319-29198-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305558$83BF7FCD-2BA8-49D6-BAFD-71D6E9BA32AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$FF7E5AA1-8D65-4A64-A11B-062D39C8C7A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e498f87878cc10d1e14c067484ebfeb4fbbf3580","datavalue":{"value":{"entity-type":"item","numeric-id":3305549,"id":"Q3305549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$1DEF0F9D-4979-4245-87B3-D33A13369FEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5455c1d81d4a01ed39f1551e0dc8701e3aa1c562","datavalue":{"value":{"time":"+2020-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305558$C004ECA4-E45B-44D3-B52C-5A48390C8711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305558$9CE27D63-1FBA-4D7B-82FB-78BB1C7FECB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305558$971A08D1-BF00-43B6-9260-A7651473A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305558$DA3C93E0-8DB1-4542-AD70-2F29990E87A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccb03e347e853613afedf21defa1a20f8891468f","datavalue":{"value":"7229513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305558$66EA347D-86F0-4AB6-A8DA-97CB737B6F44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305558$7FAA99B4-1173-4564-83AB-CBEA61CDC6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305558$F9C6F55C-3E7E-476E-A603-C55F862DF5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305558$B4BEC987-FB18-41CF-82BB-8681AB6914D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4340ab3a28a709814844d7411df413f8557c4ecc","datavalue":{"value":"Tait-style calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305558$872EAD33-AE55-4764-A49F-3F0B1B292BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305558$61068CDA-8C41-42E3-8305-0F7DC48C240C","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":"Q3305558$EA1903B1-D0DC-4255-919D-157F319492E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0b5d1d091de3f5aa4af27b1f2c102314a11ce76","datavalue":{"value":"https://doi.org/10.1007/978-3-319-29198-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305558$ED2FB92D-69F3-4B44-AC42-6032D70810CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20ab484b284bba9d3328b3763c8487f02388a186","datavalue":{"value":"W2461171513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305558$9DA01AD1-9941-4574-BD40-08F973901339","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$3028F2DD-B4AD-4667-98FA-C233EA5E4931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8977ac6ebd5fd9259fa7838a12f5fedf6ef43e4a","datavalue":{"value":{"entity-type":"item","numeric-id":4583357,"id":"Q4583357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$D920CACC-C182-46FA-88AB-27C00ECFDA34","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":"Q3305558$04198893-5C48-4B8F-90BE-D7771281EBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687285a3f6cb7651dc9e5232788fde5c05cf3112","datavalue":{"value":{"entity-type":"item","numeric-id":5661851,"id":"Q5661851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$841B6017-DBD0-4403-8227-12E2F1B1F49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fe20c41f0841ddbdaa423d5ff787bf7b8ced8a","datavalue":{"value":{"entity-type":"item","numeric-id":2718311,"id":"Q2718311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$B48106DF-CCBF-4879-8111-113FEA1D5127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1b567d0562bf33afe8e81e212f024b5c5a9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3393380,"id":"Q3393380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$160A2075-1D49-4447-AFF7-4324C2896BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46736230d88d05e5b8f61438842f638bb8c737f6","datavalue":{"value":{"entity-type":"item","numeric-id":5509674,"id":"Q5509674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$36B97C66-80CD-40DE-BAEA-1E0ED00DE256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c62a14b79728c3dab007d93195d9ab9f0a2bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5625117,"id":"Q5625117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$5C8A1818-4DF0-48E5-89C8-B02E91B31F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8921171dcfe46b818c62e866ea3a375197bbf8","datavalue":{"value":{"entity-type":"item","numeric-id":377468,"id":"Q377468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$3AD8B021-AFDA-4CE4-A623-2804EA361DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$CC4ECD35-CD08-4923-9CF9-9FF698A2805F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$07D68917-AF38-4B6A-8663-0475964D82C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad2df63ac76dd61c0201cd452c5901852447d98","datavalue":{"value":{"entity-type":"item","numeric-id":1102267,"id":"Q1102267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$A42384A6-7302-4F59-B9E4-7433DB409DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$8C91D637-E251-40B5-9D62-AF405690DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3e71c633403913bc22e19f434fa22ad549f763","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305558$F1A97CB1-D56F-474A-864B-A63F80AA1778","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":"Q3305558$61DCBD6B-1FDD-48C9-88C7-4C822D4B20E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a5208f7b785c36635b36163c42f1897fb97de7","datavalue":{"value":{"entity-type":"item","numeric-id":2743647,"id":"Q2743647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c85478f8323b9cc96bc82acd2aeed8acbfb2f33","datavalue":{"value":{"amount":"+0.8723781704902649","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":"Q3305558$485B6F89-C533-4D6D-AA81-729B6270EEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef8e17c2b955cbf96459b47edcbbdf1745596c3","datavalue":{"value":{"entity-type":"item","numeric-id":4857866,"id":"Q4857866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d26112de524dac48c81765b3aa5a4995377aa2","datavalue":{"value":{"amount":"+0.814807116985321","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":"Q3305558$8183E1C2-EB4E-4788-B91F-B89E08CE835A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f64d612d6f0f1df01645666e17c8959562b9e9a","datavalue":{"value":{"entity-type":"item","numeric-id":941442,"id":"Q941442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d26112de524dac48c81765b3aa5a4995377aa2","datavalue":{"value":{"amount":"+0.814807116985321","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":"Q3305558$AF5F5A0A-0CD1-4D76-94FF-7A7399944697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaf5dcbbc41b337e20d7a68e812ee7476d08ba1","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb791bd6f53ef742da3bde9b68f05030cc0bb03b","datavalue":{"value":{"amount":"+0.8141636848449707","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":"Q3305558$6A91D0E3-F20D-46C3-9F1E-B2AC6DB28984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f7f890aa798cd6e0466741dfcb30f0be9af264","datavalue":{"value":{"entity-type":"item","numeric-id":1102267,"id":"Q1102267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2f5b2c76b33435998b315e23a434efe5899d94","datavalue":{"value":{"amount":"+0.8114151358604431","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":"Q3305558$A8259FBF-CDFC-4B6F-BF08-61174DDF7FD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305558"}}}}}