{"entities":{"Q3777997":{"pageid":5807903,"ns":120,"title":"Item:Q3777997","lastrevid":90678569,"modified":"2026-06-04T21:01:24Z","type":"item","id":"Q3777997","labels":{"en":{"language":"en","value":"Complete theories with only universal and existential axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037826"}},"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":"Q3777997$7DEB19FC-23B5-4488-8231-276A323E549F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f66e35e86bbb18c5d459d7eba2164c98db81937","datavalue":{"value":{"text":"Complete theories with only universal and existential axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3777997$F0FEA762-5432-42BC-928D-284C491DB05A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"585e1a6212f5e3f3993d3977d25ffa02ba3257fa","datavalue":{"value":"0637.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777997$96130A5F-A1E9-4A1B-BEEE-0B7AA1927623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1eb63ace8443168f561404fd52ad0f78e9fed251","datavalue":{"value":"10.2307/2274358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777997$BF2BC91C-3C49-4826-BA1A-6E023517DB0C","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":"Q3777997$CF37E321-B13E-4133-9423-793E75E9E069","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777997$82FF02DD-AE58-45D1-8995-E5E0729A63F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777997$C4C817DD-4434-4D43-9C09-93ED06317460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a1fa4b53f093df998811fbfa7678beec7955100","datavalue":{"value":"4037826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777997$127AD191-4A9D-4082-BF20-766DB9FD040A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9248e17cc9c9a1eb8dd69f3794c59d14740761a1","datavalue":{"value":"complete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777997$CC0005A2-F9B8-43A2-81E7-762B3B02C4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634c1a7d829b6ad3df9b2ac1110524c1a3f8cca7","datavalue":{"value":"universal axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777997$BC02DF8E-80DB-43AB-ACEC-1FC244D5980B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df2f7115e60766eb904262c2267e00081f0f7ea","datavalue":{"value":"existential axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777997$F4248DDD-4319-4F6F-AAA2-25DACB2B8F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777997$2A6835CE-1A15-4A9A-B4B6-3651A6138009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeed5e86db28aec306451e38ece613cafeed9fa2","datavalue":{"value":"finitely partitioned model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777997$5277998A-CBCF-4E14-B085-DFAC17D8FEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64337aa982ecc7c2efdbf03df3dbd55e2a457806","datavalue":{"value":"age","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777997$3E3ABFA2-1516-43EB-B539-93B283213DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8110ecd6c2f5d86d74d8a644b3d8e7c29e62c8","datavalue":{"value":"finite relational language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777997$6F1E03B3-FA40-45EC-A4EA-A7B2F4260643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7beaac7eb6e27ef95ab6e39ed0cd62f3f28779","datavalue":{"value":"\\(\\Delta \\)- stable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777997$36056E91-EBEE-42ED-95A1-55F9AA5D346B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6f663afe99643fc0b06a4f80802aca12f5eca1","datavalue":{"value":{"entity-type":"item","numeric-id":1182486,"id":"Q1182486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777997$CBE52A2E-503C-4272-999D-7DF6325CF0D8","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":"Q3777997$A6C57C55-0025-4540-833F-ABCE496010C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"500c3b8f2d53569e090023953d21a68862ed1d03","datavalue":{"value":"https://doi.org/10.2307/2274358","type":"string"},"datatype":"url"},"type":"statement","id":"Q3777997$ACE37282-D1EF-47AB-BC4D-A933CF6381A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a13eb61b52dc7d5e412c52c8ff4a0011fe14eda4","datavalue":{"value":"W4255975505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777997$A94DB1D3-A4CD-42D3-93EC-D322E03DC49B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"336c54265013d877cd6666da2eaa5b5db8dde548","datavalue":{"value":"Q114589035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777997$CEEFBB8F-95E2-49E3-81E5-0886CD5FD305","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777997$85831AAC-5197-4365-9955-2DEE1DC0AE5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229ddc522a460774876cffdba1694b1de79a9332","datavalue":{"value":{"entity-type":"item","numeric-id":3791127,"id":"Q3791127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb15cdb466c31bbad861dac475a158ab6a110c9","datavalue":{"value":{"amount":"+0.8041960597038269","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":"Q3777997$3546EA3C-72F3-4AA3-8CED-0AA6F8F17DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a6d1d9218386928364dfe9209dc72911afcc84","datavalue":{"value":{"entity-type":"item","numeric-id":4013609,"id":"Q4013609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42c43b89abde67444ce9b16fbd21151f3074839","datavalue":{"value":{"amount":"+0.7477938532829285","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":"Q3777997$8A855C94-7CDA-4006-B042-D3B36052A470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f13cff52353e8610907bc6969072b8ca1baeec9","datavalue":{"value":{"entity-type":"item","numeric-id":4842638,"id":"Q4842638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42c43b89abde67444ce9b16fbd21151f3074839","datavalue":{"value":{"amount":"+0.7477938532829285","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":"Q3777997$53359108-6BBE-4FED-9B45-D90B9F02771D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c447e5d382f98071d8dc1824e27402ecc9d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1095889,"id":"Q1095889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af7d192ffa3a6ea3bbad03080fc6091c4f96f9b","datavalue":{"value":{"amount":"+0.7422423958778381","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":"Q3777997$3F606ED9-7211-432C-8CD4-176DACD41CEF","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":"befa56a5c5c90dc7861caba97b4c0504a7cf3799","datavalue":{"value":{"amount":"+0.7186558246612549","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":"Q3777997$DBC85556-E92E-4891-A9FC-94C96EB1564E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete theories with only universal and existential axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_theories_with_only_universal_and_existential_axioms"}}}}}