{"entities":{"Q2891399":{"pageid":2902124,"ns":120,"title":"Item:Q2891399","lastrevid":51491318,"modified":"2026-01-18T11:59:19Z","type":"item","id":"Q2891399","labels":{"en":{"language":"en","value":"Teaching semantics with a proof assistant: no more LSD trip proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046569"}},"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":"Q2891399$3A4F74F3-42DB-451D-B7DC-55DB69373717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2d243c01e830cd1408913f4f3ec64c63627ac73","datavalue":{"value":{"text":"Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891399$0482427B-D115-4385-A8CA-59695917BD2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8b1c8cc64ff6c7ed63d8f8462aef9eeeb59cb67","datavalue":{"value":"1325.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$77DD3DE1-EE0E-41AE-ABC6-2BF0D82DF4FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1879b46351db63dbd05fbd27f59dfb13043cf194","datavalue":{"value":"10.1007/978-3-642-27940-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$0D771813-6D68-4167-9D28-319147C3A70F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$EE637A36-312E-4CAE-B96E-B74E4EE1D846","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":"Q2891399$38BB3960-6E49-4E70-8B49-5DC4D4DAA37A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891399$A59047C1-A37B-400F-BEA1-7D17821A984B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$07C71170-8BE2-4FC2-B07D-614F2F4AA1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$F974A800-027E-4FE0-A59A-83B1D1DF767F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$C4F67EE6-9BA3-49A4-B037-755726F4CE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$7FB9C693-E8E9-4C57-99FF-BA8DF67288B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ce0093770023cd1254fb75d59d0cc4f89889b8","datavalue":{"value":"97P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$657EE3E7-8514-4E77-8EB3-4A99976096B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e2ebaf381146d9ec88f8e43cc314dd30ef00675","datavalue":{"value":"6046569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$119492DE-53F2-48CE-A530-FC8BCACECA40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$B9915B90-8C89-4298-B648-D592990980C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$02DC6E0D-51D1-4C5A-9E18-A361C77D648F","rank":"normal"},{"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":"Q2891399$CF8B1C2B-E8C0-4187-90EA-3721A6B444F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfc04cb9d60b5d55b254e88c83f4544e393bedf7","datavalue":{"value":{"entity-type":"item","numeric-id":14005,"id":"Q14005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$D36675A0-7857-46CE-9C53-CD06D3380535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$FA9EEB0B-9E67-4131-A2C2-E9DC593FB81A","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":"Q2891399$2C0D1CE7-C35D-44E5-8434-E7ED248013C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8455808aed9282ae1eed82512c469b84dfb04d0","datavalue":{"value":{"entity-type":"item","numeric-id":41360,"id":"Q41360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$D03D9A0E-E591-4F18-9594-687F36350FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$96929754-94AD-4390-BAD5-A391118EE31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$049C1BC3-856C-4381-B57B-35C438D670F3","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":"Q2891399$6E6EA4D4-5AD9-41DD-891C-AD59034DAC9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b471d04e2d7b7078afe59c22612c00e04b86300c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891399$D93C4256-1E42-4DBB-B7B4-819DC9F081DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d33ed23bf65ec7364274c617adf3bcc1cce269d","datavalue":{"value":"W2293069733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891399$58DC38C7-F906-486F-9485-91EC8063C479","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c857aaf69cf79c87b310efd65fcb1c3f1d2baf0f","datavalue":{"value":{"entity-type":"item","numeric-id":3183524,"id":"Q3183524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$662CAE50-467E-49D9-8724-42026B74DCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$C8761F56-9509-49C7-922D-547ECE893488","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":"Q2891399$97BDA15E-B15D-4C28-96EC-FCCE39F73419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7be68e1be31d2ce9700b09f1fd401d03db7ae02","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$24F0649F-693E-4DBD-9F25-059E7E275A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c2ae8be4b89d81897f7354ac0f78793fccdfef","datavalue":{"value":{"entity-type":"item","numeric-id":5899008,"id":"Q5899008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$7BFDEFD3-791C-4DB0-8BA4-B3FBC0D2A133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c852981cf03ba0205dbadf36200c00bb56793d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$B745EFFF-D54C-40CF-A374-7BE231E337B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4b3fa7e45928bcee6b16f759f549d80fde972","datavalue":{"value":{"entity-type":"item","numeric-id":884946,"id":"Q884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$FC765938-792E-427A-B1B0-70A8E3191320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$5B02A219-3988-4459-A822-732AA4A982A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$9F4960A4-9A08-48BE-8EDA-E57D6293663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f03bf183c7a653e5e84320e58ed58d37b137b2","datavalue":{"value":{"entity-type":"item","numeric-id":1868515,"id":"Q1868515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$3C85BB4F-EC31-40C5-9997-EDA9696C24D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891399$28EF430F-D5A8-410D-8E6A-D7B9AC555D04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0758cb2f5792b2024ef075b30c81b3d9098b43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d61bcfbd809ae9759d65b27ebc77f6db634c065","datavalue":{"value":{"amount":"+0.8392695784568787","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":"Q2891399$93C8D5AF-22C2-40B7-8F6D-8A7C39C8E2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6328892829268e13d65cdead5f98e742e6847e06","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be38d0a59163816616c0bf4ec550dc69c769cbdc","datavalue":{"value":{"amount":"+0.7823148965835571","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":"Q2891399$D711E0F3-044C-4989-AB5E-899DEC07A99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdc9c8130a0a23aaf28a3baa7ea473daf8ec85b","datavalue":{"value":{"entity-type":"item","numeric-id":3060983,"id":"Q3060983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15544bbf98bf5556660b4bf92d987822ab72817b","datavalue":{"value":{"amount":"+0.7586950659751892","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":"Q2891399$DE420B6C-A01D-41AA-8AA2-3F244B031BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ac9205886bc5c3289879ba91a2934d20730199","datavalue":{"value":{"amount":"+0.7559958100318909","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":"Q2891399$7EBFE7B9-BD10-46FB-9953-7DE2835B74D1","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":"50c14183ec3bc5627b4d160d4d651e22a06a8828","datavalue":{"value":{"amount":"+0.7361385822296143","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":"Q2891399$20BADFB6-DEB8-4B7B-9167-95D64A431DF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891399"}}}}}