{"entities":{"Q1920240":{"pageid":1930982,"ns":120,"title":"Item:Q1920240","lastrevid":47408284,"modified":"2026-01-01T16:11:02Z","type":"item","id":"Q1920240","labels":{"en":{"language":"en","value":"Logical frameworks for truth and abstraction. An axiomatic study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 918845"}},"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":"Q1920240$5FCD14E2-73AF-48E6-8248-34A5E87A6371","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"225231f9c02a8102fba79cae4b1455f2873db9bd","datavalue":{"value":{"text":"Logical frameworks for truth and abstraction. An axiomatic study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920240$5BED2E38-3B13-45AD-86BD-41AF5C9681CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be662b259d5503bce3f6530073e7a457e9278234","datavalue":{"value":"0860.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920240$F793A932-CF39-463D-A989-4CF58D24FB48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920240$598390A6-CF05-41E4-A3C8-94A15705028A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9144438c0c6423ef10a9ae011c7a38a1555ba28a","datavalue":{"value":{"entity-type":"item","numeric-id":163604,"id":"Q163604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920240$6F16DADD-681B-4833-9392-9E6A4922039F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1387a424f75d802fd565683aac9aa719b3b1b5d","datavalue":{"value":{"time":"+1996-08-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":"Q1920240$0EEAE30E-AB87-4F1D-98F9-81DE0FAE6004","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920240$427B0121-AEA3-4C6D-8983-0354B49E9AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920240$21355A9E-3647-42FE-AEC1-F043561701CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920240$9499E043-1E4E-4ABE-84BC-A8A67614EBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920240$BD5E17F2-E067-4C1D-BC08-9D9E5E91AF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920240$DC9F7F9E-E9DF-4961-8A77-8FE759CA7C33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63e6eea17c44ae0e4e48a8f0b797b1962602baaa","datavalue":{"value":"918845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920240$32709DE0-0AED-4AE5-8AEE-C191CE02BB55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49704f34af712f97ef31c9f6b0fabf56f737349","datavalue":{"value":"logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$2C99C929-46C8-4295-9CD6-7496F2E70777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eba4b28db5e98afb14d8ce5d0e3d6cf54491bfb","datavalue":{"value":"type-free abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$E591631C-E7D9-4BC2-AE33-E979F4D9F31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cceef7c2c75c53c5c820ad71ad4cfe00fe33812e","datavalue":{"value":"self-referential truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$357ED9E8-89AA-4E99-A4A8-E8D315018F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$9CE806B9-3570-438A-9C20-CD72A3823679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a2be7116399869000d5d0a37f2f907b54437c3c","datavalue":{"value":"type-free systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$AAF57C6A-5BF0-4C80-B9BF-53C31766D95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23891206ccdd049860af7e7e4cf43deae8a4170","datavalue":{"value":"self-application","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$1E370784-C909-4B6E-B17C-30CF7DF9FD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"189255634229e56e4d9265fb45b5601d472be36f","datavalue":{"value":"property theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$FB36F0CB-23F3-479C-B21D-8CE95D353D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$932532A3-3750-4162-88E9-64FF16F11728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"760756b872d91c3283a6efcb8b676120ea6eaac3","datavalue":{"value":"classical topics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$C1B9E347-7DA4-4AB9-BFE4-996969E226CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$0DC0DA11-3EBE-4AA2-A3A7-732B065DE408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d2b59d89fce6d10187126384517e74c194b788","datavalue":{"value":"predicative mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$42677C2F-1165-4BBE-82D0-41F344D49B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82046ecdbc4f9ff2fa0b1a681c1b87efe4513c3","datavalue":{"value":"applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920240$C21A02EF-9D0D-4B39-A177-6F68EE92E2A1","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":"Q1920240$78371215-6A54-4C5F-8D58-480AA1B741B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3bd9da5410f99a38dc44688554c13cc0c2166","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3f607241b9daeb8615f05231ddd48b7754b326","datavalue":{"value":{"amount":"+0.7303341627120972","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":"Q1920240$42452F61-3F44-4E2A-B129-00FFC8525DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671c1edd08fcd3cfece842b8db8da4e9af3c1fc5","datavalue":{"value":{"entity-type":"item","numeric-id":861519,"id":"Q861519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816c0fc18708fdd5ff54b7d3e9f206ac5709efcf","datavalue":{"value":{"amount":"+0.7266191244125366","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":"Q1920240$1813A687-2EF6-44FD-BCEA-0A6600F15516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f15356506d8f7f1bafb4c5b1e5e38a7185804e","datavalue":{"value":{"entity-type":"item","numeric-id":4609447,"id":"Q4609447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5597d59769514c9a13a7c5fe9c83bc26b8cf815","datavalue":{"value":{"amount":"+0.7201317548751831","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":"Q1920240$B99346B2-12A2-450C-A988-7CD3B2DECC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fea583985de15914883b36fba01e248656f9739","datavalue":{"value":{"entity-type":"item","numeric-id":1182712,"id":"Q1182712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbaf0c20b984c21600ba6365086018a52fb9087","datavalue":{"value":{"amount":"+0.7096197605133057","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":"Q1920240$708E0786-DC8E-4F32-912C-DEA94C793148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e279e91368e9ea57f3f7819b93564c0d41d39e","datavalue":{"value":{"entity-type":"item","numeric-id":5951909,"id":"Q5951909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e01801355988e4a725bc78eba736d801facc27","datavalue":{"value":{"amount":"+0.7043097019195557","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":"Q1920240$0FB7FE2D-DFE0-4AA3-900F-3686977FD121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1920240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1920240"}}}}}