{"entities":{"Q5326382":{"pageid":7355956,"ns":120,"title":"Item:Q5326382","lastrevid":51790766,"modified":"2026-01-20T01:34:55Z","type":"item","id":"Q5326382","labels":{"en":{"language":"en","value":"The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194957"}},"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":"Q5326382$742F6CA9-66A3-467C-8D78-A1F9ABAE32B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cb62d82acb107c40c56645ca880f3640f78b979","datavalue":{"value":{"text":"The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326382$C1AAB12B-C999-4A0A-9880-781B6E6B4B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f26f4d9a961b78fa07270ec3b8c391969f24d7f","datavalue":{"value":"1433.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$3602FFF3-5F35-4E64-B6C9-E6425A27A623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba7e1f68e553d6ff9b5c7bc4f9124a021c845800","datavalue":{"value":"10.1007/978-3-642-39053-1_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$DE71B11C-A3EC-4C5C-9EDF-F882DB6B24CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326382$DBB9D917-FE01-47B2-BE22-1D6AC50B7269","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326382$A6F56FA5-7FB3-40C4-8D8C-88B2ADB2BBB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$FB8A6738-4DA5-4ADE-B1E1-E924CB8AAC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$51C946EC-6CBE-4F0B-B4CB-DCC9FE305625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$79720E92-74E4-4E5A-8726-61D9A8E467F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$5843EA3A-CC20-4E9B-82DA-F7FD8C82AF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$130C669E-E082-4647-8197-C812411DC077","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2ba0f6f11cb49b99103727d88290f299b4fe5ba","datavalue":{"value":"6194957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$87CBC106-3D3C-4645-93E3-C3E9FFFB956C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd9f90c96cf58753229ec6dc300a8dd03001419","datavalue":{"value":"finitely axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326382$5FA6F69E-5956-4026-916D-36F32007198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac09feae1f3aa5be560461f452314fc665a9eb","datavalue":{"value":"Tarski-Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326382$C2555DBB-AB98-4AEE-99F1-BE4FA954425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f00aa890a74ae4bd85db43e1b93a8a2afc5dc8","datavalue":{"value":"c.e. Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326382$2DB76FE2-2C3E-4996-90D6-83735B26FDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ba9aeb5320e9a602592cfec40d897e65933132","datavalue":{"value":"countable saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326382$7C7F8CD0-94D9-4950-A36E-F7161AADD17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6261af0c7db5af766d42f69aea6ef5b50fc83e86","datavalue":{"value":"computable family of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326382$AA373218-1111-4CD4-B492-C074B9883C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43fad87ee75d833443194a294914e2bb12af2355","datavalue":{"value":"Turing computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326382$46BF6345-EC0A-4863-90B6-8D11F306CA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b65c9c6169d9b1e7575b65fd1f0a942ad6e6ab5","datavalue":{"value":"hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326382$C0331D81-8FAA-49AC-AB76-EDD5B4A51504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7e4ee37cbebce95a2fa4746828d312409774c8","datavalue":{"value":"m-complete set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326382$215383F7-09EF-4FA3-87BD-54342F27A8A6","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":"Q5326382$86035366-FB3B-4DE1-8A0F-2731710F7F8E","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":"Q5326382$98D9213A-2BC4-4780-9960-1B3E0232F6BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"058e840fb44879e43b4428b24a2b22a713e516ce","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39053-1_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326382$2373B48D-517B-42BB-B605-045F2BD361C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c38b8bfe0995e5a413b474212c34dde45c052f4","datavalue":{"value":"W116072411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326382$1D70E2E2-2F76-4C05-9D9B-4FB38DC895E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d8e690f97321e54d79f100e33ca210e6c6e9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2904455,"id":"Q2904455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bfa3fe0f8d5df779e54dbe51529b4f1f16cbe2","datavalue":{"value":{"amount":"+0.9317203760147096","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":"Q5326382$4D08E866-492B-4587-A59B-9F001F4712F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9aac4ec89f448df07d722334c73f4628b06175","datavalue":{"value":{"entity-type":"item","numeric-id":779152,"id":"Q779152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb94b0e4737e4e6ee09d6d059f456b29570aa315","datavalue":{"value":{"amount":"+0.9029120802879332","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":"Q5326382$7946AD26-0AD2-4B0F-8316-826E676C7752","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":"69d2339549d35b93f0974de6e03bb2a6976f9796","datavalue":{"value":{"amount":"+0.8138954043388367","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":"Q5326382$113C7920-3650-4698-BF12-6A2A240CDE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ddeb9580717b70b22d182a2724c4b2a85c9ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4206715,"id":"Q4206715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d329cede1eb766d06c8624bca6caafbf7db81710","datavalue":{"value":{"amount":"+0.7685036063194275","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":"Q5326382$E67427E2-F331-49D4-A04D-E4646ABC6BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9585e9945a82cd6e176dfacd92fc504b11d31f78","datavalue":{"value":{"entity-type":"item","numeric-id":2342305,"id":"Q2342305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b54aef40e2c892158e34bd8c5f3bd866662318","datavalue":{"value":{"amount":"+0.7679409980773926","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":"Q5326382$8ABCFF7D-CF84-491E-B3F6-805AC2BCC6CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326382"}}}}}