{"entities":{"Q2811651":{"pageid":2822389,"ns":120,"title":"Item:Q2811651","lastrevid":52553036,"modified":"2026-01-22T23:02:08Z","type":"item","id":"Q2811651","labels":{"en":{"language":"en","value":"On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592263"}},"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":"Q2811651$1DD926B3-1BB9-4E80-92D2-8760C2DEBCF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34cf106c9e97c4fd4d4b03609cc06f1412d1f21f","datavalue":{"value":"1370.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811651$D87AAC0D-FB79-499A-A9BE-0ECDD7B76443","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f3fac30dab814fb117b83a4f0e7d9c61fe3ff43","datavalue":{"value":{"entity-type":"item","numeric-id":2811649,"id":"Q2811649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811651$F5A2993A-9693-4317-BDE0-BA0416E46CF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811651$FB639E3F-3ED7-4087-963F-05AC4CDEB056","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811651$C2B07D34-B77D-4D99-8055-C434812CE387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811651$45FEBA25-6839-4372-BB43-3F1832B9257D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7294908c33c5c2605981ada61fe92c86cb746ecc","datavalue":{"value":"6592263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811651$7387E687-4073-4FA0-9DBE-7F1DB71A0E04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811651$64142409-293E-4FC9-B2D5-B8F0EC73BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811651$A8C702FB-F262-40C0-AB68-20C0E51AD12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa2562cdcda6f2d37a86e2e286fdaac2949a96","datavalue":{"value":"groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811651$3D5ECE63-9AA7-45AC-9F10-1897C9B56B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e4dd294df2d3c06891db7759a295f99ae15e99","datavalue":{"value":"abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811651$B2D41040-474E-4D6C-8CC9-665082DA6E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815eac359e98c9f52da92b669667ea324d3c0ac4","datavalue":{"value":"definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811651$CB3DFB0F-9D6B-4D9E-9304-23BF6C7254AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8eb59342a1ec9a45d032f5e9f102bb1970e976a","datavalue":{"value":"definitional embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811651$2B365823-CD65-4C84-9C0F-19E24F050A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811651$1A838C4A-23A0-44FA-B401-3F1C23DE16DA","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":"Q2811651$43FEAF7A-6037-4756-A65E-44A430CE11BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9852024ec8c0cb40ae6e96d96df5d819091134d7","datavalue":{"value":{"text":"On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811651$591190A4-81C1-4667-A7F4-23F6D6CBF742","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"149112218bdb038213a4d05b46a1244a47d21344","datavalue":{"value":{"entity-type":"item","numeric-id":6581940,"id":"Q6581940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811651$70B759BB-A0C3-4049-9EFF-02EC6CF6BAC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3bb3544ae5cb363c7549d0bcbbe9aa588c203d","datavalue":{"value":{"entity-type":"item","numeric-id":2811650,"id":"Q2811650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dffb4bb74fc1fc48ae9da9e0f079109b3c43efc","datavalue":{"value":{"amount":"+0.756926953792572","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":"Q2811651$3EAE0678-A190-42FE-9126-B461C7AD97EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5e90de1f88f410cc3aadb44fd6e427fa0716da","datavalue":{"value":{"entity-type":"item","numeric-id":2981256,"id":"Q2981256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950e2a133a58a261cf3af216311720be51421dd0","datavalue":{"value":{"amount":"+0.7123727202415466","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":"Q2811651$0E537099-545A-45C5-96DF-E7B5E870EB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34724f5a107235429ea5d85dfa0b52bc4d39836a","datavalue":{"value":{"entity-type":"item","numeric-id":795823,"id":"Q795823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c70455f96b7523186ce8ec2275377504f97ec3a","datavalue":{"value":{"amount":"+0.6840475797653198","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":"Q2811651$E277DA88-892A-4A6F-A690-E6806A88023F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a06ed4976b9b439ff439cc013460bb15e109065","datavalue":{"value":{"entity-type":"item","numeric-id":5501722,"id":"Q5501722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba618ee8e66bfb57f0e7c19a8acceccb06b9cdb","datavalue":{"value":{"amount":"+0.668959379196167","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":"Q2811651$F31D4882-35AA-4058-B0EC-E5DBB6396ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49758ae7f0c24f36fed850c61c492dbbf6196fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2a6771b88310a8e7d1c5eb163aea5452e84e72","datavalue":{"value":{"amount":"+0.6681370735168457","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":"Q2811651$63DC67FA-530F-4955-A932-1BDFB958A883","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811651"}}}}}