{"entities":{"Q1799268":{"pageid":1810010,"ns":120,"title":"Item:Q1799268","lastrevid":71275104,"modified":"2026-04-13T21:08:53Z","type":"item","id":"Q1799268","labels":{"en":{"language":"en","value":"Inhabitants of intuitionistic implicational theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958304"}},"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":"Q1799268$4F28EFC2-3E18-48EF-970B-C50FFE2DEA08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9da0fd3ccfa4549070e5047a183d476af12c0147","datavalue":{"value":{"text":"Inhabitants of intuitionistic implicational theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799268$DA7081D5-D41C-4D12-9D8E-A100942FC2A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce7f8742db569cac7428fa2238f79c71cc1c0ad6","datavalue":{"value":"10.1007/978-3-662-57669-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799268$77D877F6-0AF4-4CAE-AEA8-EE775B3F967F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799268$2DBA4042-FCE7-455D-AECD-9051B7428F12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799268$92AB51F5-BFB6-4718-BE67-3C6E0A36E9EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799268$8E701971-6D8E-4478-A350-99F5C9E960B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799268$84952323-53E6-4F2C-99AA-AB5E028F1C65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42418a490167d9dfcd7faf2b429df8de942fa099","datavalue":{"value":"6958304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799268$0F3854DE-1247-4849-8B82-8689DFCD0FC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d527c4aa2f7d747663364552ac135fe192e56ffa","datavalue":{"value":"combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799268$60348B19-2139-417E-B4B1-E0AFD04F5D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799268$5DB4C98B-95C7-4DED-8205-5D9E67DC357C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799268$E875A188-A056-4A28-B6AC-5DC761CF3597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799268$9F0C740E-F4AB-43BE-B3E8-E93BE43F64EE","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":"Q1799268$5D013381-701F-49E8-9B70-97497D1414A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f46df9f5c93b552928d397ddc6974274f5f5f2bf","datavalue":{"value":"https://doi.org/10.1007/978-3-662-57669-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799268$AB9D508F-4D43-4CA7-9853-9E4C4A5853F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2551166373a25a3f166e1973a28c4d20b6c8051c","datavalue":{"value":"W2811159399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799268$78B0D1EF-23C3-4365-8FD7-F4F24176FC06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893825a71cee56c498199e6c7388bc05767af47d","datavalue":{"value":{"entity-type":"item","numeric-id":2254561,"id":"Q2254561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8ade3f89f066ee3dfd4b402ca9b7e30850efc4","datavalue":{"value":{"amount":"+0.7844852805137634","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":"Q1799268$716F9F56-9F26-461B-AD61-59DFBBB24763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c179ed321caea9320457e8de65f2dc5f71dc9f31","datavalue":{"value":{"amount":"+0.7253998517990112","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":"Q1799268$274A2979-9A7A-4129-852C-195CFCD3F0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacdc33eb0c4c64c7b659a8061d14a29a51b7409","datavalue":{"value":{"entity-type":"item","numeric-id":1181718,"id":"Q1181718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2e6027d546521449e5e996d8487cd12bf5c4b2","datavalue":{"value":{"amount":"+0.7251023054122925","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":"Q1799268$6EED3C1F-F8FF-47F4-B338-4605FFAEDB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540165b5355a6544b12e088ff6fec1dcfe300c6","datavalue":{"value":{"entity-type":"item","numeric-id":1893725,"id":"Q1893725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81e933f5ecc72abbc23a27671cd958a8d4b1a07","datavalue":{"value":{"amount":"+0.7194875478744507","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":"Q1799268$A2B7DD84-1801-4A94-9AF8-CE633D89837A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523ceda9c46f837435b012e3131d159e916a802b","datavalue":{"value":{"entity-type":"item","numeric-id":1575928,"id":"Q1575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a568283f2e65e26a6ead04570560ca7281f8cf","datavalue":{"value":{"amount":"+0.7177715301513672","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":"Q1799268$B586D782-3643-4E13-B36D-5CDC98530035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inhabitants of intuitionistic implicational theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inhabitants_of_intuitionistic_implicational_theorems"}}}}}