{"entities":{"Q2363201":{"pageid":2373944,"ns":120,"title":"Item:Q2363201","lastrevid":52851824,"modified":"2026-01-23T15:46:10Z","type":"item","id":"Q2363201","labels":{"en":{"language":"en","value":"Ceres in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744689"}},"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":"Q2363201$D70833E3-1397-4367-B089-35F149D75B4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"599dbd889c6f0fe158cae3db4a789a5ab593d944","datavalue":{"value":{"text":"Ceres in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363201$5A05D65B-31B5-47E9-9712-7B95F7CDB937","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"694993d8d7a507488bfaf383c54bca2b687d817f","datavalue":{"value":"1422.03121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$D7E5399D-EDDA-46EE-BDF3-0E9F65071934","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cdb0f2ca16c9cd1883b12b5d361fd27847e033","datavalue":{"value":{"entity-type":"item","numeric-id":402113,"id":"Q402113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$3EDDB8D7-8946-41A3-94A4-3A62EAC31D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9114ea63e7100f6ace8e7523bc5da45f51719d18","datavalue":{"value":{"entity-type":"item","numeric-id":777996,"id":"Q777996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$001045D3-8714-451E-A9CF-F51EDF41CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$027D52DE-AB08-4983-842A-9AF1FBA5751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$33CAAE26-CBA2-4556-BEA8-B4E1A2D7C3ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$B4FE82BB-590D-4CF8-B148-F8497A1260CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757d56442149c8e74ad624bf696390baa904ca56","datavalue":{"value":{"time":"+2017-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2363201$320E1E58-EF01-47B9-A54F-1C70CC6F30AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$40C3E3BA-9127-4C0C-937F-F8C566A8DD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$0E8695DB-9294-493B-B150-39D90F6ED36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$EC7A6F2E-E0C6-4DA2-B4A3-B0A2EE290DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$2AAFB7D9-9B88-479D-A17F-728FEB94FE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$265A8418-33F5-49DA-93ED-B9DDE35F9B8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ffb387e66b64ea223d5aa11a159baf9192214f5","datavalue":{"value":"6744689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$3168A651-AB49-40C2-81B2-DE826A35DF19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363201$6D654184-C6AD-494C-AE70-02D5D9B02688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363201$FC5B7909-4419-44DE-B7F8-3AD9CFB98702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f90f5ca0bfa8c72c47a56f0443944e3e8b9df9","datavalue":{"value":"CERES","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363201$DD77ED2F-05E2-43C4-875C-5A2B1D50A769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b90849e5dbbcee5bfb4720e39af6e829a3e7ba","datavalue":{"value":"proof resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363201$2B5C766D-EFDD-424B-A6F0-2B3F20FAB3AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$94815630-3B4C-49B4-AA8C-D5DDA578F225","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":"Q2363201$5E042958-B44D-4610-85DF-DFF2F46055DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dece4eca5a8b8dcc5670899e32c7397273a70e3","datavalue":{"value":"https://doi.org/10.1016/j.apal.2017.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363201$F990154B-30D1-4FD0-9DFC-77636BB0965C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ebc82dee4268737d4e4e7f26c44de1df9bc65ef","datavalue":{"value":"W2605134847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$9BC3C7B9-82E6-46F9-B306-3CF9C7D1B0A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"065e928c66e8a36ba87848231c1dea17453cee46","datavalue":{"value":{"entity-type":"item","numeric-id":5505574,"id":"Q5505574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$549E859E-3720-419F-9484-79A5A431633E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9971824e365b87038a762d44dbf9be6146ef8271","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$FA9A3CBC-DF07-4C53-A708-4028D21A5EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bcd041174ccd48e10bcb2ce475e4ab10d2f70d","datavalue":{"value":{"entity-type":"item","numeric-id":944367,"id":"Q944367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$523E3F60-83A9-47E4-975D-630148A4BDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$66C9584F-301C-4A20-8D3E-73B7EA97CE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$394CA9B1-5D9C-48DD-BD31-A3900DA40761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a779e017812886319ba5bf32e6bfca0b06d82ca","datavalue":{"value":{"entity-type":"item","numeric-id":5705916,"id":"Q5705916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$32FF2B2E-7748-4FA0-A221-E116F43AEADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b28d320f1946e7f3fd48081f2ba560ca397acb","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$FAA4A25A-C98D-4B93-84C2-948DB8B5A7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c8bd4751ddf31ffec3cead31fe50a54786c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2259012,"id":"Q2259012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$2AE9C8A6-FD57-4D1C-B058-84DBF4685150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a367dc79ef69a0451f132c3389c173b5eb5dcf4","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$A4A18B75-1DA5-47D4-BCC1-B680D5767358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c5deeeb70a71d2e28c16c55abf45f3d584d140","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$5F87D328-A134-434D-B49F-1A6A2E915005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a39c31f82702898501e90b1c2e31d6943391ab","datavalue":{"value":{"entity-type":"item","numeric-id":716500,"id":"Q716500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$6424AD99-9684-4266-B5CF-81CDE1CFFA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$5EFFB894-A8A8-4BAA-B167-81AFC4CBABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$A9937BAC-4BC3-4C0D-ADB0-7387F9189362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95379fa98cb3c359666f52befec2017d2599ea3","datavalue":{"value":{"entity-type":"item","numeric-id":4649567,"id":"Q4649567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$EAB1344A-902F-4E58-BAC4-FBDE0BB3A5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83518b8fbd086499348be473718f925c9a1a5a7","datavalue":{"value":{"entity-type":"item","numeric-id":2901900,"id":"Q2901900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$48E425F4-833D-4759-81BC-02BD805E3040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363201$05093604-9B14-4A2E-AA1C-8B56DDAB06E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64d2f7c71d547debad7630ec237c9b1a2e60af41","datavalue":{"value":"10.1016/J.APAL.2017.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363201$C3BF3CB5-480F-4502-8CD9-B874859153E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41eb35bcdf318873777e884443703876bb28c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4649567,"id":"Q4649567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6830ffe78a1b2922ce9c3ebdcff9cb47450d8d","datavalue":{"value":{"amount":"+0.9059534668922424","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":"Q2363201$70C121EE-2232-46CC-A1D5-3C27C7B4FF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a949c1887df37020eb85436a1ec2c31019214486","datavalue":{"value":{"entity-type":"item","numeric-id":5705916,"id":"Q5705916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d706948cbd73623cc36d7c6ccf4a8eb95ef0480","datavalue":{"value":{"amount":"+0.8462643027305603","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":"Q2363201$FE28A95D-B5D2-4DE3-B8B0-5006F0F952C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2402b34c779a73eb9f6c4530e64b5a77c98788a","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b9d0fe39e9f69f8de14a12ca57954740142f2f","datavalue":{"value":{"amount":"+0.8343010544776917","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":"Q2363201$703EDD34-53B8-4004-909B-1A9B3B6B74D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff2234d712e9ec47640c786da6a18cb4b7bcee","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ef22e48901bd2bc762fb03fce6ab0738bc8f37","datavalue":{"value":{"amount":"+0.825480043888092","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":"Q2363201$E152D1CA-343A-4DD7-A2E0-76DCB93DD7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7910f50ae5a96092eb3bdfb8702ba88ad922a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2259012,"id":"Q2259012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4372e55e2f6b58f8979c38de74e4ebee1da68600","datavalue":{"value":{"amount":"+0.8200513124465942","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":"Q2363201$704E8109-9608-4449-A776-7E9BCA0EE28F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2363201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2363201"}}}}}