{"entities":{"Q266246":{"pageid":268013,"ns":120,"title":"Item:Q266246","lastrevid":60546225,"modified":"2026-04-10T17:39:48Z","type":"item","id":"Q266246","labels":{"en":{"language":"en","value":"Decidable models of small theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567980"}},"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":"Q266246$CD03CE4D-1723-4425-B790-91FD9E195511","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e81bd330355d6c2c26b319c508cfa153ddd7e494","datavalue":{"value":{"text":"Decidable models of small theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266246$525F4248-440A-4D84-9E90-A5D6688132BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4cd9fb021ee0bbeffc2b2b9905745c398189f42","datavalue":{"value":"1347.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266246$38ED629D-D276-4CA4-A45F-096A0B08C66B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3621be7cf3ac0ccc380e98ac9b69e61605efefee","datavalue":{"value":"10.1134/S1995080215040198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266246$1D36D4F9-DEE1-421D-B135-8E2351C3ED51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70708a617b968af3806a45f8c4d5f33915c59640","datavalue":{"value":{"entity-type":"item","numeric-id":96710,"id":"Q96710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$83D162D2-F51F-42C4-BC63-35853236EC08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fdd8bc36a3bd1e23ed77b21c053f051997e685b8","datavalue":{"value":{"entity-type":"item","numeric-id":69786,"id":"Q69786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$C7E661D6-47FC-4355-ACF1-7107E58B608C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q266246$D6EFE9AC-192C-4ADE-A64F-305A9EC99BE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8367d5a19e1fef139e3f27f5ece559b08250ed34","datavalue":{"value":"https://arxiv.org/abs/1504.01180","type":"string"},"datatype":"url"},"type":"statement","id":"Q266246$1E4B029E-81D6-4464-AC7E-03600DDE2BF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266246$4E39B817-DEA9-47DC-8D1A-4C19F25DD822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266246$6D83C1F1-56C8-4B9B-931F-BC7B21FEFB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fe11f04b6087bace09260a0b23b622986650f4c","datavalue":{"value":"6567980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266246$0D4090D4-CF7E-4895-80EF-2216CFF47541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q266246$63914844-A4A3-45BF-8009-9DF66F3AA9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q266246$F58C0F3A-DF19-4D25-93EF-105FB7A96F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcd94e1f3056c48d9b7f4a211e9a89ed37a518e","datavalue":{"value":"AL theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q266246$03BE3965-35CB-4C4D-85D5-605A89B3CBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc33c597d1980514c4afb4b4b2efd4a58f5b850d","datavalue":{"value":"computable and decidable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q266246$82B1E6DD-8F75-43C8-88DB-4944DCB8D0EF","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":"Q266246$A56CBBD9-A08E-4343-B901-B270BF627162","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1596a338abf12beb88f2c6559709089c3b2410","datavalue":{"value":{"entity-type":"item","numeric-id":3777999,"id":"Q3777999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$798D073B-D119-4DB5-AFAD-D757104CF6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35cc91e6c901a61d8b4f0347cddf4c378ed04f7","datavalue":{"value":{"entity-type":"item","numeric-id":5326370,"id":"Q5326370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$895C1A53-E213-4FD3-B061-E3C3ED9A7005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c56174a70aff64badc2b7e54d9bb0130e9ddf27","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$A620104D-D824-4ACF-BA53-7FA5E4B5BAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5784e330e314d12460a880d71a4d7dc851b1702","datavalue":{"value":{"entity-type":"item","numeric-id":3858245,"id":"Q3858245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$93DF17BD-94BF-44BD-B97F-D8ED42B53A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f10b4d88e93baca28a79f2b36e81db13dcb827","datavalue":{"value":{"entity-type":"item","numeric-id":3869329,"id":"Q3869329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$8E8FA98E-6816-4284-AF89-39BE167133A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24cf514a96c7fa765cd43776324258225faf07","datavalue":{"value":{"entity-type":"item","numeric-id":5294703,"id":"Q5294703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$71B2F724-D39C-484D-94C1-3477973CEA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647a0705ac5c7213c8a00ca6458a0c0108287f30","datavalue":{"value":{"entity-type":"item","numeric-id":548771,"id":"Q548771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266246$D659D374-5E0C-41B9-ABB3-14051B528C45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26d918f6c733a441ffee695f7b988f6a33bb579c","datavalue":{"value":"W1548332750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266246$0D04A077-57B6-49C7-8848-2F741C381843","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf646b040c58309b2841f74337423b56d660972d","datavalue":{"value":{"entity-type":"item","numeric-id":1057259,"id":"Q1057259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cc330e6097759ac0fd5a86dcff43c1b6b19540","datavalue":{"value":{"amount":"+0.7914354801177979","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":"Q266246$4EAF9CEC-A1C3-4507-93AC-9C6B0EE52087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1695158eec71141483bade26741acfc61e72e35d","datavalue":{"value":{"entity-type":"item","numeric-id":1381432,"id":"Q1381432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00f024ebe9c41cbacea4c5603d9569e47efc8cd4","datavalue":{"value":{"amount":"+0.7560251355171204","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":"Q266246$5E3E0651-3C90-491E-86AC-D83ABDB89083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649e1d7d1dff7d1171b263f10934f4731a60f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":3546079,"id":"Q3546079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad31b8bb6c44a9b932c710ff945f74101e47639e","datavalue":{"value":{"amount":"+0.7523899674415588","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":"Q266246$78B6DD77-821B-4431-938F-35BE6FA3D89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fcb6ac47f2bc8b012c2bb579bd8c78955fd1ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3760505,"id":"Q3760505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3e250bf2120398bbc6d7807ec77b565a697fd6","datavalue":{"value":{"amount":"+0.7463276982307434","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":"Q266246$507530D8-7516-46FC-8FAF-5940E5AC0A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4acc8d638cd55dcc476ca8c31779167c88c3cbd","datavalue":{"value":{"entity-type":"item","numeric-id":5326370,"id":"Q5326370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d87eef015a3a7d285b187801d95b008ad308c5","datavalue":{"value":{"amount":"+0.7410946488380432","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":"Q266246$E48456BD-AC96-4233-BB7E-E83726DEBB01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable models of small theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_models_of_small_theories"}}}}}