{"entities":{"Q6940468":{"pageid":21146415,"ns":120,"title":"Item:Q6940468","lastrevid":101365061,"modified":"2026-06-06T00:58:08Z","type":"item","id":"Q6940468","labels":{"en":{"language":"en","value":"A definitional implementation of the Lax logical framework \\(\\mathsf{LLF}_{\\mathscr{P}}\\) in \\texttt{Coq}, for supporting fast and loose reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082577"}},"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":"Q6940468$618B1CBD-8FA2-4B8C-AF80-FF22D2FDE4BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10ff46202bb22d87aedf2fe35d33f21b12da673b","datavalue":{"value":{"text":"A definitional implementation of the Lax logical framework \\(\\mathsf{LLF}_{\\mathscr{P}}\\) in \\texttt{Coq}, for supporting fast and loose reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940468$D8E618B1-A2F3-4CE0-BF63-C2D00934812E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91df0f55c45dbd784f2d51d50cdb01ca65109bec","datavalue":{"value":"1570.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940468$DB1B1AB2-EF0A-4C70-A646-713087A7865F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1393a170063f9e91a3824b3ddeb431346b9c2cc","datavalue":{"value":"10.4204/EPTCS.307.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940468$700F9CBF-BF2F-41C8-9F76-A907CC3C2A3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ec3c43a787f0ce2af2cba920d22bbfe00fbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":673141,"id":"Q673141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$34D89344-CC05-481C-8DD0-213DDCC65705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$0B0D918D-C20C-4FA8-96DD-5EF22DA00866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f97058f80ad0e559576a478b1123296489a1948","datavalue":{"value":{"entity-type":"item","numeric-id":817857,"id":"Q817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$8CF30D31-DE1D-49BA-8B86-91AA8BC8F16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$D15DB782-B9A8-4F0B-B7AC-8A03C60F4425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$748CF1ED-3B44-49B5-A34B-D4A82136DB7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940468$7F3255B4-5DCA-42F0-AFE1-7122893DECDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940468$66A11F1C-C986-4D0B-ABCE-DE88005F29F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940468$B89FE328-6E19-485F-B9F6-2F0B5414DD97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afa33f84486ff3dcf5942edfde7424e46a805cc7","datavalue":{"value":"8082577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940468$62DF8B73-0DB8-44A3-B82B-222E295EAD88","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$EB2980A9-32FD-48E6-B057-5E699557F018","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":"Q6940468$152BA083-6035-4A49-9363-065189FFDA3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$9D30BB47-3540-425F-86E9-F080F58932ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78348a6daa039ac48174b092fcd01401f8c11fa6","datavalue":{"value":{"entity-type":"item","numeric-id":5408400,"id":"Q5408400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$B7A4DC48-6168-4EF3-9F80-ADF471D45D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e7fa0bcaf516e6a14971bfb13e07e681d0e522","datavalue":{"value":{"entity-type":"item","numeric-id":4965869,"id":"Q4965869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$82552FBE-AB9C-4B55-BC35-676D855BFD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$4EEC7E31-83EE-4E32-915F-639C5753797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$F9B27DB3-B9EF-470D-93C1-1F0F456E33A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$7390D450-90AB-477A-A8B9-95DA211AEAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7a117d3801160d4f9cae9ba3bf727678dfda69","datavalue":{"value":{"entity-type":"item","numeric-id":2864157,"id":"Q2864157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$8DE3B6DF-BF6B-497E-858A-22453C2A0CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371cd86c4f4183022e07d575130f5b57e6328fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3179294,"id":"Q3179294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$7F19379B-22E5-4EF8-9A61-4BEE241BC081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af08f1df1490db63764d8c0564d6793fc3ff8888","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$9D17C4A7-21B7-4766-B468-A4E9F0AD8874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a03d21e4dde8f6c623396293775789e26cd4ab","datavalue":{"value":{"entity-type":"item","numeric-id":5278085,"id":"Q5278085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$DE163850-A5C5-4EC5-BAD4-0F1DAA687134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b2dcd4e3b148fa2bdc0788ff86cb37ffaa94a1","datavalue":{"value":{"entity-type":"item","numeric-id":323774,"id":"Q323774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$5D486CBD-0E46-4B34-BE3A-BC7E20E48D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ecc790367b86236256aef879f0d32162fe0f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5395645,"id":"Q5395645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$E75CC190-B690-48A4-9277-B29C9ED63F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5bd5a7cbd6b64f2ff6cabe116ecdc79e04a91b","datavalue":{"value":{"entity-type":"item","numeric-id":5747534,"id":"Q5747534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$D88A9DFB-D368-4A21-A4E9-8E4872D33C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$BE7DE236-8A63-4B9C-9206-E56AC4D38B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c953ac6221048f666478d1ce4e59dc191928750f","datavalue":{"value":{"entity-type":"item","numeric-id":3174687,"id":"Q3174687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940468$A9A11409-AAF8-4416-9D93-2FCE7DE421DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6940468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6940468"}}}}}