{"entities":{"Q1256460":{"pageid":1267210,"ns":120,"title":"Item:Q1256460","lastrevid":70479909,"modified":"2026-04-13T14:55:24Z","type":"item","id":"Q1256460","labels":{"en":{"language":"en","value":"Heyting predicate calculus with epsilon symbol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3627167"}},"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":"Q1256460$C16D5296-C8E4-4127-B57C-ED37EECA45E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ee6606def7a1e9a91b647a505b1bb6a2cba6fe3","datavalue":{"value":{"text":"Heyting predicate calculus with epsilon symbol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1256460$B9201D9B-09EA-4B25-A7B9-007361DCDB51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21787a2ffe5d8bdf90ac8ece7487856eefb2d650","datavalue":{"value":"0404.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256460$71BD0955-9636-41C5-9F21-7099070CF0A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a37f8304da4c4124f1682381731bf6dc5cc8cf92","datavalue":{"value":"10.1007/BF01091551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256460$33C067F0-7B8C-4771-8563-21236A0FCF77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256460$536FA461-6F53-46D6-8240-CAAA89738181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1256460$5DF2E6F7-3A6C-40CD-8FB5-274BBBFBDDBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256460$148E4A61-38AC-4BEC-99AA-FEDECBD1D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256460$99A73DF0-F805-4491-AFF0-7D84D4C6BE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256460$512EFDEC-349D-479F-B0C2-FAE7D37AB43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256460$5001CD3E-A81D-4D21-B170-A669F2B84140","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87e8c79e97ca950902df80d870890e6c92c42f6a","datavalue":{"value":"3627167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256460$A7113014-D652-4015-AFF4-D7FFC9032F33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3831b6a6ff2327280c8acf9a61c1a1d63d7cbafd","datavalue":{"value":"Heyting Arithmetic with Choice Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256460$33B8F8F2-3C59-4F0A-A708-6E31B370F97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02b734737522e0558563c0ed531b99fb7088a247","datavalue":{"value":"Heyting Predicate Calculus With Epsilon Symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256460$BB477CA1-6FE0-4FC9-A894-BF31DD8C8B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef3fcac1550374ccb082bc94f8b2fb133768d393","datavalue":{"value":"Quantifier Elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256460$DDDA0825-6CC8-4FEB-93D4-88C6C0CDA46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c14f1cd82bead20c92ef5258209643fd771a7201","datavalue":{"value":"Normal-Form Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256460$8301ED6C-3246-4ECF-B138-B4A74476AA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3db0bc45cb2dd0d681f5cbb2952620b9dfa919","datavalue":{"value":"Cut- Elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256460$999FA5AA-A8E6-470D-9A39-36619D1FB42A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256460$97FD96EA-1AB2-4CC6-9599-E5D55B748B28","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":"Q1256460$68E5925E-3AD0-4335-8BC1-2A9C90335820","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256460$C7CA6A89-7EDF-44AC-8092-5C37CE272409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acac0bdcc5f398fbfeadd0bb0d9618cae9a7e7d3","datavalue":{"value":{"entity-type":"item","numeric-id":5675348,"id":"Q5675348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256460$B0ECA903-2881-4F48-80F1-5CBE0F91B61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2872a65a32e51f278619b314fcb87975d2d0d3","datavalue":{"value":{"entity-type":"item","numeric-id":5632555,"id":"Q5632555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256460$884A4EBE-3581-4772-9993-06AF6C11FEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86fac08569f7a38c21f588c4c4150c24fe55be2","datavalue":{"value":{"entity-type":"item","numeric-id":4773682,"id":"Q4773682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256460$9DEEC6C4-3B3E-4B68-A099-7E3B41158517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d551e9a56f35d9b5e08cdb06c72aa93cb942991","datavalue":{"value":"https://doi.org/10.1007/bf01091551","type":"string"},"datatype":"url"},"type":"statement","id":"Q1256460$F6C45D1E-541B-4D86-BFEB-22D61B13C0CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33d4c5e6e62446749ea2393c9032b7fee998eba9","datavalue":{"value":"W2009774817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256460$C9671B31-DC2F-40EC-9EC5-5DF7F0663982","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heyting predicate calculus with epsilon symbol","badges":[]}}}}}