{"entities":{"Q804561":{"pageid":806409,"ns":120,"title":"Item:Q804561","lastrevid":64468368,"modified":"2026-04-11T20:04:39Z","type":"item","id":"Q804561","labels":{"en":{"language":"en","value":"A note on the normal form of closed formulas of interpretability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202238"}},"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":"Q804561$A11CFC74-5754-4856-B49E-4371E5D751D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49a810926d9cc5f89d8ba5cb30fb4e2cf6998da7","datavalue":{"value":{"text":"A note on the normal form of closed formulas of interpretability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804561$05251E46-25E4-4D14-98ED-65AF9301C5AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59382d04afb2917fcb7774ba2e0ffdcda7041aba","datavalue":{"value":"0728.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804561$15E6B3C1-6007-4114-9D9D-94D55A688865","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc912bf211f0cc63fd6d0ed316c7744809fb42fe","datavalue":{"value":"10.1007/BF00370384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804561$2BEBEF4C-C92A-48FA-AC8A-E8DFCE72D156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804561$8508FC6F-74D3-4175-9D6B-9B69ABFBA366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e166ba6e429b1b3182a1f829ff825dcb7dbf5eba","datavalue":{"value":{"entity-type":"item","numeric-id":804560,"id":"Q804560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804561$926650C4-9081-4BCB-B845-7AA268A0EC88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804561$D6D48017-D1E9-432B-B012-EF6788D84C5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q804561$C00BDE45-C5D7-42DA-A596-B382C9A74D82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804561$4512642C-B218-43AB-9F5F-DA1BF6F7B6DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5781c9a08b2445c086ac50aecef62acbf83e69e","datavalue":{"value":"4202238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804561$16B9CFFC-DD99-4E0B-81CF-B57255A0822C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q804561$DAC58A47-284C-40F1-9B22-2EF268D4E124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q804561$4E5E5590-F863-440B-B0C0-F145FDB6DCF3","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":"Q804561$048220BB-8249-4E13-9182-91A56A3F8E07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af50d9092de5e362e720a77d151738c93b0e1333","datavalue":{"value":{"entity-type":"item","numeric-id":3912553,"id":"Q3912553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804561$FEC07FCA-EBA7-4D03-B8A3-140A337F2797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c292a9a7859697b388151262c45858b13ee4da15","datavalue":{"value":{"entity-type":"item","numeric-id":4113834,"id":"Q4113834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804561$18F98506-BAB2-4B29-B420-AB6632CD89D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a01b953055c74a8dec25582f181fa0a844d16","datavalue":{"value":{"entity-type":"item","numeric-id":4121962,"id":"Q4121962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804561$F55B9762-77BD-496B-810D-935B9DA4D475","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdfc939817e23995e8126fb2ac4aa1177f647cc","datavalue":{"value":{"entity-type":"item","numeric-id":892132,"id":"Q892132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed2299980c1196198a16de01ebd129eb1eeabda","datavalue":{"value":{"amount":"+0.8590139746665955","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":"Q804561$E0302434-E665-4779-AC76-7C16AA936448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7396a1b2ca23aaab3d700d48f47d84a906f05288","datavalue":{"value":{"entity-type":"item","numeric-id":2915733,"id":"Q2915733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cf8aaa284da5200d1122421a3257e30d12933c","datavalue":{"value":{"amount":"+0.8585288524627686","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":"Q804561$32DD5FE3-0F0F-4651-BD6D-2C60B4C899F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61314fd202ada89535bf8f031a291ef172369f9","datavalue":{"value":{"entity-type":"item","numeric-id":4241052,"id":"Q4241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6974379dffa97ccf9c7fa61ba4e6946342e057","datavalue":{"value":{"amount":"+0.8014193773269653","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":"Q804561$3E72E08D-544F-458F-A6C6-A9F491C362FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a95a7a312638f6083a96031fa9cf55fb684d65","datavalue":{"value":{"entity-type":"item","numeric-id":4329232,"id":"Q4329232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab635c8606edee28787ef2b8253df632f4167b46","datavalue":{"value":{"amount":"+0.7780406475067139","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":"Q804561$012E497B-B4A9-4CEF-888B-77DD65740E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761d58051302a011a10f199ad4a59f10b2c2fe58","datavalue":{"value":{"amount":"+0.7735899090766907","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":"Q804561$52740252-BA9D-49E5-A919-AC954CA6EBF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the normal form of closed formulas of interpretability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_normal_form_of_closed_formulas_of_interpretability_logic"}}}}}