{"entities":{"Q3380231":{"pageid":3390935,"ns":120,"title":"Item:Q3380231","lastrevid":80779571,"modified":"2026-05-06T16:58:54Z","type":"item","id":"Q3380231","labels":{"en":{"language":"en","value":"Complexity estimates for the relation of coincidence of model-theoretic properties with an application to semantic classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7401935"}},"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":"Q3380231$42FDAE79-8ADA-42C7-857C-FBC736226083","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"561a28bb45c4826353fb0dca76dbbf13efadb08c","datavalue":{"value":"1488.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380231$CF90FEC3-F30B-43A8-B765-5EB293F1DA92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389dc4b72755fc3de7f7a9780587dd8ee31dbd69","datavalue":{"value":{"time":"+2021-09-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":"Q3380231$5609D377-2C92-4416-B93B-E244D4B33C54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380231$26AF0708-3597-4C6B-A7AB-AAF8B898247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380231$A93809C2-7A42-489B-8C3A-712746AB9EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380231$09BED312-649E-4C60-A0DE-B160291F2189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3df4fe19480ad705b6cd4c07992708b014630737","datavalue":{"value":"7401935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380231$383BDCDD-CF3A-4A7E-AC21-80153F5EBCD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380231$1FA554C5-6E2B-4F0A-9696-0F0A25744BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9492a7f68052cfe8fbaaea09b5c14be60eae293","datavalue":{"value":"model-theoretic property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380231$90C163F3-322F-447E-9C55-EC5B205D8923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac09feae1f3aa5be560461f452314fc665a9eb","datavalue":{"value":"Tarski-Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380231$48596533-990F-4981-830B-0A9C4A615259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4c86a8920f34d8d6d7b97db312573e30ad9d9f9","datavalue":{"value":"semantic type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380231$07AB7A3F-F9C3-4C0C-A5FE-E819DBA23B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092374219e91a191058e3f69f8aad922b1c1c984","datavalue":{"value":"signature reduction procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380231$A4D24BF3-12C0-45EC-91BB-C88FBAE64A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d053554953c6d910db55d5c14a507befc965ac18","datavalue":{"value":"universal construction of finitely axiomatizable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380231$968C55BB-C9E3-46F1-9680-B9069DE121B3","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":"Q3380231$4ECAE80A-0BF1-4FF3-8453-184A900A4000","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":"Q3380231$3388486E-E1E7-4808-8625-17736551FD6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae79173ee5786c17d2678098fbc30130375d941","datavalue":{"value":{"entity-type":"item","numeric-id":3545596,"id":"Q3545596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bc35226d1a2ed283a804af755bc00ec3de59d3","datavalue":{"value":{"amount":"+0.7761039733886719","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":"Q3380231$D9425560-EFFC-4DBC-9BC4-434E121783AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2503ade6860d4e3a4c409c3857b7fd53793c563d","datavalue":{"value":{"entity-type":"item","numeric-id":1814398,"id":"Q1814398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740a58d6df5f2df5501cd2a2768c867c595256a5","datavalue":{"value":{"amount":"+0.7424310445785522","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":"Q3380231$15B2E3D3-CEC8-4932-8AF2-B052357F79CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff1bc9545f4c25f7fbbbea90458d24b511068e4","datavalue":{"value":{"entity-type":"item","numeric-id":1363784,"id":"Q1363784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740a58d6df5f2df5501cd2a2768c867c595256a5","datavalue":{"value":{"amount":"+0.7424310445785522","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":"Q3380231$55E8C05A-D77F-4741-8FDF-01726DD8DF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4985c9fd9c204152fe3ea40b3af46521c9bde2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3320347,"id":"Q3320347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1308a42496e0fad53aebde1c181e90c28803a1","datavalue":{"value":{"amount":"+0.7345635890960693","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":"Q3380231$3F9BB853-40C7-42FF-A59B-3F0F23624B61","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":"109077ac6601a6b2dcb73848f1e308a5c2948010","datavalue":{"value":{"amount":"+0.7237207293510437","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":"Q3380231$6D6CD103-CBC3-489D-B7AE-286DD818F021","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity estimates for the relation of coincidence of model-theoretic properties with an application to semantic classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_estimates_for_the_relation_of_coincidence_of_model-theoretic_properties_with_an_application_to_semantic_classes"}}}}}