{"entities":{"Q2879246":{"pageid":2889966,"ns":120,"title":"Item:Q2879246","lastrevid":52085339,"modified":"2026-01-20T22:02:47Z","type":"item","id":"Q2879246","labels":{"en":{"language":"en","value":"Truly modular (co)datatypes for Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341476"}},"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":"Q2879246$FD44B9AF-1531-4D71-A88D-37AF1466E181","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"786be9c93646ed8a344ac239a17a1a61c19e0e82","datavalue":{"value":{"text":"Truly Modular (Co)datatypes for Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879246$10DEE11D-1A40-42FF-A474-53B51ADA976B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b19e73385cc06387594b7cb57e6772f3af02bc7","datavalue":{"value":"1416.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879246$2ECAA1BF-3208-490B-9692-3960F84CEED1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d20c6c9777eb0506b481bf4857af3baa533a3b1","datavalue":{"value":"10.1007/978-3-319-08970-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879246$21260D76-E885-4FF2-AA14-78BA545104CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$98C8DF90-9F21-48B0-BC53-08AAADE3EC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d6620daf8648b9713aa99490f0508510abdae9","datavalue":{"value":{"entity-type":"item","numeric-id":1687531,"id":"Q1687531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$DD58BB28-9A87-41C7-BACB-067BD35F29AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd539c7c92c9481594d26fffced89ce696c849a7","datavalue":{"value":{"entity-type":"item","numeric-id":1653236,"id":"Q1653236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$D7BEB722-1223-405F-8F56-C044A11B199D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$EB21A7CF-850F-4CA5-8BEF-3E142D724E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$DF746BDF-795A-4747-B988-6F0033AE83F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18da065d50ce37e447f1f6708524421ab8f031f","datavalue":{"value":{"entity-type":"item","numeric-id":1663232,"id":"Q1663232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$FCE18F1F-33CB-4665-A7C7-E57E4DBBF853","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$01B83226-CBFD-4F20-90B0-4A0B1870FB8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879246$FD2F9BB0-BD64-4184-905F-E7CACC1DDE08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9df8151618480fd81d1ce0452b95b5c6d0958385","datavalue":{"value":"https://eprints.mdx.ac.uk/15167/1/codat-impl.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879246$BB890A4B-CB1A-44DD-A922-E52327031231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879246$1E68734C-6A5A-49CB-BCF1-E267C23A0CB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cab9deeb6340dc39df48ac97ba7a024c47611ffa","datavalue":{"value":"6341476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879246$B7A3BB6C-32A9-449D-B213-5F2C0F72B9AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$A0C3259A-EFCE-4836-B4CA-A07DC60D3218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$F221D20C-F8C6-49DE-9281-C77CA2B7FE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$A553406D-C46F-4344-A0C8-910419ADC729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$1A43D227-20D1-4BF8-B70B-7E353637BFBD","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":"Q2879246$FEE55256-FBFB-4E6B-B2DA-8455F38020DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$B373899E-EA5F-4CC9-8A03-FBECDCEAA744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00eff5f4477a877589eb9cf8614492385c42b973","datavalue":{"value":{"entity-type":"item","numeric-id":40251,"id":"Q40251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879246$B1B55D85-10F4-489E-9938-5FE365D5257A","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":"Q2879246$29A1C190-8A5E-49DB-8C7E-02EEBF4325D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c46cbbe8d4c58f654e6d846999ca8faac22f2360","datavalue":{"value":"W2152762348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879246$D079C07A-BC7C-486D-8A2A-0C15C429AB5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c843f37bf1149130399feda41a62effd30beec5","datavalue":{"value":{"entity-type":"item","numeric-id":1687535,"id":"Q1687535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c3b70b4494db7cf32aa6ed87b30b3d63f37f6a","datavalue":{"value":{"amount":"+0.8428979516029358","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":"Q2879246$AC10F720-C0D0-49D2-8B93-DFCB06F42261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2071723ea82038865050796ff4fd5eb14dc2420b","datavalue":{"value":{"entity-type":"item","numeric-id":2802441,"id":"Q2802441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6487e6b7d200a901b50748c70eff2496c3cf7f06","datavalue":{"value":{"amount":"+0.806164026260376","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":"Q2879246$B92032F5-273D-4116-9BE8-FB6E520D4BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ec8e8eac53e05577480854f8321be8825771ba","datavalue":{"value":{"entity-type":"item","numeric-id":5144617,"id":"Q5144617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639ee765c1a3bc20275042a81f6d307434703cd9","datavalue":{"value":{"amount":"+0.7552561163902283","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":"Q2879246$D9CE597F-20A1-4D2C-8CB5-9255948F130C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d960f35efe3db0a0acdb283e2f4a208ecf2cd792","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf53aec4df97978b73785a43624699fc8477eaa3","datavalue":{"value":{"amount":"+0.7501745223999023","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":"Q2879246$F9BEBC93-BE83-4C0E-8824-910E43038968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e3d65c9066486d2de05b6ce7f1d9bb5cd8dd8","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112f54922ded80d067f172169742bebae10f91ee","datavalue":{"value":{"amount":"+0.7480689883232117","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":"Q2879246$538EE050-E8B5-471B-BE06-08019638774D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879246"}}}}}