{"entities":{"Q6940464":{"pageid":21146391,"ns":120,"title":"Item:Q6940464","lastrevid":84102647,"modified":"2026-05-10T03:13:48Z","type":"item","id":"Q6940464","labels":{"en":{"language":"en","value":"The RedPRL proof assistant (invited paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082585"}},"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":"Q6940464$51BD203E-0D86-4739-AED2-8DC89F73595B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21154cf719ba84b4542168c94ce7a96f1cff9562","datavalue":{"value":{"text":"The RedPRL proof assistant (invited paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940464$A4CDE50C-E7F4-41ED-AFA4-2D075D85678B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae00da29d14797c6a24f9d7da464af2b0214d4fa","datavalue":{"value":"1570.6824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940464$A68B2D07-72ED-49A0-8898-9D6FF0FB6789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55cb94fc39d060a005c3b1dda370e6e50eaf2351","datavalue":{"value":"10.4204/EPTCS.274.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940464$24E2C42C-6DD3-4C5F-95CF-C7E7F630D015","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3791877866e06c575a0d5afd18962bd487776b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1688953,"id":"Q1688953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$4C6B4E6B-3CFF-4706-80C6-D0546997BE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a128f3bdb66effacf4eed9018d85afddadc32c49","datavalue":{"value":{"entity-type":"item","numeric-id":5028424,"id":"Q5028424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$5ADF2DEA-178D-4E5E-AEEE-5DEF48D3E789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7118a1e92cee8cb7e3aa11ddfd0cf2db2221cb3e","datavalue":{"value":{"entity-type":"item","numeric-id":4635916,"id":"Q4635916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$FE077390-6F19-465B-8184-B38D8CF8A64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$037A472B-6F12-4F22-A2E8-D886FD610813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"612a55672006eb32b94e9a3be5b3448080647058","datavalue":{"value":{"entity-type":"item","numeric-id":5016214,"id":"Q5016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$1A3AD705-331E-4556-BABF-04B0E1187E81","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":"Q6940464$A711BE06-C90D-4DE3-8CB5-E7D005785B98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940464$355E6011-08B0-46C9-A0FB-C18597ED1DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940464$D582A0BF-E7AB-4CFC-85F1-859DBF7F1C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940464$F6CF14E7-D69C-4CB5-970A-82ECCAC70A08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d3f7c0c77a711bf28048c5c21d213a3969712e3","datavalue":{"value":"8082585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940464$2CD02D9B-304C-44C6-9F27-49A67B5AEFE4","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":"Q6940464$ED9EDAD5-B592-41B2-9443-F921E1699AAD","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":"Q6940464$73B71FF7-6B74-4AEE-A771-1B8F40A976B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"264956f36982175453c070f2d8f8f60b18172d34","datavalue":{"value":{"entity-type":"item","numeric-id":5370902,"id":"Q5370902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$BB0A2792-3A6B-4D77-8EE0-87ECFE0B4978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe1455cc5dda38390654a9baeba09eedb655d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$A250E73C-0EAB-4C53-A656-C2F4BA5F3D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$D4E44FF9-9158-417B-BBC6-54E097077212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af6faeaa96bc7cdaf3630e5a348ae8661139c01","datavalue":{"value":{"entity-type":"item","numeric-id":5398331,"id":"Q5398331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$76E5F5D2-9C60-4896-9C4F-6F7704565F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$B51235B7-F67D-44C3-A06F-FE4B4BD8B9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a5d4ac1c8b434a0d89267cd5b7138fc554dd4b","datavalue":{"value":{"entity-type":"item","numeric-id":1687770,"id":"Q1687770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$B946899E-ADF1-459F-A846-F38DB7171F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$AE2680CC-A72B-41EE-8D96-C761C33E0C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$79F718BC-EF67-4FFA-943D-1662E6234518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cfd356224155dbd75db29249481baba3510e2a8","datavalue":{"value":{"entity-type":"item","numeric-id":5394302,"id":"Q5394302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940464$8BB162BE-2C97-499B-B47D-019A625B4695","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":"Q6940464$BD183117-D338-4136-ACCF-25F14A3B5CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The RedPRL proof assistant (invited paper)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_RedPRL_proof_assistant_(invited_paper)"}}}}}