{"entities":{"Q2702563":{"pageid":2713308,"ns":120,"title":"Item:Q2702563","lastrevid":82740422,"modified":"2026-05-06T21:50:42Z","type":"item","id":"Q2702563","labels":{"en":{"language":"en","value":"Logical frameworks. Why not just classical logic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574992"}},"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":"Q2702563$5F973B0F-BE92-470A-A19D-39C8A58B245A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b52a1002a5ad9544ce91020c36fe3ce9b272a810","datavalue":{"value":"0967.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702563$372EADCF-4D46-4660-8754-87F78E82C083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2702563$22E46BA2-158C-43EC-8D57-1062757FFD5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702563$A40DEA9C-AF22-45C1-A47D-279EB4FC53B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702563$1A49DC3E-068C-4ECF-9B3B-3B27833705A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702563$CADFA903-02D8-4025-A369-76A72098B09E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"696e6695e6ea0bed3a553888acf05a51de962547","datavalue":{"value":"1574992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702563$71973229-4E66-44DA-9266-9B1B78693AE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702563$DE497E9C-07C9-4A68-B586-5217950A8D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702563$D8BE2C14-8687-4E77-B584-40A43ADFE0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be66603713d3da92b1d4b716da3eba7ce72a2866","datavalue":{"value":"sorts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702563$D0028F3C-4BFD-40D2-889F-1ED92497738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"364f82c75ca1c95319f975c40f1d3e23bd95c982","datavalue":{"value":"higher-order terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702563$51ABAA03-782C-4CB1-BCB0-BC761131D635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c2f5832dfcccc0ade18342f09637f003eaf6cf","datavalue":{"value":"hereditary Harrop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702563$16447ACB-61B4-4079-BB8B-B72A01B01B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702563$FB7AF201-AD02-4CAA-81CF-9E58C8038130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702563$DF80FB4A-2F3A-4417-B720-38796D834BA5","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":"Q2702563$7E9363DA-715D-423B-8B18-FCD0C009E237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"918909a2909994cb0000c449600c82689f98c663","datavalue":{"value":{"entity-type":"item","numeric-id":6767977,"id":"Q6767977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702563$01A8514B-8DD9-402D-BA12-0808722E4AA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e656707ad560b7b562d8f16b4f6bfd7c67f71ebf","datavalue":{"value":{"text":"Logical frameworks. Why not just classical logic?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702563$B495AB86-AC2A-498F-85D3-784140039710","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6850f32c4cd09c5f2143a5206e88925f5c5e9079","datavalue":{"value":{"entity-type":"item","numeric-id":4823135,"id":"Q4823135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0354601606528e32ccaa9a7101f8bcab30e945","datavalue":{"value":{"amount":"+0.7660213112831116","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":"Q2702563$2F6B108C-28A6-42A4-8011-496EF154AC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c906d6ea96f2de0343d3de6007ed4dc3002c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2871843,"id":"Q2871843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3792dfc32175aad3deaa9e7577868ee8307c5472","datavalue":{"value":{"amount":"+0.7463532090187073","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":"Q2702563$13D281F2-9464-4B7C-8F80-611960B30B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0168108907ddaa6d1022d429beb77d49ecf51da6","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d338622ce002197397312261dd717b8997b49ba","datavalue":{"value":{"amount":"+0.7363204956054688","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":"Q2702563$7089ED3E-3DDE-485D-BA19-7CD5C1D30C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5eaf3467daf87792271d4a93a843969dd2367f","datavalue":{"value":{"entity-type":"item","numeric-id":3204067,"id":"Q3204067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e459be481945776476c3760db6e6251bf6fcffbf","datavalue":{"value":{"amount":"+0.7359534502029419","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":"Q2702563$9F64B421-25A4-4833-8DF6-12E52793FFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcb004e4da4ba61bd1174d4c00765f78f664130","datavalue":{"value":{"amount":"+0.7339285016059875","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":"Q2702563$17348614-CEEF-49C8-B745-B405D98BB670","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical frameworks. Why not just classical logic?","badges":[]}}}}}