{"entities":{"Q4857864":{"pageid":6887444,"ns":120,"title":"Item:Q4857864","lastrevid":47374660,"modified":"2026-01-01T13:36:36Z","type":"item","id":"Q4857864","labels":{"en":{"language":"en","value":"Intuitionistic \u03f5\u2010 and \u03c4\u2010calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 824546"}},"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":"Q4857864$62F4B17D-2441-41BD-8393-4234AA7DE136","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e15628d84afc8244a625d6529a5e782c308da73","datavalue":{"value":{"text":"Intuitionistic \u03f5\u2010 and \u03c4\u2010calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4857864$9452D7C6-4BE3-4DAF-B143-74EA69D3A885","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3407134327b87ceabc745f8f370cbf61cc361b73","datavalue":{"value":"0837.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857864$D0856D7E-8FDE-4A53-9C08-6E9F861CA442","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab31fe61d347dacca2c07304b4072a05f025c49","datavalue":{"value":{"entity-type":"item","numeric-id":1283314,"id":"Q1283314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857864$BB08CCBC-33BF-43F7-B9A3-00E7282B6F4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857864$1034B3F3-6978-44B2-8807-6A3A111BCF45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-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":"Q4857864$863F2F74-1F34-4B08-B091-666B06FA899F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857864$B66694D4-DEEC-433A-BA5D-B31A9070EDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857864$45620571-066A-4DE6-BF2A-B937A4FC4A74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e65113c6fe4c4a5d9479e37b3117030c304dfe46","datavalue":{"value":"824546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857864$955BB1AF-8162-4091-874F-041892B3338F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0745240e586c3fbcfcc19f29ac8456a89ee0a2c4","datavalue":{"value":"\\(\\varepsilon\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857864$74F0C17B-18EA-4CEA-90AC-1B7DC893DB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857864$D420BFD8-93B5-4A18-A32B-AE2C8F449CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067f4e7dc44f76a541f7a00ab9adf9c84d27aa14","datavalue":{"value":"\\(\\tau\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857864$9EC8336C-A5A9-4D9B-970B-726F9C5BFBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6c07bc22bf697005a7592e76c6126673928c7cb","datavalue":{"value":"first order intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857864$3A8A8F91-9D61-4239-9548-CDC4FAA44A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857864$B8A454D6-AB48-4661-BC0D-15AE974E3504","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":"Q4857864$9634B0AB-6FE3-461E-B1C1-4FA6B9CB1833","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"690fdb1d488ca04e3a118dd1c6495d2d8e2f7967","datavalue":{"value":"https://doi.org/10.1002/malq.19950410409","type":"string"},"datatype":"url"},"type":"statement","id":"Q4857864$6BB42426-770F-453A-9C6A-6D03FBF27850","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87b6333e3ef90d1a2513cce2b8cc55af7efb9baf","datavalue":{"value":"W2058072553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857864$5E176D4B-F29D-4B1B-9824-AC3071D51DC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857864$31BEE4DA-47A5-4420-AC3F-8856B27A6FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361ee315001f9a9481bb17b7453d549ec421643b","datavalue":{"value":{"entity-type":"item","numeric-id":5672866,"id":"Q5672866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857864$A30442C7-F5CF-473E-89F4-09ABE7D30F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25a738f1ae81498c7ab556280d1bceb30630674","datavalue":{"value":{"entity-type":"item","numeric-id":4739887,"id":"Q4739887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857864$E4F9E736-5CFC-4CBC-80B5-FF52CEEF42CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e7c4db19eba5df5abaa80ee66445450982becbf","datavalue":{"value":"10.1002/MALQ.19950410409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857864$0BC2B4CC-88CC-488A-BBCB-F99F7BCB20FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0c48ca697f7f3f71550f4e9ab087b37141592a","datavalue":{"value":{"entity-type":"item","numeric-id":4304116,"id":"Q4304116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd746545e62eee851969c043a41aa6251149c8e","datavalue":{"value":{"amount":"+0.8444709777832031","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":"Q4857864$F549829B-6E82-4C5D-9782-424BAE1F2540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62af7952db77171eb5bc4a1101e7491e683c67b7","datavalue":{"value":{"entity-type":"item","numeric-id":3433105,"id":"Q3433105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b98a161dae2a2ba4567858027f5bd0ea2c07109","datavalue":{"value":{"amount":"+0.8269326090812683","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":"Q4857864$E0B85544-F43C-4ACB-B754-593841E3A866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cccd438d39cc1f94c8fe0921eecb52797bc7e925","datavalue":{"value":{"entity-type":"item","numeric-id":5224489,"id":"Q5224489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc9909686b3807abf548bfbbbead406ca67c602","datavalue":{"value":{"amount":"+0.7877813577651978","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":"Q4857864$C7FB44A0-AE68-4E14-9D97-CDD2378E3E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af41c0ff4c544cca7c93c3a3f78ed3c6f631799","datavalue":{"value":{"amount":"+0.7851751446723938","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":"Q4857864$32C771B3-AEDC-4637-A2BD-64FA015E061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3726aa7620a398bf7287b346593c5fab0b91913b","datavalue":{"value":{"entity-type":"item","numeric-id":1208146,"id":"Q1208146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee014b698fed993c1414f62ec885915cfb86dd1f","datavalue":{"value":{"amount":"+0.7845087647438049","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":"Q4857864$218DECAC-72A2-4E50-B81A-1A96C767189E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4857864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4857864"}}}}}