{"entities":{"Q3608814":{"pageid":5638720,"ns":120,"title":"Item:Q3608814","lastrevid":50592188,"modified":"2026-01-14T12:18:31Z","type":"item","id":"Q3608814","labels":{"en":{"language":"en","value":"Towards Rewriting in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523810"}},"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":"Q3608814$29D1F1DA-2E48-4C31-A9D2-B37E20B9EF76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed8551d63eae12a05504a103087a63baa47a5c24","datavalue":{"value":{"text":"Towards Rewriting in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608814$CAB7DAFA-96A7-4286-9EEC-DBDD5F4F09FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf5d8375dff1a06dc1d6d047e44ec79a0e6aed6","datavalue":{"value":"1186.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608814$BE47B49E-C79F-4D81-BEF4-B2453D3F6D09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d90d1b822ecb8825a74ecb081461f663489a95c","datavalue":{"value":"10.1007/978-3-540-73147-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608814$E02D4358-D7BF-4E48-8030-4C4F786FB2C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266d48a9c2e37ea24b4a5e4d6235b0f28f65402c","datavalue":{"value":{"entity-type":"item","numeric-id":276261,"id":"Q276261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608814$349EFF58-FAC7-4149-9953-041DDBBB3540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6a6dadae360e4b9b95a575e492c478563663d9","datavalue":{"value":{"entity-type":"item","numeric-id":3535613,"id":"Q3535613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608814$2716EA4F-B541-481C-A184-66DA159231BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4c6db21b0e8321ee4e0cbe49fb02a3b124742e1","datavalue":{"value":{"entity-type":"item","numeric-id":3608808,"id":"Q3608808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608814$AF84D9EE-4C5B-4670-AA5C-F03B849E6CBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608814$A04170C2-AAB3-419B-AE60-293DDB0E4793","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608814$640846D9-2D28-48DB-9FA3-44D76C79DEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608814$C142F607-676F-4815-901C-79AE07E03671","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbe5379329da6f6ea9c3c0722e174a9ad189e443","datavalue":{"value":"5523810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608814$DF663B80-2C25-4321-8E71-1F9D0E26F9C0","rank":"normal"}],"P1463":[{"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":"Q3608814$7764D618-18F8-4EDD-B8AA-98F0D5434586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608814$A36C1009-2950-4E01-B1FC-FDF32C872C53","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":"Q3608814$6FB02176-05A1-4DC3-B326-09054570F9FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51a1b7047b4ff77996955c867e439a386fdec501","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73147-4_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608814$A8813FDD-1D87-4E1D-8C78-B9A1D662BEE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0865fe7e539b7dced20ce1afe0ce6091957789e2","datavalue":{"value":"W139065648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608814$15F78507-C229-4DEB-BF67-22202396422D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f2e43ee84301592edcc82ef77c9d72401c2ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5901480,"id":"Q5901480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20aefd3f96f52b2252af4a6c4aa396022f7613d6","datavalue":{"value":{"amount":"+0.8033142685890198","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":"Q3608814$CF32B251-E372-47FD-937D-E487F022A4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5bf781b7a5532318ca6c517c6ee0688e2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5900438,"id":"Q5900438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e444390075622d135eeb062abc5ffa1b111a3b5e","datavalue":{"value":{"amount":"+0.8032508492469788","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":"Q3608814$C28D5803-83FE-47DF-BC44-4EE9A75DCF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1767cb6ecaad9c35d9460db0c257435bfb57423a","datavalue":{"value":{"entity-type":"item","numeric-id":3100211,"id":"Q3100211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df88f40e4b4df3c189d8e01f1149188299f27bbb","datavalue":{"value":{"amount":"+0.7897718548774719","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":"Q3608814$920B290B-3957-4716-83D2-88EEF7EB7FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa24e6d3cae090b70058022cada85f364fbbb68","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55181f02b988d5adeccd782c0e7cc4067a2ffb92","datavalue":{"value":{"amount":"+0.7759435772895813","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":"Q3608814$4583D539-B10B-4C9E-B58F-50CF0CA24322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4e5f69ac10da5dfbf809d1b24702f6902e7150","datavalue":{"value":{"entity-type":"item","numeric-id":5747669,"id":"Q5747669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a86e1ad118b89be4a46e529e37330b2dc4220da","datavalue":{"value":{"amount":"+0.7615137696266174","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":"Q3608814$24DA2DE8-F136-4345-B95E-4C97FA2A3EE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608814"}}}}}