{"entities":{"Q3133194":{"pageid":3143910,"ns":120,"title":"Item:Q3133194","lastrevid":86536091,"modified":"2026-06-03T23:55:51Z","type":"item","id":"Q3133194","labels":{"en":{"language":"en","value":"Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837770"}},"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":"Q3133194$2CA94569-AA3F-44C6-957C-7E9D05B1EB75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0cb726ef2e1def88b6980be045ecb622015ae75","datavalue":{"value":{"text":"Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133194$804AC638-8549-4498-9F5E-C3CDCBD71765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22c6c90a5b282837719f80097b8224dcded73242","datavalue":{"value":"1444.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133194$8DAF2F99-ABC8-4CAC-BFD7-D0BAE21F3646","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":"Q3133194$1BA14A89-67CA-454B-AADC-0AA55FB3BA34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133194$8DC908B8-3B52-4CA0-AD1C-52CC6D00F1B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133194$7D4A1415-F4D2-4086-9989-868C1F0465ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133194$021FE87F-7B83-4781-939B-1356143966C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133194$F4E317A2-F8A4-4580-8118-9600AA83CC59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"809126e6e98f42d66f4590feb498f1f72a33b8e1","datavalue":{"value":"6837770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133194$F02ED36E-110E-4C0F-838C-FB1536F29DDE","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":"Q3133194$97ECFF93-EC72-4109-B659-15F09B1E97BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92f20109fec78a0f856463ea0595552c9fec245b","datavalue":{"value":"https://doi.org/10.1093/logcom/exx006","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133194$1479DE6D-2501-49D4-A07F-63C517B78AA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fad218d3965881112250d913279ea8e4bab99684","datavalue":{"value":"W2591594485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133194$D13B71E0-3C3C-4F42-B36A-9DF20F6F26A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15be51bb6a6ae3b4998202de795cfa052163c17a","datavalue":{"value":"10.1093/LOGCOM/EXX006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133194$D61717F6-86DD-43FE-8161-DD9E58B300F6","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":"Q3133194$11CA826A-B092-4AED-9E8F-3E1887ADD5AC","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":"d7d77343862028c298dc2c0f5ec97689065d76da","datavalue":{"value":{"amount":"+0.7547092437744141","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":"Q3133194$E6AD2E88-522F-4CC8-8E20-3A8B185A3AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efdc463091023bfbed80282125905ae8f305d67","datavalue":{"value":{"entity-type":"item","numeric-id":3393380,"id":"Q3393380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9942ddd95b638f7b96b79d23f9640f05592d813f","datavalue":{"value":{"amount":"+0.7450491786003113","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":"Q3133194$AA33B929-E03F-4B9B-BD1A-B1E21CC216E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4d93c4d76a7ba344882e3131065a19fde672a6","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c230c737c40e6b214e8d07cdf1f85b57dcda72","datavalue":{"value":{"amount":"+0.7406346797943115","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":"Q3133194$4620E8C2-6FD6-4B48-849C-4D3941D5236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffdb5f18663112a475945ef097aff78fdb417af","datavalue":{"value":{"entity-type":"item","numeric-id":2904138,"id":"Q2904138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db7116af23ee7fc2bf5ee74474b2966e1e8abbf","datavalue":{"value":{"amount":"+0.7304595112800598","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":"Q3133194$E9E5E764-5FD3-4A60-B284-1A7F4AFF528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6882abce7931a9f3763ddc6479a90411653057d4","datavalue":{"value":{"entity-type":"item","numeric-id":4915221,"id":"Q4915221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff3994bb4ae3b8241c832dfb4139f13bd150706","datavalue":{"value":{"amount":"+0.7221040725708008","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":"Q3133194$1E8830D2-C162-4349-83B0-A0F51C26B2A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relating_first-order_monadic_omega-logic,_propositional_linear-time_temporal_logic,_propositional_generalized_definitional_reflection_logic_and_propositional_infinitary_logic"}}}}}