{"entities":{"Q636367":{"pageid":638215,"ns":120,"title":"Item:Q636367","lastrevid":63168321,"modified":"2026-04-11T11:03:52Z","type":"item","id":"Q636367","labels":{"en":{"language":"en","value":"Classical predicative logic-enriched type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943653"}},"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":"Q636367$6168194B-185E-4E57-AD47-C29159433968","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7bc5521650d005989d4780c1c46e24edcb4ca91","datavalue":{"value":{"text":"Classical predicative logic-enriched type theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636367$AFD8AC75-F25B-4292-891C-AE0B2E3AB033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab8db5e8f1661531bdc37b8d86be53aef6ef67b2","datavalue":{"value":"1231.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636367$8D66B418-7791-46E7-A34C-306A740AFAD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cec371990f9003fbdabf64bcaf7487ca13372cd","datavalue":{"value":{"entity-type":"item","numeric-id":636366,"id":"Q636366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$5C401222-CC2C-4C75-ACDA-12654525C4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$85DF64A3-2FAE-45F8-A892-9284EB683B77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$C7DBE748-7813-4000-A5D3-602E1852366E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-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":"Q636367$4CB3BE45-0E79-49E3-AFC1-990342D5CB3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02acf94db05b8b20bca33a7c8372745e7836a414","datavalue":{"value":"https://arxiv.org/abs/0906.1726","type":"string"},"datatype":"url"},"type":"statement","id":"Q636367$B556F4A4-410C-4015-846E-9C38F6961296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b009928574c8370fc1b02e5e4ecd0fec27e717a9","datavalue":{"value":"https://research.chalmers.se/en/publication/504557","type":"string"},"datatype":"url"},"type":"statement","id":"Q636367$8C4AEBEB-A83B-44C8-AA4C-4632D96DBAE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"764dff601f66a3c6803337868e1d98d8852a1156","datavalue":{"value":"The authors develop two systems of type theory, \\(\\text{LTT}_0\\) and \\(\\text{LTT}^*_0\\), and prove these systems are conservative over the systems \\(\\text{ACA}_0\\) and \\(\\text{ACA}\\) of second-order arithmetic, respectively. The systems developed here are quite different from ones based on \\(\\text{E-PRA}^\\omega\\) previously considered by \\textit{U. Kohlenbach} [``Higher order reverse mathematics'', Lect. Notes Log. 21, 281--295 (2005; Zbl 1097.03053)]. These theories include types for both sets and functions, perhaps modeling classical usage more closely. More importantly, the theories studied here are ``logic-enriched'': they include a formalized logic for propositions, and terms from this logic are used in forming terms for sets.  The authors compare their two systems of type theory with a third system, \\(\\text{LTT}_W\\), which they developed in their previous work [``Weyl's predicative classical mathematics as a logic-enriched type theory'', Lect. Notes Comput. Sci. 4502, 1--17 (2007; Zbl 1178.03019)]. They argued there that \\(\\text{LTT}_W\\) corresponds closely with Weyl's programme of predicativism. Both \\(\\text{LTT}_0\\) and \\(\\text{LTT}^*_0\\) are subsystems of \\(\\text{LTT}_W\\); the authors show that \\(\\text{LTT}_0\\) is strictly weaker than \\(\\text{LTT}_W\\), while leaving as an open question the equivalence of \\(\\text{LTT}_W\\) and \\(\\text{LLT}_0^*\\). The authors discuss possible interpretations of their results in terms of Weyl's programme.  The authors obtain, as a variation of their methods, an elegant new proof that \\(\\text{ACA}_0\\) is conservative over first-order Peano arithmetic. They also state that their methods give a translation of \\(\\text{ACA}_0^+\\) into \\(\\text{LTT}_W\\), leaving open the question of finding a subsystem of \\(\\text{LTT}_W\\) that is conservative over \\(\\text{ACA}_0^+\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q636367$CF694D6B-0AD9-4BC9-AB8A-986DC41EB5E5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1ffd6458cf29ace8b9f78898cc3cc1cfe8fed9fa","datavalue":{"value":{"entity-type":"item","numeric-id":375888,"id":"Q375888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$B8B531EB-F543-4C60-80E3-BE4B60C281DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636367$44224720-868B-4416-BC7B-DB03BDD33EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636367$972174A5-AD76-4803-88E7-5E2CF352C163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636367$3E599C94-B077-447D-896F-AAF55CAE124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636367$0881BD35-D0AD-4EDA-9CBC-1503D2B762A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8e77406f88bf87ed30ade4411708bf23b7b7f4a","datavalue":{"value":"5943653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636367$B1560F93-9A64-4014-998F-8B8AB51A98A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q636367$2505D23C-8CB2-4AA5-BC79-ED83B372CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a87c5ea78af40729688b1f75752663e936265fc","datavalue":{"value":"logic-enriched","type":"string"},"datatype":"string"},"type":"statement","id":"Q636367$7AC685A4-89C4-43FB-85B4-AF1DBFCAC1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c447e8f4742efb77fa9cd7aff5678d7e3fd9c61","datavalue":{"value":"predicativism","type":"string"},"datatype":"string"},"type":"statement","id":"Q636367$70D3F076-79DB-4DAC-B925-C3ED524487CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f87ee0f4f93b7600165d2e7a624cdd6a233013ce","datavalue":{"value":"Hermann Weyl's programme","type":"string"},"datatype":"string"},"type":"statement","id":"Q636367$B03CC11C-B06F-45DE-B0AC-0A99A06F2B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636367$D088E58D-9D65-4FC6-88C9-2770CAA06A2A","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":"Q636367$A0A60AA3-DADB-4346-9D4B-B478A1BCA362","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"219a06d92caba09884c95e6598e0c8452be35555","datavalue":{"value":"W2048875543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636367$740FEE64-D90D-4CF7-8383-D7DBC8E5BF3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"086c633ac6174cac783cb9e50dd4f0e957afd426","datavalue":{"value":{"entity-type":"item","numeric-id":4736386,"id":"Q4736386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$ECED4112-DA3E-4CCD-BEDB-45C97A30B572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6618e91a75816dcd4066818a4f985d88eb94f855","datavalue":{"value":{"entity-type":"item","numeric-id":3612432,"id":"Q3612432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$52487EF9-AD99-49EB-8727-18DC61C9475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74858466b34eb9124c94c909cd399a44eef93bd","datavalue":{"value":{"entity-type":"item","numeric-id":2946599,"id":"Q2946599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$6D6034C0-892D-4478-8212-CBC5E5535589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f1931827fa71551be43ebced41414f7ca99298","datavalue":{"value":{"entity-type":"item","numeric-id":4254639,"id":"Q4254639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$63FFEBA8-0415-48E6-B5FD-A36BBD8DA7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04eefff02b2e316a44c6dd3a4910700df42c66c","datavalue":{"value":{"entity-type":"item","numeric-id":1820779,"id":"Q1820779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$56FCAA8C-8C29-4A8E-9FF3-98A089962FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$CB74A3C0-F1DF-42E3-9A0B-C931D6CB9A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9873d52a879d61ea5f503e865184e86a80201d","datavalue":{"value":{"entity-type":"item","numeric-id":4237309,"id":"Q4237309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$3506BEC3-B621-4CBE-9F24-7BEFD05DF952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4bb04da3e6469cc4edda245036acc90046832b","datavalue":{"value":{"entity-type":"item","numeric-id":4793432,"id":"Q4793432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$2CAA8EAE-6437-455E-8CCF-8D79C93AC95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be631185bda3d868c82d12b7fc951abfb57df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$84376281-7932-4FAD-A134-A66293E90741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$F4CACBD5-A1C2-4E10-B609-B135AD443997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc7afc2322ff86f0e37d02850a7c7eb8b89014f","datavalue":{"value":{"entity-type":"item","numeric-id":5825661,"id":"Q5825661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$88FAD353-B3AB-477D-88B2-5AEE05CBD187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$187875D1-11A7-45CB-9970-39D8404847C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350ef9fe375473cd4e9d8eebad8754055372f7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3809795,"id":"Q3809795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$C15DC28B-0885-4F32-BAFC-1228018500B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636367$AEA30DB4-685D-4EBB-824A-EFDB58287019","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40e9d53f7e78694237b15429a7527130b36e2183","datavalue":{"value":"10.1016/J.APAL.2010.04.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636367$B995E65F-9E1E-4D00-AA0B-9F03A58F2F69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbfa6b1ec6017b8eeb4da0e81a5b9975b49bf0d","datavalue":{"value":{"entity-type":"item","numeric-id":5044747,"id":"Q5044747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67666db51f44099efc01333a37d8d42fe24d6ba","datavalue":{"value":{"amount":"+0.7854532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$AC793371-75D1-41B4-A303-26C4AB3B4AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964671cc3b279eebfb75d14d5c86abfb963eedd","datavalue":{"value":{"entity-type":"item","numeric-id":4010354,"id":"Q4010354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6ad643aefbb2030e3e78dfd113489b141a8e02","datavalue":{"value":{"amount":"+0.7741935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$D93997AE-262D-4CBA-87BA-B2E5114F87F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad6452911bfb1dcae1bb144eb9804a9c54b25d4","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7947a2579ef6bc1c4eda14faf9c549b8ffbc48a9","datavalue":{"value":{"amount":"+0.7730386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$EBA6316C-A899-4058-86C4-D44A55F2263C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4128576115585c6eeba0ae32dedbf5d93cb852","datavalue":{"value":{"entity-type":"item","numeric-id":3535620,"id":"Q3535620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b404eb9ac140b95de0deb67f0c7578173c8d3a57","datavalue":{"value":{"amount":"+0.7647152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$6FEF07CF-0980-48B1-BFB5-CE6CBCD3301C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f126dc4bfcbf3a0fa91becaa791d312bc1d152d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946599,"id":"Q2946599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff828c7aac979df100224069d8bc7a9e64e6e5cc","datavalue":{"value":{"amount":"+0.75915474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$B24AA634-E9A5-4AF8-B771-4B11C06262F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154ad9fb55ba712820d7e77a25c71be6c19cc462","datavalue":{"value":{"entity-type":"item","numeric-id":5186727,"id":"Q5186727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c83630f0263d188b65e4fcf3406f58215a7f697","datavalue":{"value":{"amount":"+0.7574996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$1F6F5CEE-0949-44DB-A485-73C179A827DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ae55dc04bb9c75feae65f614af740e06d0b2c4","datavalue":{"value":{"amount":"+0.7573523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$3C7F6C73-FCB9-4D64-96E6-463A0A7BD5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0cb1fdb1fdea18da419215b4f8bcd32edce14e1","datavalue":{"value":{"entity-type":"item","numeric-id":688736,"id":"Q688736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff1ea9b82df34071629fc66627cf0dfdf17e4e6","datavalue":{"value":{"amount":"+0.75658536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$525E5A51-5634-427F-81C9-49797D4C3797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de33c37624c752ee9a559b7985ea2edf012cf9e7","datavalue":{"value":{"entity-type":"item","numeric-id":5260990,"id":"Q5260990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6b9e3c0ceb86ef660b1b479b8e96304e735113","datavalue":{"value":{"amount":"+0.7556119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636367$5CF34F31-5C59-4398-9E8A-4D8C47C8656A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical predicative logic-enriched type theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_predicative_logic-enriched_type_theories"}}}}}