{"entities":{"Q6934150":{"pageid":21108466,"ns":120,"title":"Item:Q6934150","lastrevid":84114953,"modified":"2026-05-10T10:47:53Z","type":"item","id":"Q6934150","labels":{"en":{"language":"en","value":"Towards automatic transformations of Coq proof scripts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089300"}},"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":"Q6934150$B2AB71B5-05F3-4753-8752-DB5A6222D9E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea0919866f3d486d0ba5f49e6d8b788fc070c3f","datavalue":{"value":{"text":"Towards automatic transformations of Coq proof scripts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934150$90150ABB-D689-454A-91CB-E883106FE56A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f907697faba35aa95aacccb3fe85df7fcfe3dabb","datavalue":{"value":"10.4204/EPTCS.398.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934150$8F8ABBE7-1C17-4D28-BBE2-293094E6DA64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d146ed87b25a3f218b4b3975707f6be569c62c","datavalue":{"value":{"entity-type":"item","numeric-id":448974,"id":"Q448974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$5D371360-50B9-4B6D-ADD3-41609A27DC8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6934150$EB77FBAA-7DFF-4BA9-9C2F-023B4056328B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934150$3CD4ED25-84E5-4A05-9554-6A93A3776A5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a607c26e086c576ffb1cc7f6f74e0c38e0ff26b8","datavalue":{"value":"8089300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934150$B446C4B8-C8E1-4DCB-98F1-7C83653C78E3","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":"Q6934150$9CD195E0-B12E-4083-B13F-5A520A16FC1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$53155EFB-C42C-4B39-8976-C13F51ADB8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2d52bb81737c531e4b9955919288175749019e","datavalue":{"value":{"entity-type":"item","numeric-id":1725841,"id":"Q1725841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$FBBAFE65-3B8F-4379-B339-A47ABFC8E201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac4be230ced5e78053afb69152ec6592a4e5037","datavalue":{"value":{"entity-type":"item","numeric-id":6666520,"id":"Q6666520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$F35CC111-0B12-43C2-B15C-6B727219FF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$700C2565-7412-4F3B-9462-43AEF4CB1BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$3C2DDC41-7FAB-445D-A5FA-695AC74438FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc182df8b38eb530d99faf472b90c793492a26d2","datavalue":{"value":{"entity-type":"item","numeric-id":5453489,"id":"Q5453489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$27983495-579B-41A8-902F-3DB0D96FD026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd7826fe2a38bf8a4efbb3e73905b6db7bd6fd1","datavalue":{"value":{"entity-type":"item","numeric-id":6653961,"id":"Q6653961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$F337F5AC-5667-44F7-84B8-443FC07E9BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a4f8aba44de39e3993dfee6cae8df97b48e9641","datavalue":{"value":{"entity-type":"item","numeric-id":5371944,"id":"Q5371944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934150$D3716709-7196-4921-A53F-23F593640203","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards automatic transformations of Coq proof scripts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_automatic_transformations_of_Coq_proof_scripts"}}}}}