{"entities":{"Q3608821":{"pageid":5638727,"ns":120,"title":"Item:Q3608821","lastrevid":50592200,"modified":"2026-01-14T12:18:32Z","type":"item","id":"Q3608821","labels":{"en":{"language":"en","value":"Modeling Permutations in Coq for Coccinelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523817"}},"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":"Q3608821$59E423FD-9393-4CB5-9052-E6E986CA669F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3bcacb1413b1e04ef30278dfeec0bfcca31c221","datavalue":{"value":{"text":"Modeling Permutations in Coq for Coccinelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608821$35A8A02F-B3C3-4D83-AB4A-ABE9F24D3D89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3922197d27a3f5ae41d702b1fc53c3c73502450b","datavalue":{"value":"1186.68429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608821$2BCE79B7-91DA-4AEA-AEF5-0B0A41C1A150","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7242073b9ffd20b138fd4162ec9da96d5d7025d7","datavalue":{"value":"10.1007/978-3-540-73147-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608821$7BF6D9F3-4C2D-4652-8225-09AEE33DA53C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55727f9f4a7efb137e6c3bf39c513ca15ab9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":851140,"id":"Q851140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608821$63B2FC72-593F-42E3-B5EE-982863786A27","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":"Q3608821$D27A119C-07F1-41D2-A645-F097E6364633","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":"Q3608821$670B6025-EBBA-44AC-89CC-ACC5744C478D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608821$A6E61675-5830-4043-9E9A-C30D1AC6B032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608821$941714EB-E71E-4568-81EC-3152F97C0F48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d78c07d1347ffdab3e7c9a17a11c1de13b4ff225","datavalue":{"value":"5523817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608821$B98BFE6A-4919-45B1-8436-5FA06A9D1C41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608821$5A2D78B2-659F-4D1A-BE5D-BA96B1D94A76","rank":"normal"},{"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":"Q3608821$A3C5F731-3EAF-49C3-9F7C-7213FA1B4C7A","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":"Q3608821$4A6220D0-6C7E-4050-A3EB-0FB676E3BB1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6c474a2e84445c5af6545f8426120b757bb338c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73147-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608821$8D971F60-D7FD-4ABD-8CE1-B367BAF6F459","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fbbcc8736c0c219d570b7bcc58b2d1d7a9f8a3b","datavalue":{"value":"W1490766367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608821$9A3A4C6A-F89C-451A-B468-A44E33D2E2C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2c0e0ddff88f0629c2bfde38b3bb315254f2ab","datavalue":{"value":{"entity-type":"item","numeric-id":2914685,"id":"Q2914685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f93696faea6c1d6ccdf8bc096cf1c4fc78f0c69","datavalue":{"value":{"amount":"+0.7270547151565552","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":"Q3608821$DAFF79BB-EBFD-4A1F-9A91-1EDDDE8D7724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058334db851c6efa0498e1683dde5bd374ef7eea","datavalue":{"value":{"entity-type":"item","numeric-id":5931113,"id":"Q5931113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f113fd617f6cb492174528284c0032f458309569","datavalue":{"value":{"amount":"+0.6785998344421387","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":"Q3608821$3AF4C762-E9B2-434D-B3E2-24DCE91DD58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210fc6ea1c74927f8cc30615348c9f5912fd19d2","datavalue":{"value":{"entity-type":"item","numeric-id":3586063,"id":"Q3586063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f113fd617f6cb492174528284c0032f458309569","datavalue":{"value":{"amount":"+0.6785998344421387","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":"Q3608821$AFE764A7-22D1-4222-91FD-87CCB9B52305","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":"226807e484134fe1423adfc99f3ff4ac3c55276c","datavalue":{"value":{"amount":"+0.6646260619163513","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":"Q3608821$0D498BA1-2D4F-42F4-BA1D-8B379D1008DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4f3d93992674fe3858c4008904eebce9953f2e","datavalue":{"value":{"entity-type":"item","numeric-id":2982013,"id":"Q2982013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fc2c11dcba60f87b421c88851f0db71b68f7f0","datavalue":{"value":{"amount":"+0.6642511487007141","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":"Q3608821$0DB1F75D-BEEF-4D8C-B58A-D6B2090F9154","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608821"}}}}}