{"entities":{"Q1102942":{"pageid":1113694,"ns":120,"title":"Item:Q1102942","lastrevid":69646758,"modified":"2026-04-13T08:26:22Z","type":"item","id":"Q1102942","labels":{"en":{"language":"en","value":"Model-complete theories of bounded unars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051581"}},"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":"Q1102942$F9B94445-B085-4A10-8AC7-390734BF23C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d6258175628f878a4b5ed08f2a1a5ccc5433665","datavalue":{"value":{"text":"Model-complete theories of bounded unars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102942$F122E86F-EA6E-480E-B81C-547C5F86C625","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8642b3625e428d4bf9d413ec016eb6e23188f798","datavalue":{"value":"0645.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102942$3F7DAB8E-8EB9-4A74-8AF8-830260130852","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a71c67f48ea931e11667a6d098b48fd8cab8b565","datavalue":{"value":"10.1007/BF00969326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102942$AF41B4D6-C953-4721-87C5-4DA3C4B28962","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7903bc2e218debcbcf1427c3a987fd438070b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1050437,"id":"Q1050437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102942$FCC618A2-5EFD-453B-8599-E44170556A62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102942$622005CB-B641-48B1-9310-5874B3FEB7AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1102942$58FF3C04-930C-42DC-A9C8-7729B4649C6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89a3a0f150d1615a20c13fdf6ac592520bcd0184","datavalue":{"value":"Translation from Sib. Mat. Zh. 28, No.5(165), 145-148 (Russian) (1987; Zbl 0637.03023).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102942$CDFF9137-CA6E-4DA1-99BD-35789C28CC8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102942$A938BA90-6E9E-4DEF-823A-4CEE3E6191C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7d02293005b5fb623e67d2219ab5ad325549926","datavalue":{"value":"4051581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102942$878E94B9-55AA-42D8-9BEB-2F5575660036","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fb6922088a028db40721a4e689f82683777af42","datavalue":{"value":"inductive theory completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102942$7A46337A-BA63-4F92-8491-CCFD7090E376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102942$29D2451A-C44B-43C5-8F40-B0ECBBA06B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940f506e4e41200f865ae6a0825925466364dfc3","datavalue":{"value":"\\(\\aleph _ 0\\)- categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102942$A7763715-4BB1-4844-845F-7F931C3F42BB","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":"Q1102942$FA8DD946-1B7F-4AAC-87DD-AFDE536EC4F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ba079e760d8d5bb98242bb7c8189f6a77a152d","datavalue":{"value":{"entity-type":"item","numeric-id":3037400,"id":"Q3037400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102942$F0F7E361-4D66-42B1-B9D7-F34D6775FCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc00a099a5f5abee88c5e1345000bed238b9f79","datavalue":{"value":{"entity-type":"item","numeric-id":3312226,"id":"Q3312226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102942$F316DB48-B356-4D45-8CA4-85BE153EAE13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94ec5c24db1fa47ba5a16c777c7a13c10c0a6da1","datavalue":{"value":"https://doi.org/10.1007/bf00969326","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102942$11C1A0BF-285D-4F9F-9DAB-AE8ABC28B8B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71bd79169c11c4efe3b8233109164fb82ff84637","datavalue":{"value":"W2068596205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102942$4AC8D8F5-E053-4BDC-8212-9EC4EA7C9943","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412a5be5c3cec092fac7ba5f8620065dec18a3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3777996,"id":"Q3777996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da38c1622b32f49c7ffbb5db884959b0333a031a","datavalue":{"value":{"amount":"+0.997041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$D3289C20-E3D5-4838-B471-55AD62F85DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03e9ffb9dd53fd9320163d9d9893f7c17e63376","datavalue":{"value":{"entity-type":"item","numeric-id":3829543,"id":"Q3829543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f821ffc3bca0772b367161eef4e28fc5313796f6","datavalue":{"value":{"amount":"+0.9167595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$642485BD-7D90-49AB-AFFA-9BABA82A0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d50ee8425a1ba45faf1c2d1f930eb4a483d44a","datavalue":{"value":{"entity-type":"item","numeric-id":4700632,"id":"Q4700632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f821ffc3bca0772b367161eef4e28fc5313796f6","datavalue":{"value":{"amount":"+0.9167595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$EC086E12-2738-4612-894F-F7804344741C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fec06c7af770e17b0000713bf110482939a0b67","datavalue":{"value":{"entity-type":"item","numeric-id":3715167,"id":"Q3715167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf3d72fbdb33893ae5eebf68acecfb6518aab1f","datavalue":{"value":{"amount":"+0.90394366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$8F19EF80-950B-4060-936B-010E2F95D857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b7aff180d1f3851cc42cff9169a67e489b608c","datavalue":{"value":{"entity-type":"item","numeric-id":1113894,"id":"Q1113894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7d5d11291bb756dc48da8780cc03f5663acca0","datavalue":{"value":{"amount":"+0.8957427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$2159B295-5084-4CE8-9CCE-CAFBBAE135C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b24f19815b6c305318b144f8802c3deb29a5de","datavalue":{"value":{"amount":"+0.89369243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$44514C51-AB03-4410-8969-84AD3BE2B994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0c93c14e2493588048f806e33cdcca585e6a41","datavalue":{"value":{"entity-type":"item","numeric-id":3762294,"id":"Q3762294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449a55589eda1d92f2a3fa3673584df3f624441f","datavalue":{"value":{"amount":"+0.89360774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$08576BFF-F40D-4197-9258-331C76EADE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241bd54c44639e03cf527fd79c55087ee7953138","datavalue":{"value":{"entity-type":"item","numeric-id":2277453,"id":"Q2277453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd262c7da200e879da404c44fdc3a04bf7db5e1","datavalue":{"value":{"amount":"+0.88921964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$9B80D51D-CF95-47E5-8EE7-AAE9ABAC7DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3974290fb3d3bbaefc513725b73130a2fb849819","datavalue":{"value":{"entity-type":"item","numeric-id":4222772,"id":"Q4222772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a4ace7eb6c4249a97dd71bb81c743fa29d5d22","datavalue":{"value":{"amount":"+0.88589275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$A39E8B8E-5CA0-418E-88AC-69C5155614E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518aa0fb8a1443591efdf8e7079aa487c49fe8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1361404,"id":"Q1361404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8189b4b2e908a7802f7505149fa64db08c7328","datavalue":{"value":{"amount":"+0.88485336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102942$E337D7C8-8BBA-464E-B9CA-4E0160E6E8C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-complete theories of bounded unars","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-complete_theories_of_bounded_unars"}}}}}