{"entities":{"Q3617697":{"pageid":5647603,"ns":120,"title":"Item:Q3617697","lastrevid":50618777,"modified":"2026-01-14T14:24:04Z","type":"item","id":"Q3617697","labels":{"en":{"language":"en","value":"Formalising and Verifying Reference Attribute Grammars in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535563"}},"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":"Q3617697$5423637C-98D3-43C2-9130-16D7B947AB0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"935a36f5712431d4f28722415a4edc3e1f433907","datavalue":{"value":{"text":"Formalising and Verifying Reference Attribute Grammars in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617697$80E9B8AD-2049-4D41-9E02-E173760D311E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29e91462977dd20345edc553c844c9d0db5ff335","datavalue":{"value":"1234.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617697$B4EDCDCC-24F7-4C87-AF78-A41C3324D3E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"395bdaaf30661c97445382597c01eab7c2faa54d","datavalue":{"value":"10.1007/978-3-642-00590-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617697$5291646D-BF39-4D97-B421-4BCDEEDA5760","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbc33dbc8e4e4ff7cb5825f1e5f193a784fcd38","datavalue":{"value":{"entity-type":"item","numeric-id":3617696,"id":"Q3617696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617697$2F13FFA3-3041-458E-AF71-ABF700C256C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"792061a9353ea2f28df1535c2f4f2b377bb00886","datavalue":{"value":{"entity-type":"item","numeric-id":838936,"id":"Q838936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617697$EF99B57E-CFB0-452A-9FEA-5D7F6E818C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b3429007c66b8203ecd4096f5e6c5d58d31e79b","datavalue":{"value":{"entity-type":"item","numeric-id":236450,"id":"Q236450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617697$2D499E06-2C0F-4F94-9297-3946989E3BB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617697$82E1D70C-E454-4248-AA88-F73E0CD96368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617697$9ECA5FCA-343D-4A86-94E3-F0C31CD8735D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617697$0A774BA4-8A99-46D1-B40F-D7DCF8A77C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617697$20A9A9A1-7D56-498E-A2E4-2C8FAAB74D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617697$F65F08A7-1E9F-4095-8A2E-7FEBA61ED047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c5ef736a0050ad9ed4021475d8b365704c9cbec","datavalue":{"value":"5535563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617697$CD14C35A-BDC6-461A-9D80-6E6F91F232B2","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":"Q3617697$A37E255B-141B-4F25-A7E0-E606851A2542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"699234d34192170abf8f52b8e00f0588c65ec258","datavalue":{"value":{"entity-type":"item","numeric-id":14348,"id":"Q14348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617697$404AC2DD-CD01-46A2-829E-2ECE23AF599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617697$4045F66A-49A5-4102-94E4-205503CE0556","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":"Q3617697$74F7901B-BCCC-4549-AD42-69875EB3A686","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82a9656583cc7f00e160d51be7a34c73fe5d11cd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00590-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617697$1BE8E2C9-668A-4377-9589-66ABD52492C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db3644c7825a8e8355aa39ca34f80391c8499c2d","datavalue":{"value":"W67726583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617697$398937EF-9139-4008-9B0C-A21B3B87E76E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c68bf090af4e70066238797b1ab10c796fb4adf2","datavalue":{"value":{"entity-type":"item","numeric-id":2640347,"id":"Q2640347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8f08b3e8e3a89e7e48d0f364091a534c2b18cc","datavalue":{"value":{"amount":"+0.7302157282829285","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":"Q3617697$AFBEBBF9-D30D-473C-89B8-B5F5F7A81BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636ac681b2199e5699245e02cdbf3f23d54e6121","datavalue":{"value":{"entity-type":"item","numeric-id":2702092,"id":"Q2702092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5a52803d7717d3fdc046c87201837cc8ce50ab","datavalue":{"value":{"amount":"+0.7204827666282654","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":"Q3617697$EBD4B879-DBCB-47A1-8993-38286AE2C683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc642dbdc28b23eb9dd71b8412c41128d8900904","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf277ac06c0716560e82d85cc7587dcda3de258","datavalue":{"value":{"amount":"+0.7024169564247131","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":"Q3617697$AA8935C5-2EC5-42D5-89BE-BC3DF7033168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77327abdcf501fc4be7bc99ad5442343f740e631","datavalue":{"value":{"entity-type":"item","numeric-id":5410473,"id":"Q5410473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b532e6b1f209cdf32ab0de3a4d961e50ccbfc1","datavalue":{"value":{"amount":"+0.7022788524627686","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":"Q3617697$B30C5935-BB01-4C3F-80C7-33E81E697AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0f2ba738795faaf2346111fc3567de1946f94c","datavalue":{"value":{"entity-type":"item","numeric-id":3546288,"id":"Q3546288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0b84bdd63cd79cf4b5d81ce8486bbee8df19c4","datavalue":{"value":{"amount":"+0.7013064026832581","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":"Q3617697$7AA0D58A-4EB3-43C9-A69B-A64A63630FF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617697"}}}}}