{"entities":{"Q2931797":{"pageid":2942517,"ns":120,"title":"Item:Q2931797","lastrevid":52145762,"modified":"2026-01-21T00:56:24Z","type":"item","id":"Q2931797","labels":{"en":{"language":"en","value":"Meta-theory \u00e0 la carte"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374674"}},"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":"Q2931797$EEB2BD8F-76C2-4C6A-BAB9-675DC8636172","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5dadc53fafc8e3d96c80477426dfad5e61ed9db","datavalue":{"value":{"text":"Meta-theory \u00e0 la carte","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931797$7E9B0DF5-E8A8-4647-B171-D54582DFCC43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7294b5067259f09bb82419cfeae3e4ea72a37b3","datavalue":{"value":"1301.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931797$B6729D35-23B0-4AB3-8345-10CE7EA78329","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71ad85dfa048e096e2289e4e1e01dec53b806909","datavalue":{"value":"10.1145/2429069.2429094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931797$F863D7ED-2AC9-4D0A-83F4-868DAB630DB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2925d733af62343b50741933d1d093dc5f330d","datavalue":{"value":{"entity-type":"item","numeric-id":2819859,"id":"Q2819859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931797$8D810E06-CBA6-48F2-BD2E-3181B7A58ACC","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":"Q2931797$C96642A7-F0E4-46C8-B25E-0A43EBC47E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931797$C029E13D-D9B9-4D6A-948A-60CA49C62C42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931797$A5E3B564-A037-46A0-833E-BBADDE817D50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931797$49B3EA1A-A223-492A-9EA0-A63940320C85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931797$F7814A2F-D49D-4775-8F16-4D0B46E669A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931797$8737083C-A342-4F5F-A09E-75D72AAA0032","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eea45b83aba5eec39f8d7337e9a91b4dc100ffe","datavalue":{"value":"6374674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931797$8487529C-3B3D-48BD-A2C7-0FCA93AAE265","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931797$6FDAF019-A6B7-41F7-A8B6-A74E7194D11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a4a536703ec18db9e49a53abcfecbf24aa0243","datavalue":{"value":"extensible Church encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931797$6BECA56A-48A0-4299-8D32-CC29CE1EEE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde0983cfbd47ee8b933b54abb44568d99422781","datavalue":{"value":"modular mechanized meta-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931797$AB4B15BA-3D22-4454-903C-46C9005A18CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f0f9309131bc6ee04b650083b370ec4b2b7ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":34505,"id":"Q34505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931797$6C3515EC-1254-4BA6-B057-3F85F54C3A9A","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":"Q2931797$CD5D61DF-925D-48AC-B612-FD0954CC7680","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":"Q2931797$96E051D8-23A5-43FD-B89E-CA290079CC4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89329fbdeb1b3a49309e6e29dfd24ce295221394","datavalue":{"value":"https://doi.org/10.1145/2429069.2429094","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931797$C4D47A01-6882-45E3-AE0D-A352D0510273","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d4f0a54674579cc57c19c44327379e60bb31de8","datavalue":{"value":"W2128448167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931797$D1DE24A1-FB58-4A74-B65D-7724FEFF8E9F","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":"21c86ae0c2b3c7684b66b8fb6b73ac79b2b2c4c0","datavalue":{"value":{"amount":"+0.7962111830711365","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":"Q2931797$3F8D9CF3-8EB7-4CEE-BCFA-98DE56F4B48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526b84fc0341ce77d06e5c56b671e86c8984cc6e","datavalue":{"value":{"entity-type":"item","numeric-id":5244814,"id":"Q5244814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae705be38383bc569bbb8d5d768ecc32f8cfdce","datavalue":{"value":{"amount":"+0.7941153049468994","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":"Q2931797$8CDEEAF3-F2F6-44D5-AFCF-C053BC70DA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ca390a037376bf0ee9810968554a6a01295767","datavalue":{"value":{"entity-type":"item","numeric-id":2892744,"id":"Q2892744"},"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":"Q2931797$2CC4D775-6957-4897-8A13-989F2B50DC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b6d5d9914f2d37077df71dc6315d295973db81","datavalue":{"value":{"entity-type":"item","numeric-id":2829276,"id":"Q2829276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9b169919d7bbadaa3fb8d97c4f73e7f2e3fcad","datavalue":{"value":{"amount":"+0.745959997177124","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":"Q2931797$12F56954-0312-40CC-B39B-5EC6604F2052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4b130ba3f3ab353eb95092c98b979c20e43019","datavalue":{"value":{"entity-type":"item","numeric-id":3454100,"id":"Q3454100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee5f1dc877086148a3a201acf974d623742e9ab","datavalue":{"value":{"amount":"+0.7430632710456848","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":"Q2931797$25BC9507-4311-4654-947A-3C222C00CE40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931797"}}}}}