{"entities":{"Q2999313":{"pageid":3010037,"ns":120,"title":"Item:Q2999313","lastrevid":51242723,"modified":"2026-01-17T10:12:57Z","type":"item","id":"Q2999313","labels":{"en":{"language":"en","value":"A type-theoretic framework for certified model transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887521"}},"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":"Q2999313$4A167921-36B2-4DF2-AD6B-BA12E246EAE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f5f49b489471687aaf1a86d8c53569f967d6adc","datavalue":{"value":{"text":"A Type-Theoretic Framework for Certified Model Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999313$9628A065-2C8D-4838-983D-4A7636193165","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20ca7fcd3369f635aac6654faf316b7f1359d589","datavalue":{"value":"1325.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999313$8C21DB60-BC61-49F1-B5E7-2CAB5A919C8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ce03c4142d8ee6d35ef6d71d4c909dcd0e46f9f","datavalue":{"value":"10.1007/978-3-642-19829-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999313$06BFA7B0-DC2A-4EFE-B677-2F5B1219E506","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2df463a0e445e10628fc89e4711e05ba098ffae4","datavalue":{"value":{"entity-type":"item","numeric-id":2797863,"id":"Q2797863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999313$CC1739E0-61A5-435B-8723-68BDCAB9E150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98b1d0c3bcc0f90d6fd18a317c6452cb60f2ad98","datavalue":{"value":{"entity-type":"item","numeric-id":1671161,"id":"Q1671161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999313$A9DDDFC9-3E3F-4B6D-9521-6B43EEBDA508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"402a48fb715d415da55853e3651509e9510c9149","datavalue":{"value":{"entity-type":"item","numeric-id":220715,"id":"Q220715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999313$E3821F1D-B912-4B53-A815-E2E98D086745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746409b166da6b3324f8a076651b3e33b41a949f","datavalue":{"value":{"entity-type":"item","numeric-id":530862,"id":"Q530862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999313$8C982310-5D8E-43B8-B247-955F88644E68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999313$98160FCF-96B1-4A1D-B9CF-0A67651F3D0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f158f41192295853b61fc4556e992b30521ff06f","datavalue":{"value":{"time":"+2011-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999313$FCFEDB51-4328-495A-B9CD-CCB856278C48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59d5f385f0cb12af1cf5dda3f4706fffb6336939","datavalue":{"value":"http://hdl.handle.net/20.500.11968/2726","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999313$8A9C534A-8191-4C33-8BF9-FC39665095BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999313$86CD8D57-C3B6-4C06-A4B3-F7B64284280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999313$FD789883-E87B-4C00-BE13-8601A5148551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c6a4d90d37f89cf7f3d7b1f51e7ff599b586fa8","datavalue":{"value":"5887521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999313$B0623EAD-E427-4A49-B8F7-3E75CB45AC52","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":"Q2999313$EF359F74-0336-4F3C-95D1-C6BE99DCF0A9","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":"Q2999313$7C517C9E-FF8B-4359-8048-F76D29213F33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a27f726231119e0e6eef76655f2bbc0707f7cee","datavalue":{"value":"W1496759536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999313$A24DD204-40F5-44D5-88E1-D37D1D92F8FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccaa844a24bfd6b8573ab0788084400d702bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":4737565,"id":"Q4737565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999313$56D02F97-AA15-49F9-A2CD-6D6DB43F3963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999313$316BFF4B-3579-496E-B194-8418880F6EEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deef77837b5962cff1ecb4dc3dda639544b1aa26","datavalue":{"value":{"entity-type":"item","numeric-id":903517,"id":"Q903517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bb3cf57366ce8870d32e6eeea2ad46c42e78c7","datavalue":{"value":{"amount":"+0.7490227818489075","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":"Q2999313$51DD4184-8BC8-4DF1-A459-BE3CE5A3F827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd84d2e21c346ec157f69c5e21d8c132478a806f","datavalue":{"value":{"entity-type":"item","numeric-id":3184747,"id":"Q3184747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91917c3bc7a1319b9cc369f417f026605c7d0a9","datavalue":{"value":{"amount":"+0.7358627319335938","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":"Q2999313$6CA4B7A5-2E81-4E5A-96C7-305EB8F27094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf292353d0ebdecc5d0222388ee1dbead7b56fa","datavalue":{"value":{"entity-type":"item","numeric-id":2870320,"id":"Q2870320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cc30c7473a0c738251e61966bf845f6cd5fc3e","datavalue":{"value":{"amount":"+0.7213146090507507","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":"Q2999313$AAB376CE-B8A9-4B64-BD92-A5C4657FED65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee72a226fea07d361987e60f7f6e85ada2a12512","datavalue":{"value":{"entity-type":"item","numeric-id":2894550,"id":"Q2894550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86e8b28979b6a5f4e30471a8ba3cbae01dec411","datavalue":{"value":{"amount":"+0.7203624844551086","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":"Q2999313$07C02DBC-87F0-4281-B1DA-804F96A8A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab230bd0224110d33323c898f0683e4f3de0d5","datavalue":{"value":{"entity-type":"item","numeric-id":937394,"id":"Q937394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1088b2fa2dfe73e5cd0ff74def15c190c0ad56a3","datavalue":{"value":{"amount":"+0.7090176939964294","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":"Q2999313$3F953781-FEFA-4A03-8B51-46F2522FB8A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999313"}}}}}