{"entities":{"Q3647249":{"pageid":5677155,"ns":120,"title":"Item:Q3647249","lastrevid":50837651,"modified":"2026-01-15T08:47:34Z","type":"item","id":"Q3647249","labels":{"en":{"language":"en","value":"Description of all functions definable by formulae of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640529"}},"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":"Q3647249$86605E5B-A24C-42B2-A08D-ED7817526913","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e23af5f74f75bbf44ceebf32c897b531df342cc9","datavalue":{"value":{"text":"Description of all functions definable by formul\u00e6 of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647249$4FC96F6E-C136-49B6-A388-56975BF24372","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68ac7cd3450b7e48a96727c3abd45fc4a12332b","datavalue":{"value":"1186.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647249$73ECA9BE-7B8D-447A-B8D6-CEB6981C9E3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"023f4996eb08e17f8166454f7755349dd8281a04","datavalue":{"value":{"entity-type":"item","numeric-id":3647248,"id":"Q3647248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$5078C0DF-93D0-43FB-BD19-EC05CB1596AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$F17EF87D-E17F-4312-902C-1E6B08D671C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647249$C500A93C-49ED-43D5-868B-D506473846CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647249$11AC930E-4347-48B4-BB14-839E61548706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647249$16A4B16A-01A0-4007-94C0-3E1CBEB2677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647249$6A104DA5-062D-431B-B488-99B564D6D514","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"880bd9986bf282d6d52bf0257a94d07ac3a74292","datavalue":{"value":"5640529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647249$DA528D6A-B705-420D-B5CC-D1D9F2B07E23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"313f4c59cf54246c2f83544cad00b39c97c235c0","datavalue":{"value":"linear Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647249$A6C3C0C3-3044-4450-B6CF-D96349604488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2260f76f79a0908063211cd2aa3f10191c097a","datavalue":{"value":"second-order intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647249$39EF11E0-F2A0-4960-AE48-1976B0BDA893","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$0D2FA639-590E-4F92-9414-6FB99C7584A5","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":"Q3647249$EF2AFAD5-74AA-427D-8124-44958B3C95D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e128c093b8269733b0e63d78de6b0f92a25b1a9f","datavalue":{"value":"https://doi.org/10.3166/jancl.16.457-483","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647249$5ABE22AC-4465-4B89-8A89-340DCF3CAB1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fad457bd2348f13ba5c22dbf66f154c9f19dc5a1","datavalue":{"value":"W1988934586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647249$46EE9AEC-E8B1-40E8-A9C2-F99525067FA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c32b7d1e3a73ad0952ab0bdcf0e54c5cd8aa5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3520241,"id":"Q3520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$CA914C57-CE15-489F-929C-7064A6795F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c0e62610a46dfaa857940ae1385ecd9c9dcd53","datavalue":{"value":{"entity-type":"item","numeric-id":4777262,"id":"Q4777262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$CA174A65-0CEE-41F2-A353-BFAD9CC5A059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a352a066b5b24e954830c650e95bc4e799e110b5","datavalue":{"value":{"entity-type":"item","numeric-id":5957457,"id":"Q5957457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$33D6B5CC-6BFA-4559-935A-B1CE9057175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$40899143-6983-41A1-8584-2EF90E76B838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$5F61C9BB-CC0D-4B7C-98CA-79AB42232D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647249$287215E1-5EC6-463A-A814-A1576DF36981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"675c4e1a9fcbab75f5ed71254c9cae74ab7f137b","datavalue":{"value":"10.3166/JANCL.16.457-483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647249$55A22BD7-2EEB-4F37-886E-F65430D78927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c333501388da7f7d83c2fdb2bf7af09b199e52","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9b90ac1c08f51640e29a71ec6f4780acec8ce3","datavalue":{"value":{"amount":"+0.8151074647903442","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":"Q3647249$36CA545A-4225-4037-92E0-D8F2B6ECF7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e703f2bb542fa3d548921ab0230928ae2de1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4459601,"id":"Q4459601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a4acb00ee451d740422a21b480330d2e7db458","datavalue":{"value":{"amount":"+0.8090896010398865","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":"Q3647249$6412DB3E-CE0D-4056-BD83-02FB7CEACB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d886e0e830c068e08ac3ab53f48522901c12c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4364519,"id":"Q4364519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65644de8aa4ad0d04d4ad54db3894a540c5e7d13","datavalue":{"value":{"amount":"+0.7518412470817566","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":"Q3647249$0D3586E1-4C79-4716-A711-9725908BF0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75725363fd29ef4e45e356fda1c10a93266a8f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3616347,"id":"Q3616347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9075eae48ca71aaefd4e158ab229ff2f34c375c","datavalue":{"value":{"amount":"+0.7448596954345703","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":"Q3647249$9606F8D4-6B39-4439-BD66-9659E49DA7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866519116130d78fafa38a0400bd4a30ca13d5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc702dd34dbe9103ee8cf171c36dcd47e8d03ef","datavalue":{"value":{"amount":"+0.7446017861366272","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":"Q3647249$5087333D-C559-40D6-8CEC-65183EE046C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647249"}}}}}