{"entities":{"Q5213612":{"pageid":7243182,"ns":120,"title":"Item:Q5213612","lastrevid":58474686,"modified":"2026-04-05T09:22:50Z","type":"item","id":"Q5213612","labels":{"en":{"language":"en","value":"Intuitionistic existential instantiation and epsilon symbol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162487"}},"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":"Q5213612$F3452A3A-BE6B-4A7B-B7F2-B483E023ED64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caf53222d309619579081931a64378a6bad5f8f3","datavalue":{"value":{"text":"Intuitionistic Existential Instantiation and Epsilon Symbol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213612$238D9F52-7124-41A5-B1AB-A9C6204185EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b261c305df29456df263f5d3cb7962cec7e185","datavalue":{"value":"1429.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213612$1150165D-1FE0-4901-BAA8-16F6DC484C5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f67780e7c39f0346306bb15d4eef54de4a4ce40f","datavalue":{"value":"10.1007/978-3-319-11041-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213612$E98388CB-6E3E-49D8-8EA6-A709FEE9FC4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"751fc4d3c43bb9e144ea47418b6cb8b246d341ae","datavalue":{"value":{"entity-type":"item","numeric-id":5213603,"id":"Q5213603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$8B751132-FDDE-489C-98D4-8C06F11B3C31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-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":"Q5213612$314896E1-2B41-4A43-9AEE-60B395660126","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a1bacaadb96e44a08552aba30d9913f1e05ab5c","datavalue":{"value":"https://arxiv.org/abs/1208.0861","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213612$6774154A-7969-493F-9005-51D3B8D12696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213612$4F01E3A7-CE72-40BE-B860-A8398C1C44E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213612$DC1CBF63-2840-4FA3-812C-9FA36CB3DF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213612$0CCDD261-BB07-4704-B84B-C8160BBC075B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9cdbe05707a895447578a5b915d2c4c5b64d25b","datavalue":{"value":"7162487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213612$24EB02A2-0DC6-4C66-9DB2-872C32C1560A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5763af77f6c71bce813e4ea3985e005affe846fc","datavalue":{"value":"Hilbert's \\(\\epsilon\\)-symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213612$47CD2B04-494C-4635-9B38-AE9F9D02083E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213612$46C072C9-6DF4-432F-94D8-7FF55977E43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0dbe8b33b7af364621e014c496ec8508ed5e59","datavalue":{"value":"existential instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213612$0E6BE7F4-C3E3-47D0-8AD0-D87DCAAE6C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213612$894E41AB-F074-4A8D-B0BC-2D651AE9C0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213612$CDFC9A54-21E8-435C-9BC9-707B3B8097A9","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":"Q5213612$B6D9B1AD-1FD3-4FC4-B6B7-247FF4FE1E5B","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":"Q5213612$EA6524FD-0E8E-4530-B9F9-064D9DA519EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"309ac083d20528e2ac8253923acc55040d35c621","datavalue":{"value":"W2963892445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213612$F0CDBF73-595B-4A0E-8CFC-8013EFC61BD0","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":"Q5213612$5AD97622-53BC-4645-AB0C-68D30162F47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$52291551-16AD-4085-9619-18D7DB06B765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$40633276-3B95-43D8-8F94-03DFE7507015","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":"Q5213612$738FA2A9-0B2A-479D-80D5-4FFAA04A4155","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":"Q5213612$AF316A89-29D5-45CE-A929-855DD576571B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e96724ecdaf3b10ad794bdc9c339c51e07df37","datavalue":{"value":{"entity-type":"item","numeric-id":5579476,"id":"Q5579476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$36AAE2D5-E13A-45A3-832E-F9223E88CF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee8fe1191b9d814a579183f943d97319419e687","datavalue":{"value":{"entity-type":"item","numeric-id":1845874,"id":"Q1845874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$93E1C333-04F4-4D2B-B903-40F6986EAE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$D2C5211A-C0E2-4B73-A375-E198B49B4EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6861d973cb15ec8fb90a53ea1c7afc2a2bf67a","datavalue":{"value":{"entity-type":"item","numeric-id":1577345,"id":"Q1577345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$025BFD6F-1365-47DD-B303-E0C0C04CF2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$E9F5F95B-BF13-44E0-B7ED-777288047BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1819f2950e702c631179b1e2643824c9be08203","datavalue":{"value":{"entity-type":"item","numeric-id":4088796,"id":"Q4088796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$D60EAF84-E7D5-45C3-96FB-D79EA4963A44","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":"Q5213612$8EDFB558-B477-4206-B40F-A3300C9F2986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415415f5c831abad19dc1108e67f5f5d02896597","datavalue":{"value":{"entity-type":"item","numeric-id":4159057,"id":"Q4159057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213612$351C78D9-C704-4AC5-B98D-02A406C6A693","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":"fcd0aa4f431e070d27a3cb9295b254edc372378d","datavalue":{"value":{"amount":"+0.761419415473938","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":"Q5213612$E14C1A1F-F0D0-4376-AC5C-6CDEE127BCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5036a1e26759ce9a952588553739d84bdfc29c","datavalue":{"value":{"entity-type":"item","numeric-id":4133596,"id":"Q4133596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1cefcb580424e02cc23e7472443427aac4a5149","datavalue":{"value":{"amount":"+0.7564353346824646","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":"Q5213612$1BC6E72B-5BA6-4BC8-8BBB-B996DDC2E1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdf1ad2a27c8a1e253a63a8c0dbac38534bd5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1198828,"id":"Q1198828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0665a09440c06efd159ac1b878f1c7056775ac03","datavalue":{"value":{"amount":"+0.7458261251449585","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":"Q5213612$195E0E9F-8C9E-4435-978B-1795DC24ABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d2ba9a0f1103d65694830aa2a37639bb867eab","datavalue":{"value":{"entity-type":"item","numeric-id":3007245,"id":"Q3007245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe8168249c50ffb62a57f251f15083881a2f39c","datavalue":{"value":{"amount":"+0.7426268458366394","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":"Q5213612$3E08705B-6828-4085-83FD-A36D422FB0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99812f8f0d789d7b3463f66b2fe06509e8e5177b","datavalue":{"value":{"entity-type":"item","numeric-id":4857864,"id":"Q4857864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1818ef1ffc8fa16d3b3fe282756d322e543344ed","datavalue":{"value":{"amount":"+0.7363982796669006","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":"Q5213612$40764C46-6126-445A-9330-E51684D35DE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213612"}}}}}