{"entities":{"Q2963996":{"pageid":2974721,"ns":120,"title":"Item:Q2963996","lastrevid":85426613,"modified":"2026-06-03T08:12:05Z","type":"item","id":"Q2963996","labels":{"en":{"language":"en","value":"Proof assistants for natural language semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687997"}},"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":"Q2963996$41C47788-11E4-4833-802F-D8D274C636FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c59db7a288cd7994fb01dc63ae2aebcfddfcfb3","datavalue":{"value":{"text":"Proof Assistants for Natural Language Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963996$B2A53073-955D-473C-98BB-03D046488EBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c35170c71f1c68a4842676a2ca0e2e91198d1f68","datavalue":{"value":"1483.68456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963996$35C4C412-1821-420F-AC77-2FC8C5D1231C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60c0a720d027f7998435ee74b99b97facdecf669","datavalue":{"value":"10.1007/978-3-662-53826-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963996$3C342783-CBE2-48A2-B484-4BC777ECD7E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c2580222b08ab28270a36b4ce67bcec7c95f00","datavalue":{"value":{"entity-type":"item","numeric-id":683681,"id":"Q683681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$193B4E3A-517F-40F6-A984-E1A7AA4E9873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$5DFE99DC-A5E6-4024-917B-409EC54118C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0bce71063c22ac1efd683b01231ef659270754f0","datavalue":{"value":{"entity-type":"item","numeric-id":2963988,"id":"Q2963988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$9E96B919-1866-4251-A49D-8131673D2258","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ccf44329f0b8ca1e42fd376b5ef1ba5e3da06d7","datavalue":{"value":{"time":"+2017-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963996$B333BDC6-7720-4E27-9768-BF63A3C27308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963996$3C1FE699-B6AB-489D-8FD2-D6206635B861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963996$06279287-55D8-4B14-83A8-3064CC1D7AD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d58536ede927a4dfea244e5b27fd10222ff3db2","datavalue":{"value":"6687997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963996$A271C5F9-9586-48BB-9B05-F58C7262C581","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963996$6DDC10DF-48EF-4E0E-AE19-0DBF1D796AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963996$7828E084-FEE4-45C3-A522-F416666C0E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963996$0F6BEC06-2C4E-41CE-8E4E-07C267466971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963996$AE11F5B0-8514-4A58-ADE0-337C0B17B594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963996$6855BCC9-8818-4D56-BA97-F09334FD67C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$0CA1E4DA-BE3E-4255-ACF2-005119C09540","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":"Q2963996$387CEA5A-451E-40EE-B283-2ACBEE011C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$8F6F9D85-C000-4669-947E-AC63E58BE5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$712955E8-FA80-42B6-875A-703FACD435DB","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":"Q2963996$1C58F7DC-061E-4AE9-9F11-D482DDE338FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1adfe5a87db85b93de2531c790ffebeaf99c2494","datavalue":{"value":"https://doi.org/10.1007/978-3-662-53826-5_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963996$1D41C0EE-495D-4CCB-B347-2E07C3BE8D6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88732ae7495f943a1ec8afbe5a20e110bdfaa3a1","datavalue":{"value":"W2554346448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963996$ADAE4838-75EF-4C0A-92E6-CFB1AB00EE52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b07fd72354472150582809d4c4bed0950dcb38c","datavalue":{"value":{"entity-type":"item","numeric-id":4981265,"id":"Q4981265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$624D58D1-7338-490D-9F2C-BDFA8246E664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a35cb647be90858f0693fae854199f0a2eeaeb","datavalue":{"value":{"entity-type":"item","numeric-id":2258817,"id":"Q2258817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$F7A672E9-18B9-403C-8000-EE11C8919F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb103b527e31b1358e94e4e116dc0966809ae11f","datavalue":{"value":{"entity-type":"item","numeric-id":3025327,"id":"Q3025327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$1F329677-3E7F-4070-B975-31DBF45CA4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eed5078fbc5e58be2992f2127f5f239bf380448","datavalue":{"value":{"entity-type":"item","numeric-id":5691498,"id":"Q5691498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$8E3AE47F-310A-4AD3-BD94-7C06E1543676","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":"Q2963996$6564B8E5-972B-4866-9FD2-1FFFF5823FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a954c67c8c5364eb4783da18d0ff09e7ae032e","datavalue":{"value":{"entity-type":"item","numeric-id":4552507,"id":"Q4552507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$0D62600C-D280-43D8-AC1A-C429962537E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b576f7cd0d2ce7501d2ac1886a5dec9f2a8326ea","datavalue":{"value":{"entity-type":"item","numeric-id":4981275,"id":"Q4981275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$147FF2B9-8DD8-4C37-8CB0-D6DDB7B6CB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$FD5CDC30-E24A-4101-B289-4C9D2249CC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafffdd0b071666063f891cfea9298aacdb7897a","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$4C944869-8CA1-419A-B984-3C1E1182E15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15150a066a875780282ed51b57eab86954e3596","datavalue":{"value":{"entity-type":"item","numeric-id":3010344,"id":"Q3010344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$9D4A0CD8-8D37-4881-8B5C-1E56378A85B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b2c4532cf72e8509d320c24a920bc048b4e93a","datavalue":{"value":{"entity-type":"item","numeric-id":4981255,"id":"Q4981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$7CC38FBB-FBEC-471B-BF66-211AB33392B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2362af883df86f648b35627704233310f21eda59","datavalue":{"value":{"entity-type":"item","numeric-id":4981278,"id":"Q4981278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$BD092008-0B41-44A5-9839-ABAD339BA9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86d13696575049c297e8d22acbcecfd089d4e57","datavalue":{"value":{"entity-type":"item","numeric-id":1685927,"id":"Q1685927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$1C73E07C-3815-4A00-9407-0EE67173C85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97910e75c910b7fd3a5d5a0cefcdf9b015cc070","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$8F254908-2BC0-410E-AC29-481A9A601B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$9E82A5EB-B526-4799-BE7A-627D0CD8191A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$1F215488-422E-4D31-B158-87E2A5EFA5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf91f0543e751dc7b431c5a6d2bdd6f4328bc68a","datavalue":{"value":{"entity-type":"item","numeric-id":2968418,"id":"Q2968418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$4F009806-FC9A-47CE-A869-F5D5DA2E50AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$47FEE1D3-6354-4F94-80F9-45E343A0AFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9483d0139d2bb4d0d243ab47c468e3ad05746c57","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$259B68B5-2FD9-407D-A0D0-618421A607B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e455d4ca94c6ccec51ac2375f704f1f242475f","datavalue":{"value":{"entity-type":"item","numeric-id":2258817,"id":"Q2258817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310a3bac6509bae3d96c132294a8e8551a6a96c3","datavalue":{"value":{"amount":"+0.8097681999206543","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":"Q2963996$1A188582-59F9-4AFD-A4E1-069C325240D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d68d128f5362206664bf741ea88f5f40c22565","datavalue":{"value":{"entity-type":"item","numeric-id":4981275,"id":"Q4981275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498255e4e4adc7027d4aecfe7b111c6f23918b71","datavalue":{"value":{"amount":"+0.7248225212097168","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":"Q2963996$1DEB1909-73EB-443F-92E8-1B70BD7CB5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2566155239714c00e61ec0ef8651340a4fc288","datavalue":{"value":{"entity-type":"item","numeric-id":3400636,"id":"Q3400636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6929273dbdcdd4b955e258b73b2b679e84c52ebb","datavalue":{"value":{"amount":"+0.7241696119308472","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":"Q2963996$663FB609-157C-49F5-8B04-09981D08B9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9707e33700967679010ac1d47d134b3b741111","datavalue":{"value":{"entity-type":"item","numeric-id":2879241,"id":"Q2879241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fac1b113235da67cb9906cbef0b31c9ef864f8","datavalue":{"value":{"amount":"+0.7220713496208191","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":"Q2963996$99BFD74A-A7C0-419F-8C33-1E705F569BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b29c499323d35dfcc5c765968119e36c36f5c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5096388,"id":"Q5096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba96e18f706813b8931caea0c37a579a2221b6a9","datavalue":{"value":{"amount":"+0.7142072319984436","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":"Q2963996$5098FDF6-FA7D-4188-AD25-6F72431FB243","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963996$63A13A10-8574-4CB2-98ED-EB489CF78B20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof assistants for natural language semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_assistants_for_natural_language_semantics"}}}}}