{"entities":{"Q1803018":{"pageid":1813760,"ns":120,"title":"Item:Q1803018","lastrevid":72990735,"modified":"2026-04-14T09:14:14Z","type":"item","id":"Q1803018","labels":{"en":{"language":"en","value":"Semantically universal classes of models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220170"}},"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":"Q1803018$289A15E4-AD62-4F01-9CCF-882A1B9699D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"513e1e862243a7fead721c234c48b9b35eaca451","datavalue":{"value":{"text":"Semantically universal classes of models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803018$52BFC2E1-EADD-4E57-A9A9-823FC8627264","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bfe35096c785664c596f8dc20d3c9b76541d4b1","datavalue":{"value":"0777.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803018$6058E1FB-0314-41C5-8368-29386D8BE16E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e508d1a546205c221de1376886c12ca7bc5fe2e7","datavalue":{"value":"10.1007/BF01985062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803018$95FF573B-E015-4CD3-A583-A2005D52C950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803018$3D8ED7D6-3AA6-4C29-8E10-A71718697C18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803018$AE4D9E59-4398-4619-B51A-F54C63C7CF2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803018$247FDED8-50B7-4369-9B99-0D08DA7B4EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803018$D61C2DD5-3912-46BC-B15D-89F8289A87A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769a8fafbf800007d4042c167d50ba8c7b0742c9","datavalue":{"value":"220170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803018$64E202F5-690C-4E5B-A908-430EB6C33BE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bea7e8f7577e1505c69e9e27ceadc1b0dc0a105","datavalue":{"value":"recursively axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803018$EB3B7545-492D-4FDC-ACC6-74598216CEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd6617aa4a89886b313dd7b2bade4b10ec2750c","datavalue":{"value":"finitely axiomatizable Lindenbaum theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803018$A6485C06-1458-41AA-8CFC-448493B669C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734b507aeeac122ea20a1a7970679d9eba6b22ec","datavalue":{"value":"semantically universal classes of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803018$2918CAD7-4950-4B0A-899A-47AFBA390797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b6ae5b7ed2b47e0e62fd8d0167252220e05e96c","datavalue":{"value":"generalized Lindenbaum algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803018$EC6E6DE3-17BC-4FF8-AC3B-DBE108DE6B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803018$05D0767C-6707-48F0-9B84-5777B179CC29","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":"Q1803018$AE943173-78E9-49E0-B0C3-A033524C75D8","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":"Q1803018$2B003E07-BFD6-4584-9B6C-812522779B9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acba7c60fa4451659e26c1ecc057fb93e00d64c0","datavalue":{"value":{"entity-type":"item","numeric-id":4087168,"id":"Q4087168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803018$488B03FC-73E6-4423-8A2C-3E4912C86390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beaf9a31027b4bcb7b605ef868363f47ea063ed9","datavalue":{"value":"https://doi.org/10.1007/bf01985062","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803018$1A770511-399E-4287-8861-CBC4AFABB7E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f23db0358815ab7169f6d63af514d49df6ef5cb","datavalue":{"value":"W2029490056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803018$7ED49DC7-6804-4BBE-86AC-F3A272209BF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448dde3bfad7a59cec53e439bff112738424963a","datavalue":{"value":{"entity-type":"item","numeric-id":2366359,"id":"Q2366359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd42a1ed76ce58544222e268b451c07476b33e7","datavalue":{"value":{"amount":"+0.8311975598335266","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":"Q1803018$D2A9CFD0-6426-4BB8-9473-9439BA7155F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b68543bcd420c640b44e3329ac17489ebe93d1","datavalue":{"value":{"entity-type":"item","numeric-id":3347852,"id":"Q3347852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887e69ce92e3b87ffac8a6a8129615f3417beef2","datavalue":{"value":{"amount":"+0.829495370388031","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":"Q1803018$F445A65A-D61B-4B01-9BAE-EC0C48E7858A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2795744f80d739af37a1ae10261bf64beea5468","datavalue":{"value":{"entity-type":"item","numeric-id":4513975,"id":"Q4513975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb114b031c24bf159a5fdf2262b09a944740570","datavalue":{"value":{"amount":"+0.811755895614624","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":"Q1803018$2388E2BF-FEF4-4C7B-8700-896844989176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1bcdb02a175df4f55696e0ca617dc6265d5099","datavalue":{"value":{"entity-type":"item","numeric-id":4799377,"id":"Q4799377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae85cab2d84b4ea63302e0b58812a9fbee6ccdfc","datavalue":{"value":{"amount":"+0.7621137499809265","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":"Q1803018$782C1617-A26B-43CC-99EC-7FD1581E2ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da60a7106276de253fbd5e55e622a34523fea598","datavalue":{"value":{"entity-type":"item","numeric-id":4700614,"id":"Q4700614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a144d607947200b0ba522534161f220c783ece","datavalue":{"value":{"amount":"+0.761263906955719","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":"Q1803018$04BDF825-E040-4818-99AD-156D00880E1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantically universal classes of models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantically_universal_classes_of_models"}}}}}