{"entities":{"Q5495937":{"pageid":7525497,"ns":120,"title":"Item:Q5495937","lastrevid":101389100,"modified":"2026-06-06T01:08:31Z","type":"item","id":"Q5495937","labels":{"en":{"language":"en","value":"A vernacular for coherent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327275"}},"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":"Q5495937$31FAF488-2336-4BF6-A64E-ABAEBE632F1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"797dd31fafcebfe9cc8f432be5b18eeff193eea7","datavalue":{"value":{"text":"A Vernacular for Coherent Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495937$91486264-ACE8-4DB4-B5E5-DDAF7E183A7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"425bd40a393f8b11ad0917b3086b45964f77a253","datavalue":{"value":"1304.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495937$61D7A9B6-F029-48C9-BE5B-AD668A9E7A56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c7bdf5c9b11608444a13010dd67cadd58358e73","datavalue":{"value":"10.1007/978-3-319-08434-3_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495937$2FEAAC31-3197-49FE-8A57-D487DB5492FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ad42ab9dfae9b8988a3e5daae1f5ce0e618d965","datavalue":{"value":{"entity-type":"item","numeric-id":2849514,"id":"Q2849514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$73CF3192-B1CF-4964-959B-58FE3AB86394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$778AD1C9-77C8-4BF4-8E06-9DC957DACECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$89495CC7-6FC3-40AE-AA5D-2494D9E2676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$440E5B10-C2EA-4CA6-825C-CB5A0366F545","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$8650B507-40EB-4524-A9EB-E2FCB20124B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495937$E17BFD74-A1E5-4586-BB2A-D47DC9BAE7D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd59d9519d35bd3dce9b11b3c186a358c54fe3b5","datavalue":{"value":"https://arxiv.org/abs/1405.3391","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495937$FA19B1EE-13DF-47CE-AA4D-B8B18C9D5FCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495937$893FFF7B-5348-4B21-A9B9-A0D8B6659828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495937$C698834A-2418-4EF5-A9EA-DA5CC4067A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495937$F3C1348B-5DFD-4513-8084-5361F498216C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495937$3663F85D-2D6B-4765-907D-FAFC279CC584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f52856d99a95df9158af1610fcd7830adaf64f93","datavalue":{"value":"6327275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495937$032E0E48-75B1-4CF3-A08A-9B9B95AB1B1E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$6F95A5B6-A18E-4C02-9ABE-2934BA263962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0df35e35bc9e0d646d3ffec0c1dfd6eea794d089","datavalue":{"value":{"entity-type":"item","numeric-id":19245,"id":"Q19245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$E57A8B67-2AE3-4422-B11B-FA31D4A1858D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8376bcc90e7c7f009563b97a4560743162f2cada","datavalue":{"value":{"entity-type":"item","numeric-id":22158,"id":"Q22158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$7FF13FE4-448D-400D-A861-FA01487DB915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$BF63E804-7175-4E5C-960E-6484945E1D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$C97CA7CC-2A5B-4FC8-9B88-AF8E3D19C890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$1D476A5C-D5AF-49C9-AF00-C84F91AEDB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$1C5A0118-3B87-49A6-AB13-5EEBFABE573D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$5F24D7DA-2232-45E6-8D0A-05544F6F7479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e22b8176489c2409392314db08f466f9ad9c934","datavalue":{"value":{"entity-type":"item","numeric-id":30463,"id":"Q30463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$87BD5A6B-DB9E-46B7-9BFE-F1173BD348A5","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":"Q5495937$9671EB67-59CE-42B1-9BEA-B05DED73F512","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e803681c3f0c4da1beaefc3ec766d7144808634","datavalue":{"value":"W2128184640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495937$3165E0DD-A5E5-4ADE-9724-35166E5BB751","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3860c002e5bd73f6a4938093fc1d13dc428ed801","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$24460D58-916F-4564-B137-13827ED08E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c1110fd3be878ef3de03103ae27e7c28e603a5","datavalue":{"value":{"entity-type":"item","numeric-id":5301849,"id":"Q5301849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$61E551BF-2C8E-4133-8F73-06EDAEFB759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30492f77eb016746469a740ef03c349aed405ecd","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$8298CA49-AD6D-47F1-80B3-8B370B0C97FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5791688c0d08cb0956d2f1e861eee0a36c47d237","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$AFE17F31-D9D4-4AEF-9797-DB0C9B86FAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$1493828B-6383-4E63-905F-63493A1F2006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5469f72b3d14e0a040a00af8c98b8e5cf4cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$308CD56F-F9B2-470C-9182-EE0139A5FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af95de105e36413cda7203d90e9ae77d3ccd9381","datavalue":{"value":{"entity-type":"item","numeric-id":3525085,"id":"Q3525085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$D16F90A6-72F7-45EF-86A8-2AAB0241801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb771eb1dd5ac3a4e83b6105ce84dd2191d8e367","datavalue":{"value":{"entity-type":"item","numeric-id":5327336,"id":"Q5327336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$E11B52B2-87C9-4029-A5D2-28E58262671C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6af1483960b5acdfcc7fab2e7274bf3ab4268fd","datavalue":{"value":{"entity-type":"item","numeric-id":4928443,"id":"Q4928443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$57AB94E5-6AEE-4869-B636-CF4F5C87CB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14084b41dac7e71956551690bb40c48e6f7029ba","datavalue":{"value":{"entity-type":"item","numeric-id":5747657,"id":"Q5747657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$6BD4BED5-FC00-4057-9E6E-89FB6235F097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bd7a7804d462c14eca2f48adcb648eadeff050","datavalue":{"value":{"entity-type":"item","numeric-id":1100932,"id":"Q1100932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$488A2BE7-D0B8-42F3-9665-6292DA3E9E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$E77F2A31-4E1E-46A3-B214-9F0BA10844E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448244272da4dbff5b7c78c2545c59c5b5af64d9","datavalue":{"value":{"entity-type":"item","numeric-id":3102745,"id":"Q3102745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$436D4694-17A5-415E-978A-4D6F777649ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$96C34DA2-6BD6-4ED8-95B9-63BE99045C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43144c4a0a56b8fe6b196541305aec6c39695ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4262603,"id":"Q4262603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$33B24EE5-44ED-4DA6-BDA4-C505F88F2FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ef8738eccd7b653460e41e83660d0f8b8c95df","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495937$6F67167C-8ACC-46B9-936E-EBF16B060874","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ed56f054f2c4d95c0e23622653d6f12097a0ba","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0eda34d1a0554105695c58c14eb4af223cf7d1","datavalue":{"value":{"amount":"+0.7806177735328674","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":"Q5495937$E4EDE4B3-EC1F-4AF5-99BD-8695A5A39D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69d2638618b1398e223482eea704c8301b9fd6b","datavalue":{"value":{"entity-type":"item","numeric-id":3102745,"id":"Q3102745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae6bedfe13a9b492629fc2c9e61599ea0fb8705","datavalue":{"value":{"amount":"+0.7753686308860779","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":"Q5495937$019A8130-6938-4169-B2B7-EFD839E7F91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4043424a019ad7473006eca39e1b8daadbac8cf","datavalue":{"value":{"entity-type":"item","numeric-id":2102932,"id":"Q2102932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f650c365646f1dcfc45dbe6110aac21259a03b","datavalue":{"value":{"amount":"+0.7660397887229919","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":"Q5495937$FFCE981F-63A3-42A2-A419-DCC625B60120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d26e55b2d0676f92a5f1135769d3cdb3b111fb","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f629d88e110fd1a1a112e11161b7d6267a658a73","datavalue":{"value":{"amount":"+0.7515387535095215","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":"Q5495937$86FAD6AC-6928-4846-8306-1CE5E3C109A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe628dd31ceb142b83e31f71b8fd767f0e44fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4558008,"id":"Q4558008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05e0fa843ffd56457c8b865aed840a080ad77b9","datavalue":{"value":{"amount":"+0.7491967082023621","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":"Q5495937$79AC161B-8756-4FD6-9405-7108B9AF4BDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A vernacular for coherent logic","badges":[]}}}}}