{"entities":{"Q897484":{"pageid":899332,"ns":120,"title":"Item:Q897484","lastrevid":52408814,"modified":"2026-01-22T14:16:16Z","type":"item","id":"Q897484","labels":{"en":{"language":"en","value":"The faithfulness of \\(\\mathbf{F_{at}}\\): a proof-theoretic proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516816"}},"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":"Q897484$587A11E2-8A04-4DD8-8B34-4AE27E26BF28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78971cfa753803c66b6952007a280fabdb5c304e","datavalue":{"value":{"text":"The faithfulness of \\(\\mathbf{F_{at}}\\): a proof-theoretic proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897484$B0A6A344-D913-47C0-98B0-7778F1D2950F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7078d11b4b1553f6febb9201582aa8c8ffb61da","datavalue":{"value":"1378.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897484$A0174E12-0441-4E2B-BF99-612B3778C916","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897484$54CE65E6-2924-4E58-A957-23EE1C62C818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897484$34754C05-9F73-4E2B-97AB-7BA29E0BC381","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":"Q897484$56431630-D8BA-47FD-8176-D2B64947A153","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897484$71E252B0-9C7F-45DC-BA8D-FEC03923C0F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897484$93D2C0A9-4BD7-4871-9ABF-772DBE621472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897484$F216DE0E-9CE5-4AA8-9B60-D09E62C26369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897484$3354F638-F296-48E6-9365-AD618A1D9492","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fbf2997778ada10c618f6375b06ab8cc31094b5","datavalue":{"value":"6516816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897484$64C12922-21E0-4302-99B5-599BCFEE00FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q897484$B9FDC664-854D-4DCD-BBE5-BD7CD75A0977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad843c6ea4d5b9670896c2bdbfb9c4784edc7cf1","datavalue":{"value":"faithfulness","type":"string"},"datatype":"string"},"type":"statement","id":"Q897484$C4014EED-9A6C-4CEE-9E4D-107A68304B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q897484$521ECFDB-1CBB-4481-9B89-C419D2A46DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q897484$6A4BAB20-B47B-4ECE-92F6-7E111BAF7674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q897484$F9368A44-F47B-4237-AD27-248B0A979399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q897484$03DA5E05-8FE2-4445-B59F-D72E0E6598D3","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":"Q897484$E6533774-7F16-494A-B069-39174A452563","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b8b31e942dc5b563cac02e893fbdb15ce7d487b","datavalue":{"value":"https://doi.org/10.1007/s11225-015-9620-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q897484$6EA3A81B-5530-4CB1-A4C2-21456A46FBB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"945aa01a7bd2d187696f97782028b8ba1e806f97","datavalue":{"value":"W612033034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897484$BA74206A-B135-4D3A-9086-C503364EAFA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"371c320a42b678b06fa6ae731a7aafbce0a3dda6","datavalue":{"value":{"entity-type":"item","numeric-id":2499285,"id":"Q2499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897484$681DD4E4-C7D2-4384-A741-CCC24E6F2C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716e4d3b48a04539d2a9f1c959b61f267f231ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1037589,"id":"Q1037589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897484$84BD11DF-EBB1-4085-BF11-CBD5367A272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80763fc6efa7be9cdfdda78563859b368353a315","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897484$13626F6E-257A-400E-9EE4-976B72202194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897484$0261442F-D504-47A1-A7B3-312C042F0D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897484$27AAB992-1BF7-4098-A1BD-3E1F481F2EE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a20b2dda94026827cb76f1b3599ca1d57f542051","datavalue":{"value":"10.1007/S11225-015-9620-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897484$920B486F-C8D5-4DF2-84CD-D2E6951D4A7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb234f7ca7d1e070263eb9800aec279648345a5","datavalue":{"value":{"entity-type":"item","numeric-id":2186692,"id":"Q2186692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021bf3e123e65ff001d80d4a0b1f2fa99fd1b219","datavalue":{"value":{"amount":"+0.8286731839179993","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":"Q897484$2C9F90E9-83BF-4096-86DF-81037F6A19BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12544eef24ecd19384b8297dd6bc08eefeeff385","datavalue":{"value":{"entity-type":"item","numeric-id":4295254,"id":"Q4295254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1946612400beaed63d66e1f50181660a9294ac","datavalue":{"value":{"amount":"+0.7894681096076965","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":"Q897484$55CCD84C-7AB0-4A2D-98B3-5DA169518235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afde209622b91024c7baa2b68f142d4a557d278","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf97641a68111d51930d1dd601789b6dc830f879","datavalue":{"value":{"amount":"+0.7840791940689087","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":"Q897484$01864FF8-19CE-4F3F-8085-7DB9C130C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5875ac2c5466f67d2f3ce4d63598efb6842c6522","datavalue":{"value":{"entity-type":"item","numeric-id":1799037,"id":"Q1799037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57197bd81e059c45333539b9c8db9b77cf45a99","datavalue":{"value":{"amount":"+0.7768816947937012","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":"Q897484$F08194F3-AFCA-40B3-A24D-CE39E2E0A74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03be5be5ede41374cb05f1b7e6e97ea10f92af7f","datavalue":{"value":{"entity-type":"item","numeric-id":4644473,"id":"Q4644473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5db08fdf7e65b3fcad5b64ab9ad1f8a0defe22f","datavalue":{"value":{"amount":"+0.7702665328979492","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":"Q897484$050FC015-92C4-4450-A867-460B167C9EE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:897484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:897484"}}}}}