{"entities":{"Q2892744":{"pageid":2903469,"ns":120,"title":"Item:Q2892744","lastrevid":84887957,"modified":"2026-06-03T05:02:29Z","type":"item","id":"Q2892744","labels":{"en":{"language":"en","value":"GMeta: a generic formal metatheory framework for first-order representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049277"}},"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":"Q2892744$7D506ED0-886E-4665-BC85-0BA73754EF94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60fd20019df46af482b84c433ef7bf39981d36f7","datavalue":{"value":{"text":"GMeta: A Generic Formal Metatheory Framework for First-Order Representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892744$C9730281-FCC7-4CB3-8D75-65C66D9D674C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d372534ba5f5ead4db6af621a84629bb8f5bde20","datavalue":{"value":"1352.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892744$6421F2DC-EBD4-4B71-92ED-1F1DE2984469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20cb5cc82d4ced720a66f11378fecdbc0a8bb3f5","datavalue":{"value":"10.1007/978-3-642-28869-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892744$84C22700-C260-4839-96AA-5FCF1FEA0394","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e187b2549084d3b0400c26e513ef456c843715","datavalue":{"value":{"entity-type":"item","numeric-id":618310,"id":"Q618310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$BF7FA7BA-2A25-454F-8EDC-D74AF3223D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d4a9643935796d9a1f172819199c42865b008f","datavalue":{"value":{"entity-type":"item","numeric-id":1791208,"id":"Q1791208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$052ED2D1-4D8C-4918-9600-478F801B3979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c5470068c586ac92b01e03c93d80cc24fa9a774","datavalue":{"value":{"entity-type":"item","numeric-id":2892743,"id":"Q2892743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$C9F71133-9528-4D15-AA48-F8D0823A6B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$A981E948-907E-4ED5-8724-1E3A2F4AE933","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":"Q2892744$B6025D4C-2CD8-40E8-ACB8-0FF2D2532C4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892744$9C24484C-5D4C-4FAA-96CB-455113B895D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892744$F9AEF4F5-FDC0-437D-8AE9-E7F49843273E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892744$4419323C-0516-41A2-9763-E198C2C60DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892744$9159AA10-32AE-438E-B9A1-4E3EE5CEBBA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3350dd78675c04774c30420d5e32c12bf6c92329","datavalue":{"value":"6049277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892744$2DAF3D79-F6E9-4461-B49B-2DB0D24B6AD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed3d4d4d9a22bdf4e6fd0873d2198e6c20a0bac","datavalue":{"value":"mechanization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892744$281B7499-328A-4981-AE7E-A432664159FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017465942dbd8ba7ebab45a45af0183e273a4234","datavalue":{"value":"variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892744$219ACF2A-71DB-4C60-93F2-C36C2DE3179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e845ba3ff0c08785e7285417c75b67b727bcb2","datavalue":{"value":"first-order representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892744$F21B0FB8-868D-4FF5-A87A-79A5C998AC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"507628d1687f0f18cdeb1a8f59de4a69d1a33539","datavalue":{"value":"POPLmark challenge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892744$5B8DDAE8-02DE-4200-8CFD-1BB8EBE6A05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3559559e14b6b643d292c86b33d8a610597e1217","datavalue":{"value":"datatype-generic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892744$26A6BF62-0383-41F0-A934-60D2270668A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892744$B5247062-1A74-498E-94B0-C37015CFBC44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$5B3AB527-B6FE-49CD-AE3B-57C9A9FB10B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$3F252D11-0C80-4F35-9E46-0B5E66457A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f33772b1efac1b40040403bb4a30ea74734e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":22079,"id":"Q22079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$6A6483FD-C1C6-490C-BD13-2CBD684F6F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f80e048a612726894b0077a4320360f80f3c043d","datavalue":{"value":{"entity-type":"item","numeric-id":22080,"id":"Q22080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$DD53B801-D3DA-4486-992D-70C35409632F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c08a4a757f89c613a749dcb992596ab6edf6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":21124,"id":"Q21124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$2CCDFA93-4C45-40CD-BE03-4B3B98F159F6","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":"Q2892744$6EC6233A-9CC4-432D-B8FA-BB28FCE871F4","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":"Q2892744$CF82A7BB-9A12-4ECB-86E8-5D7CEC6ACBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892744$EB9A60D2-91E4-48FB-A6A3-8FE3870E0988","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":"Q2892744$DA1C3243-5040-4AF6-B25A-C93B7713B159","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5270875da6d6b14fc202a8d0ea907a6025c47747","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28869-2_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892744$3006619A-4F1F-4CCD-978B-422EF21F8EF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5cc802ae0fdcd804774c2598e7422d159acfd54","datavalue":{"value":"W2149236820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892744$EF98C6FE-C5A2-490F-BF24-067EDA6E74D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319f0e45bfa506ba9fbe0adbda954a115f9a8a53","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5f4eb5d6e2494c771d4837fff8efd343bdb349","datavalue":{"value":{"amount":"+0.7824580073356628","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":"Q2892744$5A172F35-0324-4151-92FD-C8E522EC40D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ad2f7d559ac72ca56692849302e698f40fb374","datavalue":{"value":{"entity-type":"item","numeric-id":5501464,"id":"Q5501464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad5c133c12f0f3b28c1d6db87abdac87b4e50e1","datavalue":{"value":{"amount":"+0.7726650238037109","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":"Q2892744$46C4071E-8329-490F-BFED-3C7B734E7247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9060d6e58f3abe9651a3bef1b7bd0afd802d6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2931797,"id":"Q2931797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b65aa64fb5a5c22a34dd229efdebac29e4b27a","datavalue":{"value":{"amount":"+0.7617668509483337","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":"Q2892744$84463BB1-ABF8-4029-A1F5-A1A15A825501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2830883c821c59e8ea357fc4abf509bdbccc9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1945919,"id":"Q1945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e41620ea6ea78e0d6cd4a13e74bc19a757e37a","datavalue":{"value":{"amount":"+0.748699963092804","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":"Q2892744$98F69072-A3A8-4A1C-802D-2760405EF514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7140a2ae246559fc814817943371da5d5e1056","datavalue":{"value":{"entity-type":"item","numeric-id":2323447,"id":"Q2323447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0761249789f8cea196eca9cad9f88c8dea5c61","datavalue":{"value":{"amount":"+0.7471903562545776","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":"Q2892744$96B9DC77-BA83-4128-B8BC-C8FE8897F688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GMeta: a generic formal metatheory framework for first-order representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/GMeta:_a_generic_formal_metatheory_framework_for_first-order_representations"}}}}}