{"entities":{"Q5109215":{"pageid":7138789,"ns":120,"title":"Item:Q5109215","lastrevid":94430147,"modified":"2026-06-05T06:47:42Z","type":"item","id":"Q5109215","labels":{"en":{"language":"en","value":"On elimination of quantifiers in some non-classical mathematical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7198308"}},"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":"Q5109215$66ADBF0F-EF65-4C32-8866-4BC61B851848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65cf607682f3424f0aecabcd04ea557fd348ecd0","datavalue":{"value":{"text":"On elimination of quantifiers in some non\u2010classical mathematical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5109215$3D6E5ACD-EA1C-446D-9E50-9D6BCB63FDB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$BCBAB2C1-9991-4390-B14B-BB9A8ED1AF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c6622899de8d59a39cc3f0931be104da9521806","datavalue":{"value":{"entity-type":"item","numeric-id":2046871,"id":"Q2046871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$1FBC578F-BFE5-49F4-BD07-3A473FA1CCF6","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":"Q5109215$48497BAB-B63F-49C8-8E66-C365BCCF72EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19c9f499d49cd858839ed69f06faaba3904265fc","datavalue":{"value":{"time":"+2020-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5109215$E469863D-4B2A-44AE-B2A4-1D4012744637","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67d8647305a4cef29a4073902a7e6c717b74e15d","datavalue":{"value":"https://arxiv.org/abs/1809.08299","type":"string"},"datatype":"url"},"type":"statement","id":"Q5109215$452373E3-4F09-47A5-B6C0-3F7C3B1C1513","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109215$09E63689-CD74-45A7-B740-7100653EDA30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b418f89f9be6fbedcf481af0dff545e167ae86e1","datavalue":{"value":"7198308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109215$C508A08F-B0E3-40E3-BF7A-84C541C820FA","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":"Q5109215$314C6901-D2E8-4654-88C4-AB39CF573688","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f682b0d80435e483319e9198b05559bec313064","datavalue":{"value":"W2963863131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109215$450D584E-7CAE-4D29-BACB-AE935DCEF560","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$39977482-25C5-4146-815A-4AB63D29D626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$FC520B8E-C20E-40C5-B528-0BE045D0F16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b227bc31ed28ee79b411f9684e55ca76ea9490bb","datavalue":{"value":{"entity-type":"item","numeric-id":948760,"id":"Q948760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$F8C19B57-4212-4F5D-95C8-D72DB8515856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e5993abf27134606ae9dffa141038bfabeec1c","datavalue":{"value":{"entity-type":"item","numeric-id":424585,"id":"Q424585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$E37CB0BD-B04D-4691-A121-3860F8A05BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f929aba88ab893d44dfb8939bc8807cf7a9c01","datavalue":{"value":{"entity-type":"item","numeric-id":4032864,"id":"Q4032864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$78B122B6-5E55-402C-B856-359A420CD8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$8BC50CEA-E430-4DC6-826B-4A084F4C3D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36a616058f9c19ea3560225b8583ea5dd9baf29","datavalue":{"value":{"entity-type":"item","numeric-id":5477628,"id":"Q5477628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$5D24AE87-418C-4025-8734-8179E34205B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$5E6E4797-E257-46E7-AEF0-E6C45576DAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ef394e28aa1bd896ff1cf6888aeb4d5c134767","datavalue":{"value":{"entity-type":"item","numeric-id":692184,"id":"Q692184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$182DD274-FD01-4B2A-B916-E3438F329603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7054088f261bec1b43e83dde5033148470f0cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3734361,"id":"Q3734361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$68958C26-19F5-44ED-976E-91CBD52671A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0099ed725a77865755372536f5c90c1a03e9da","datavalue":{"value":{"entity-type":"item","numeric-id":1102264,"id":"Q1102264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$0DC6DC96-FC18-4B7E-9D20-4A7ACE092FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c426fa00b324858342d15cb2a9cb588676306abf","datavalue":{"value":{"entity-type":"item","numeric-id":2499311,"id":"Q2499311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$35E85FA5-A44F-4A86-89B9-DB9191B39B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6bc402e511a79d8f5639a0cbc88d2a581e9793","datavalue":{"value":{"entity-type":"item","numeric-id":5387309,"id":"Q5387309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$09554A60-EDEF-49F6-A1DD-87850C4F91AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409cc82a6d2a7c46bdde9115f11058b680a8ab52","datavalue":{"value":{"entity-type":"item","numeric-id":1362598,"id":"Q1362598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$F6F050AD-12BE-4F58-AD5F-712A82BDECD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3304b55d89004c8d845cc4d8fc8735a4445c0237","datavalue":{"value":{"entity-type":"item","numeric-id":2710594,"id":"Q2710594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$2C4E524B-21B0-4082-AB62-FDEBA0F1C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$C29206E8-6A47-4287-BE69-72ABA9BF0840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b450912aac150a0eb8ec6635d349032d6d0b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3539556,"id":"Q3539556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109215$5200FC61-0ADA-423A-86E1-1964FA59B992","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c61bc02b4ff434a6b1025e73c6014a4a8d594ecb","datavalue":{"value":"Q129467748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109215$E093CBA6-C890-4A42-AD15-4BC3D4092EDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e111e965a7452eea4e4d6d4b7a5b7dc30083e64f","datavalue":{"value":"10.1002/MALQ.201600078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109215$7D8F1C6B-DD85-4833-A315-3CF18669C948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e0a4ae859c328d0e6efbe356249df24c5d6f32","datavalue":{"value":{"entity-type":"item","numeric-id":948760,"id":"Q948760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bec81d0d973feade6e7972083655cad9b1aab0","datavalue":{"value":{"amount":"+0.7815536260604858","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":"Q5109215$ED00BF20-1F36-420F-A9AF-3466DE8AA8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9784f94fba0d98e2bace4542a51122b76fec15","datavalue":{"value":{"entity-type":"item","numeric-id":3778728,"id":"Q3778728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353915c2317d0a4c1a590e5a5e03c3964968a1a9","datavalue":{"value":{"amount":"+0.7755658030509949","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":"Q5109215$B44E6E06-A169-4DBB-AE32-E94234E26218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e15dd422b4066bc6fe07d73b57cc5fa46096bd0","datavalue":{"value":{"entity-type":"item","numeric-id":487231,"id":"Q487231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24262e1db47fcf14fb073388929e986f72be97a7","datavalue":{"value":{"amount":"+0.7682041525840759","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":"Q5109215$C4840E12-DE0D-4A32-B3BD-936927FCC243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5566ad50983c466a6699fe807728e4295455c0","datavalue":{"value":{"entity-type":"item","numeric-id":4729758,"id":"Q4729758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629a2722f8d6a04fc6cea404a2aeccd0b871a749","datavalue":{"value":{"amount":"+0.7552061676979065","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":"Q5109215$827A2A8E-CE25-4FEC-A3A8-7EBE036C1C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fcc3eebc544c4ffa632cc7b00b7878b6e123b8","datavalue":{"value":{"entity-type":"item","numeric-id":3995674,"id":"Q3995674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16a1cd6dc4cb106087f3e419c8236e3abba77a4","datavalue":{"value":{"amount":"+0.7425801753997803","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":"Q5109215$C2BD8577-89A5-4B56-B998-0E79D7B41DB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On elimination of quantifiers in some non-classical mathematical theories","badges":[]}}}}}