{"entities":{"Q3378194":{"pageid":3388898,"ns":120,"title":"Item:Q3378194","lastrevid":46099798,"modified":"2025-12-22T21:56:39Z","type":"item","id":"Q3378194","labels":{"en":{"language":"en","value":"Properties of Intuitionistic Provability and Preservativity Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5016598"}},"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":"Q3378194$32DB82D3-E0FC-4C88-B1BF-A4FD5902F1DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa82a03ed2f858bb8d04cc0f1cba298484ae55bf","datavalue":{"value":{"text":"Properties of Intuitionistic Provability and Preservativity Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3378194$59C4CCCF-EE64-41C9-BF02-5DA556EA701E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db62b21387b1669e79967c0ebcfd65ef110274fe","datavalue":{"value":"1120.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378194$7C6FC8EB-65A8-41CB-B25B-0F57F08EC633","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378194$D26D4DDD-2643-4A3B-ACF3-AEBD6327A8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d77ecd0c705389db5013c77f6cf1d0c18e3ff691","datavalue":{"value":{"entity-type":"item","numeric-id":265836,"id":"Q265836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378194$813E4561-DF2F-4A3C-8BCA-B27084ACB277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378194$CE92B366-4850-4A95-A514-109D843CA3D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378194$E1CF7488-700D-4EDF-A54B-0D14491D9BB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04578d86bd40a1d3e4bf1177aaf4c60cb647046e","datavalue":{"value":{"time":"+2006-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3378194$172B45E5-7D61-4536-BBF2-F2D9A0E152AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0715413bf4d1f3cf96a56d6cba761d480615222c","datavalue":{"value":"https://semanticscholar.org/paper/d8849aa773c733ffe13040c015f8c4a66522c6ab","type":"string"},"datatype":"url"},"type":"statement","id":"Q3378194$00815026-44FF-47AB-AFAF-8A4498084380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378194$00B3EB65-CA32-424B-A041-D0374C50DC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378194$15E16DAB-75B4-4B53-AC10-1CFBB7D53FAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea46b6131ef543d3d8beea8e9ddfcdecda6f2f15","datavalue":{"value":"5016598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378194$B34744E1-3F26-4933-9137-B2E32ADC08E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378194$06316740-601E-47DE-9BED-4BAD305D383C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378194$CF34D861-35E4-45E9-AD3F-C8A71219A149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73dbfdc5ec3a979dcf158fd3aafd1c7a58f3b531","datavalue":{"value":"preservativity logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378194$B663F27D-73F3-4590-B209-623D4D7B4F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378194$17565C8A-364B-4112-824D-EFA5755A2CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1590e38ae8c30686985dea5df5468304347d1ba","datavalue":{"value":"Beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378194$E82815A3-E685-470A-8312-FA3D3CB4097D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378194$2542E423-E876-4CDA-B7E5-E57BEC5F8AEE","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":"Q3378194$C89ECFBE-EEBF-4C0C-A68D-7651B8243DFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80714da0edfc44f6b2910ff04441cfd8ecd8aeab","datavalue":{"value":"W2140812277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378194$428FA13E-3CAC-4AC8-9D2B-2B833E444A47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7e6518a5b44140b102bc858ecffb7313a4e7cae","datavalue":{"value":"10.1093/JIGPAL/JZI047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378194$31CD41C9-6FDC-4741-96B1-B1A2183E05A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6146ecfabc55084f8cca7e191a79b5b24449a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d52d331518ff2c6ae30ec2d9ef6b09ab5e6e7a2","datavalue":{"value":{"amount":"+0.9286909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$57AC84A7-E512-4303-9264-7A67CB6706E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffcb560a05cbc842ee1391e3ec92e3914e11f4a","datavalue":{"value":{"amount":"+0.9268056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$D0EFC6C1-0908-43AA-AE79-B806CA8F4411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc5bc2c10736442265cd9379a24a927fb31c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268404,"id":"Q4268404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8695aa355af2feab509e0f988c10fe3c4aff1ddb","datavalue":{"value":{"amount":"+0.92397153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$C53E03B4-182C-4411-88D8-31AE80303F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8498276b0ae6a2bdc554445ff25a6b25b5011339","datavalue":{"value":{"entity-type":"item","numeric-id":3027002,"id":"Q3027002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109912b0360195042c28368091c3b43ec9cab4e3","datavalue":{"value":{"amount":"+0.922392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$9BEF448C-7142-40D2-A1E9-3740CA340DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3187da52d657f3d21f3a7fbbada305ab2d80e756","datavalue":{"value":{"entity-type":"item","numeric-id":985006,"id":"Q985006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212f3d6fd549bd45600f0f5f765ed4a78226dcb0","datavalue":{"value":{"amount":"+0.9155562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$106A70E4-6C3D-4A96-8DC7-B1E047880D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c84421e2aaa4548d865b7bbc633f7e7841de78e","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59658c59c4e4308baf142d9f1514d47401ad9dba","datavalue":{"value":{"amount":"+0.91443604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$781190FB-E5D1-4873-9D50-AFFDE76EA151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b6d3584847cc376508c0cb4dd85cbd11170a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3731572,"id":"Q3731572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2d15c64803891f585ab31cd225eb93317444b7","datavalue":{"value":{"amount":"+0.9132051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$A11503E1-3EC4-4438-92A7-F0DDC56CA03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc999c2fb46b35ce5f13d2d59e5451b394f64d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2176405,"id":"Q2176405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d0764ff8fa0b8b68356c8869533ff08204fb18","datavalue":{"value":{"amount":"+0.91029483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$AD642A74-2BB9-4D08-B8EF-B64B087114F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f1fee44838c339a66f757d4f72571bc5e5da10","datavalue":{"value":{"entity-type":"item","numeric-id":3824287,"id":"Q3824287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556034f5c7fa4c6156a0da79f07f17b8c91d5394","datavalue":{"value":{"amount":"+0.91004896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$83565C9F-1079-4BBD-9995-87DA755A6FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746448b3bc59c3cef30d749c8c6544cebe2469d7","datavalue":{"value":{"amount":"+0.90863824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3378194$DED561EB-D985-4F47-B5C2-EAD424E8723A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3378194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3378194"}}}}}