{"entities":{"Q7025211":{"pageid":21654165,"ns":120,"title":"Item:Q7025211","lastrevid":77543510,"modified":"2026-05-05T03:59:46Z","type":"item","id":"Q7025211","labels":{"en":{"language":"en","value":"Embedding intuitionistic into classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7986573"}},"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":"Q7025211$894B46A5-4B27-45D0-B015-912372A3275C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9433a05e1c6573b1aa890710949e8cdb74ed360d","datavalue":{"value":{"text":"Embedding intuitionistic into classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7025211$5A420F65-DE4E-4442-B419-7029E1ED2B11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb09edbc109454aecf4b42451122ff53ef7622df","datavalue":{"value":"1564.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025211$7969334F-6E97-436C-8210-19778123E23A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e29d245aed39845d5d19a25c91f738fe4820991e","datavalue":{"value":"10.29007/B294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025211$375A8822-1353-4C5F-B165-044DF30DC0A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7525481fe740d09df841031c0bd0c426175b9c36","datavalue":{"value":{"entity-type":"item","numeric-id":7025210,"id":"Q7025210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$468EDE08-D4B9-44D2-8369-B7A8788B0AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$E78D4AA9-056F-4F56-8638-A6CF16377353","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d34a2e6c4099712e6f2a5acfda08782bd5ee66f2","datavalue":{"value":{"time":"+2025-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7025211$A7C53757-6D16-48E2-A80E-CC225E3D1B27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025211$2802E500-BF4C-4450-92A6-A5B36C79CA93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3711d78c2b93f4bf41b2bbc9722d89fd83f8510","datavalue":{"value":"7986573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025211$E1D6F5CB-2FF2-47A7-9DDE-06D979497252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025211$0BAF44B5-D66D-4B55-BBD6-A1A3264BE2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025211$4E6F1D3D-D425-4BCB-A625-70ADFCF7267E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025211$330FB9F0-0AB1-40FB-BD82-95F8E0944EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025211$411B6EA6-39BC-40A1-9404-8F96221415A7","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":"Q7025211$2CE0E3EA-372C-4362-8241-9B776BB3070B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5022617428ef26e116124ed59330ee04428a997","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$7136928C-E3E0-4AB3-8609-2F48AAF02631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$C4A433CB-BC19-43A6-9D97-2B62D22627A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea8498461ad98c2c25d2d3ae72c43b05174e53","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$71D965FA-710C-40AC-8F08-2955777055FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$4D90AAAE-7037-4020-9E8C-93CD103A8E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$B7274303-C179-4C0E-97E6-1D2FC2DB4D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649c45649bdf1d89243e631be16d93392aff7a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1494630,"id":"Q1494630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$636E8355-D26F-4D57-89B0-C35E53861C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$4F40EAB8-7BBF-4A2E-BA3F-E3A53D48E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caaa2f3c94c7e7d74275c670f6ae5dbd36e62bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$BF9D3E02-D748-4229-BCB3-36F418545B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$07585D68-2B6C-4A4F-885C-97B07DB1E307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$1D18843F-AA8A-4BBF-BED4-9317E43F5C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffdf7997a5b081d87059787f8a0fdc99d765138","datavalue":{"value":{"entity-type":"item","numeric-id":5923139,"id":"Q5923139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$BC7942FF-F0DA-49E2-A338-5345683AB9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19be9504a8e8572a2fc7dbbde392a8dacbc9d288","datavalue":{"value":{"entity-type":"item","numeric-id":1834549,"id":"Q1834549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$6FE3675D-232D-41C9-887B-F41C348CE01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f001c2abd70a626753b8acdf8eeb206d3a520c66","datavalue":{"value":{"entity-type":"item","numeric-id":2624161,"id":"Q2624161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$D387AAA6-F501-4112-92CC-7E1B4F05F67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$F638099B-7E7B-4D55-BEBF-A7831684C1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84d102b1f2c3d5e66f250d793e97840c42d3b83","datavalue":{"value":{"entity-type":"item","numeric-id":638487,"id":"Q638487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$35741884-AF85-4713-9CF4-5903D078EB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c09874f62ada20ad54ff655802b6cdd0604cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":3460091,"id":"Q3460091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$BA060BE5-A419-4775-92A9-58D57E3E4543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbce596a1ceeefb0c5f3f89aab250224c7c98df","datavalue":{"value":{"entity-type":"item","numeric-id":5191105,"id":"Q5191105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$575D5D5F-E3B0-4356-B5E7-07F3A6A714F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a726891a88b4cb71922ceb4a3dee86d5cac2a804","datavalue":{"value":{"entity-type":"item","numeric-id":5479281,"id":"Q5479281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$F2B52C6A-FDC8-4BF6-B00F-8DF48114A7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe69fc028355d5cb639899e284adf226488cd64","datavalue":{"value":{"entity-type":"item","numeric-id":3541708,"id":"Q3541708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$1FE1D555-D2BE-4D37-ADDA-116481366963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5d6593da2b8fe3324beee4814d00197486af91","datavalue":{"value":{"entity-type":"item","numeric-id":2142078,"id":"Q2142078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$CDB43476-68F9-4E89-80EC-B1DF380F3007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$E2F74AA3-2125-486E-AC64-D2D5CDFD4359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8560c579b7bf463389593a93608715865efc3f82","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$0A2EEF4E-E70C-4C12-B2AF-C98142545A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025211$634DE714-1D58-4950-876C-18BF4D6D7BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding intuitionistic into classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_intuitionistic_into_classical_logic"}}}}}