{"entities":{"Q4808463":{"pageid":6838043,"ns":120,"title":"Item:Q4808463","lastrevid":74682684,"modified":"2026-04-14T23:53:41Z","type":"item","id":"Q4808463","labels":{"en":{"language":"en","value":"Preservativity logic: An analogue of interpretability logic for constructive theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915387"}},"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":"Q4808463$D713D22A-450D-45AA-BE41-A08DD34EFAB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2d28891a0016acfc3499fda762238efb2b700b8","datavalue":{"value":{"text":"Preservativity logic: An analogue of interpretability logic for constructive theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4808463$8837C624-4764-488D-BA6E-6F98AA4CBD39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9419be8192e29d0b24f7b71dab2ede9b8d0b4af","datavalue":{"value":"1024.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808463$28B8B484-B680-40B2-A001-133CC5BFBB5C","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":"Q4808463$48EF7920-D692-422D-875E-0A3801FDD0BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808463$7B547941-9D53-4D90-B3E4-DD79B3675A8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42ea6aaea41bbc0d91fc3fb48c000b593cdbdcee","datavalue":{"value":{"time":"+2003-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4808463$B4906369-D0C9-439B-A150-F1ACEBE7249E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808463$EA11B08C-E8E2-448A-9C78-48EC7185FA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808463$3C383D3E-6827-47EB-BA69-EAF2983C8DE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84e99e27cd4acef13c82f12dd4875e1bf15b4ff2","datavalue":{"value":"1915387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808463$7B7A9D9C-A0C7-4AD4-BFBA-80BBC15D60EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808463$A3686842-3ADB-4252-B021-BBF23A61B377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808463$92A2853E-2686-41F1-8FBF-37AE512098FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808463$4A437B5F-BE7A-4771-A24A-0A0D7BC68099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808463$150D54A4-75C0-4C37-8436-32C4108B342F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808463$01B8E232-75CD-4105-B831-1F4B2B640040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d08d959914b8c85d8199b45fa0274189c034af","datavalue":{"value":"modal completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808463$98F28170-6019-4075-93F9-77179DFF6E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73dbfdc5ec3a979dcf158fd3aafd1c7a58f3b531","datavalue":{"value":"preservativity logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808463$A335811B-97CA-4274-B3DA-91CAC362F280","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":"Q4808463$CD13190C-CDA3-453D-8180-CACFBAA68900","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d03d700c323a834e3c5f83d9953f1f71a52450e","datavalue":{"value":"https://doi.org/10.1002/malq.200310023","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808463$52CB94C8-14FD-4816-A01E-756FED39601C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd363fb73cd61f9d2424b59b862e9d407d2490f4","datavalue":{"value":"W2123771031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808463$45AB19B0-67DC-45B6-A57A-8C7127614835","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97006b06d0dcefe5c483bce71eb65b659fce4e0c","datavalue":{"value":"10.1002/MALQ.200310023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808463$C4EFDBAD-407B-4490-B517-BE84B522327D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2a1354a55db683a7606fa8dadfab66e6436e55","datavalue":{"value":{"entity-type":"item","numeric-id":3378194,"id":"Q3378194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1087a70bccb6509c5e0a3b976a82800cf2c4f8bd","datavalue":{"value":{"amount":"+0.7971353530883789","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":"Q4808463$BFBF88FE-83E8-4FA6-9222-F33456858129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128e0e096ad44d4b1aae609bffaae7b436943236","datavalue":{"value":{"entity-type":"item","numeric-id":720757,"id":"Q720757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321f222abcc7f41c3b7854a363219def785b2cac","datavalue":{"value":{"amount":"+0.794471800327301","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":"Q4808463$E4F19AA0-5E0B-4C83-854C-D638A60C9766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2cd4851c1b29c7df765d7c38815911880eb85f","datavalue":{"value":{"entity-type":"item","numeric-id":5195060,"id":"Q5195060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c6d4a740d3e95a4eb0fce8016c65be2e299a7f","datavalue":{"value":{"amount":"+0.7831448316574097","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":"Q4808463$330C8C23-4EEF-42F1-8503-B3F528A3ADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441c58a0b5a77d5d2a5f3d6a67c35070c9065651","datavalue":{"value":{"entity-type":"item","numeric-id":688429,"id":"Q688429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c581842d7fad13b78b87097f03f403f61e98eeb6","datavalue":{"value":{"amount":"+0.7728256583213806","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":"Q4808463$8E6D3FB0-F6C1-4E6F-953A-C2AA6CA3B237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38dc7409dd4cf70b35b1a480a6ec992e1b9e945","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c7320d20188b48f3d8eec5c3b8a7fb18bbacd6","datavalue":{"value":{"amount":"+0.7656055688858032","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":"Q4808463$F3423AD7-2F47-4B02-A5EE-D3DFD12C423C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preservativity logic: An analogue of interpretability logic for constructive theories","badges":[]}}}}}