{"entities":{"Q3003328":{"pageid":3014052,"ns":120,"title":"Item:Q3003328","lastrevid":58094658,"modified":"2026-04-03T19:00:16Z","type":"item","id":"Q3003328","labels":{"en":{"language":"en","value":"Towards a proof theory of G\u00f6del modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900079"}},"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":"Q3003328$5E5BD29F-02E5-4665-9CDE-0772613F8A8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0175cc813a27ec3f9a420099a3166a89ea925d3","datavalue":{"value":{"text":"Towards a Proof Theory of G\\\"odel Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003328$F22AD1A7-5C01-48BB-A429-3C9F944DC72E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b23dccfb682f44c977af460c6ed4eeb3780499f","datavalue":{"value":"1266.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003328$EA9964CD-AC78-4F79-8244-98D0553AC1D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf02b946816257175bad28b50c600aa8976b292f","datavalue":{"value":"10.2168/LMCS-7(2:10)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003328$F6D01461-BA2B-4413-9C16-A637256347E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003328$E2B9C545-1A0C-41F7-A1A8-3157BB11D5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003328$6F7E9801-62DE-4A77-A877-BE89F4BD7CB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003328$C4AAE8FC-6F2B-4BC5-A947-86F1C9F9334B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003328$07650E04-6974-4E88-9D18-49C52174BC60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0051eef78c90bb200b1a1d129169d28dcf0c55e2","datavalue":{"value":"https://arxiv.org/abs/1105.1256","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003328$5ABFAE3F-57E9-4A07-AC4D-6A6340282144","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003328$FEEA5F08-7275-4833-B178-77FE880875E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003328$076B9744-757D-4060-8FA3-5299A20ED31C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"729ea94fd3e50bde55cdf1e4401366f235231a82","datavalue":{"value":"5900079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003328$95BD0D95-225C-4BB5-9B18-39E248D15392","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2c79c8682fbe274fc16872eded01e22ad6da24","datavalue":{"value":"fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003328$1EA830BC-1753-4843-B3F4-F1145695DD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003328$A4D09096-3863-45E2-A473-E1C137D2E25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003328$9DA88FC7-176E-4D1B-90AD-1192D9F07CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003328$407E6153-DDEF-4545-A434-2416C1CDCC3A","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":"Q3003328$119C77F4-0971-4C08-834E-6910ADE812DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9670ee6811d4bb69cca0602c1ef704733fa5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3648736,"id":"Q3648736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bb3ba5cde09726129e5d4501bfa43a380a2387","datavalue":{"value":{"amount":"+0.8745070099830627","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":"Q3003328$74B37BE4-CE30-4B1D-9D71-266DE91092B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a195dc3816293cc96c1c7077a8bebc888efe75","datavalue":{"value":{"entity-type":"item","numeric-id":2721191,"id":"Q2721191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea589ab36442a19be055b8791c6ac1ca5abdd9c6","datavalue":{"value":{"amount":"+0.7958841323852539","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":"Q3003328$5E2CEDC0-9B49-44AB-BCB2-8165FA55BA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7161d4c2bf49c74ed9a8636ae8723b14e4ee5f","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac3fb1fd4df4b066528a149c863abf94a25eb9c","datavalue":{"value":{"amount":"+0.7912135720252991","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":"Q3003328$50855B3C-FC0D-4A2B-92E3-247684FAC925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5c6bb1263e50ffbc7e4a4d98d0c991aec2fd04","datavalue":{"value":{"amount":"+0.780113697052002","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":"Q3003328$62ECD319-A3A0-4548-877F-E9875E0F2236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2301c01e5e9f3d307e1b6269fd84d28f55e4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2804319,"id":"Q2804319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b77266a71e0d74f70be646609d90c8d76717f51","datavalue":{"value":{"amount":"+0.7776663303375244","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":"Q3003328$4B89A528-430E-4AD4-8BC0-B5B9483216C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003328"}}}}}