{"entities":{"Q1920077":{"pageid":1930819,"ns":120,"title":"Item:Q1920077","lastrevid":69303048,"modified":"2026-04-13T06:06:27Z","type":"item","id":"Q1920077","labels":{"en":{"language":"en","value":"Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 917991"}},"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":"Q1920077$8AA02C11-2EF6-41D1-A35F-839046BAF3D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"606de1fe6eeb305740e49b864ee0afb0e57629ac","datavalue":{"value":{"text":"Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920077$549034B8-97D4-4D65-9F91-AB0A2825E50C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7a4aa9f915ce77e335a483d10734cb4bea916de","datavalue":{"value":"0848.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920077$4DF7D0E0-74E7-422C-A259-15532CD0409C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920077$BA214E55-9CA0-4B60-B9A9-872ADCBEE53E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0a540be7c2b44ff860d37a7e59d2a0b3a500416","datavalue":{"value":{"time":"+1996-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920077$BDA58905-6EC3-4723-A95A-F1AEF9D924B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920077$C3B54E82-0E62-4BE2-B506-FF34461FFCF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cd15832f2589a03157ed949bd04fa73ad987911","datavalue":{"value":"917991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920077$A857A2D0-FBAA-47B0-A9FF-B8A7F3F0EC14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd9f90c96cf58753229ec6dc300a8dd03001419","datavalue":{"value":"finitely axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$1F49149C-304F-4D5C-BA0B-1E57C10824E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bea7e8f7577e1505c69e9e27ceadc1b0dc0a105","datavalue":{"value":"recursively axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$0E5B1204-DAD0-429A-BCA7-73D3F3632365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$0B84C036-0170-4F57-9184-5EFDE1BA232B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba382c4b619ebce896668b4e5d5990c886dac5a8","datavalue":{"value":"reduction of signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$E4815EC5-F283-4586-9218-EDE4FEA8EF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$FD50E2AC-7AB6-4BF4-9F03-745CC352C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$EC5614AA-CF2B-4430-9482-E7CAEB862061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0503e87b0acff26f635285d13119340cdc06484e","datavalue":{"value":"Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$D1028F5C-645C-4F7D-8219-8ADC8410C37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc61a5318a4d6d185266a944268bef27177a2bd","datavalue":{"value":"semantic similarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$645EB347-9B05-4825-99FD-454FE16DB57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fe636b0ab1f283849c2de9ebfa071ac2ba24c1c","datavalue":{"value":"model-theoretic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920077$B6D2B8E0-09DF-4BBD-A393-CE4A4403C533","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20ecee9536e4120b13720769ac9d5f6e509bebc2","datavalue":{"value":{"entity-type":"item","numeric-id":779151,"id":"Q779151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920077$18B4229C-E7E1-4370-8038-D4A1D4B2DC57","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":"Q1920077$2671145E-AD12-4794-BB93-4059040E634B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391c54b2ee1b915268e6a0bff8c1cd271771695","datavalue":{"value":{"entity-type":"item","numeric-id":4362314,"id":"Q4362314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec7c5865954914c807584e58a31e9eebf8abf1b","datavalue":{"value":{"amount":"+0.8296981453895569","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":"Q1920077$24A37A1D-05F5-45C3-8AC3-20750AB87E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7820a59de7f01158603b39a625d6163963314548","datavalue":{"value":{"entity-type":"item","numeric-id":1920094,"id":"Q1920094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb0ca875671c3f5d058b914c7b8d05b8f35656b","datavalue":{"value":{"amount":"+0.8019294738769531","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":"Q1920077$3F8553BE-D4A9-4E05-8ECF-0D90A0FF0187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd08e26734b57f42da93dc938b331bb03ab6428","datavalue":{"value":{"entity-type":"item","numeric-id":3813801,"id":"Q3813801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2077cfb678bf1cf5dbd353af4e3d106bbb4d355","datavalue":{"value":{"amount":"+0.7880347371101379","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":"Q1920077$03CA67BC-FA1E-448E-A8B1-336F932A1EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44aec287b7797e52b92e0afb83062cbad1f6326","datavalue":{"value":{"entity-type":"item","numeric-id":3481683,"id":"Q3481683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e15f38556c15312d20799095e917b7735b90c1","datavalue":{"value":{"amount":"+0.7762734889984131","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":"Q1920077$81E48B0A-6888-4094-9289-92DA0A256010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_power_of_finitely_axiomatizable_theories._I:_Introduction,_interpretations,_and_reductions_to_graphs"}}}}}