{"entities":{"Q5434524":{"pageid":7464088,"ns":120,"title":"Item:Q5434524","lastrevid":96203267,"modified":"2026-06-05T10:40:14Z","type":"item","id":"Q5434524","labels":{"en":{"language":"en","value":"Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223588"}},"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":"Q5434524$272C88F8-648C-4235-AC8F-52051A229CD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c13a15cd903deafeebce7a9a70090461589d6a0d","datavalue":{"value":{"text":"Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434524$751104A6-356A-407C-AE0A-973E0A73D4A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcda0cf82b879d64b7b8589d45889942e88f03eb","datavalue":{"value":"1132.03313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434524$0B715809-5E7E-46FC-A780-C96F073E8B05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9bde6acbd3dbfe6a5ef8fcc0ddfd561d7801780","datavalue":{"value":"10.1007/978-3-540-72734-7_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434524$A221C001-CDFC-4AA9-B5B4-D9BA257ADDD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434524$15B7CEFE-EC12-48BC-8F4A-95E4DACCA993","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5434524$DEC1D6A8-0C1D-4B2D-8164-F8ACE36BA119","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"536da39e24b73e202d3f2710e0b23cf076d030f4","datavalue":{"value":"https://arxiv.org/abs/math/0702651","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434524$B52F1922-653A-4ACD-95EF-DC64A7B8B225","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434524$85F3A5D8-7139-4858-AF06-2960DA87D609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434524$85DC7EA9-49B0-402E-B966-C530C531186D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8533daff956f3dd67c5b71de39a81a46a37af3e1","datavalue":{"value":"5223588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434524$839A2ED2-0992-4BC3-9D4F-DACF03FB7644","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":"Q5434524$5AD3F9B6-2CEA-4FAC-836E-91838D3BFEF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bac0c6a6991757715d6042238ab02e30d510a22","datavalue":{"value":"W2154555144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434524$44CC4E02-7B2A-411C-B306-B146429BE114","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef94e98e4603692443699fe959f072db29df14d7","datavalue":{"value":{"entity-type":"item","numeric-id":6111081,"id":"Q6111081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd79b28492d40e928de07e297feedffe4e353857","datavalue":{"value":{"amount":"+0.88848674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$52651DE4-0A83-477B-B2B6-A69E85B2B795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959aaf9e7d4547038f5d76ee570ad7274cb2f596","datavalue":{"value":{"entity-type":"item","numeric-id":4809044,"id":"Q4809044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ee1fd71121ec14c93cc91511f8bac2b5f522de","datavalue":{"value":{"amount":"+0.8829156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$061A96BE-49D9-496C-A7BD-FF0B500B879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4225d031c4f6038b8b4214fa41aa3e40f30715","datavalue":{"value":{"entity-type":"item","numeric-id":4817199,"id":"Q4817199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ae554ee997a5f4d24e0a5f8f1b5ef914b34dec","datavalue":{"value":{"amount":"+0.87647456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$DD4D97D0-FD23-4C84-8C5C-6F9D96FD97F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b138d39b9fc18108f4c5b456bc54da9d06bab02","datavalue":{"value":{"entity-type":"item","numeric-id":4875137,"id":"Q4875137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ffe88b834972e37ab384993e617163894b7d85","datavalue":{"value":{"amount":"+0.8752812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$7C321295-A804-4A3D-B913-F6D0D1294EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e5868fa5d1f6a8b99fcb22e13597279737392a","datavalue":{"value":{"entity-type":"item","numeric-id":4636295,"id":"Q4636295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283498523ccbda4c9f5937fe04c06cbd4d724245","datavalue":{"value":{"amount":"+0.8748702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$C670EAEE-97A3-4D20-809C-8D088164E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26973e2406efee12b19b437ad1303ae38c05d773","datavalue":{"value":{"entity-type":"item","numeric-id":3650858,"id":"Q3650858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5d556f4a1e3f6d2a7070a808946b7ec6542840","datavalue":{"value":{"amount":"+0.87326986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$9E2AB8BB-97B4-44AD-9906-39B0BC3D33AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4bbe81dd50c9a9acc9836d7014fb0ae906b58f","datavalue":{"value":{"entity-type":"item","numeric-id":6156417,"id":"Q6156417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac058b13cc7070722bf3fa83aca108db8bcd5273","datavalue":{"value":{"amount":"+0.87102425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$455D110E-799D-47DA-B137-8BD22A0EF034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fdee0de3bb3bb3d1aef548e4ab565a5f7210f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946724,"id":"Q2946724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e51ec67c5ea34f267834b3c685c87273f290202","datavalue":{"value":{"amount":"+0.8709215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$9C81A938-1E77-493A-97CD-0B54121AB210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975271918cc45843c338aa279e7e8dd254fdb0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4424650,"id":"Q4424650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da0807921c6946cde4a35356adbb873d0c7202f","datavalue":{"value":{"amount":"+0.87083656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$BFCB549D-E964-4E1B-9B86-FB56EB53ED24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49bf42d51223b43c16e3d9590f410bf234ec8f64","datavalue":{"value":{"entity-type":"item","numeric-id":4644589,"id":"Q4644589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29b8324aa1ddcb7a67f1b9d4134fd6521e1e8b7","datavalue":{"value":{"amount":"+0.86962175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5434524$B0BF36F9-3104-427F-A729-3533E6468CBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic","badges":[]}}}}}