{"entities":{"Q779152":{"pageid":781001,"ns":120,"title":"Item:Q779152","lastrevid":64316085,"modified":"2026-04-11T19:02:45Z","type":"item","id":"Q779152","labels":{"en":{"language":"en","value":"The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7223674"}},"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":"Q779152$E283D0B0-2764-483D-B49A-F977AE5F54D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f251514cb42c42e7f98c827544555a4645eabc36","datavalue":{"value":{"text":"The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q779152$F6E1EE0C-50C7-4850-BFCB-BD7A9936F24B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96e8dbb85187b2c58639336f6935783266b07e79","datavalue":{"value":"1437.03128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$B2648A3D-5E0D-4A3B-A834-42F3FD6DA741","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":"Q779152$003E5A91-AAB3-458F-97C4-62AFE691A773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e352e5fed1237b3989bd37f56da7d305fcb36e06","datavalue":{"value":{"time":"+2020-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q779152$F90C41D2-DBCC-4E09-B588-2AFEAE393096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$4559B6CB-CEC7-4728-8A52-A74CD330BEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$66A18D97-0A33-4932-A4B3-4AB08D38F2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$FBC38BB7-CFF2-40E9-8DA4-5C2706AB6D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$AE4303E8-2634-4224-A88F-B762E26AA291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$071DFA78-6294-4431-B4F1-F8B8D7B1697D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bbafa34f0ca7f3e303d642831d645405af34301","datavalue":{"value":"7223674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$9DD49F18-A30A-4CEF-AA50-4B817129F5B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q779152$88019E37-6DB2-4918-B3C7-63C993E0647C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac09feae1f3aa5be560461f452314fc665a9eb","datavalue":{"value":"Tarski-Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q779152$BB53977A-46AF-42CB-8F4C-C945B43EC10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9177202581f299a747542c146b741d5a52fa5bc","datavalue":{"value":"computable isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q779152$6CA32125-1620-491E-8919-09E186E0FFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2aaa231e26ab02d3fd0ee7679582b54c27e8d66","datavalue":{"value":"semantic class of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q779152$D602E224-ABE8-44A4-8409-E4D4F8CF1546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"367dfbb01f518bfe09aa1f554d5ffc697b393a76","datavalue":{"value":"algorithmic complexity estimate","type":"string"},"datatype":"string"},"type":"statement","id":"Q779152$095A4C54-0166-4D37-BF0C-95496DDA6F30","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":"Q779152$5FD601CF-23E6-43AB-B06F-030B1F0E0E63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"671ab8d074df49b059e41a4e2a3aba43c7477c1b","datavalue":{"value":"https://doi.org/10.33048/semi.2020.17.067","type":"string"},"datatype":"url"},"type":"statement","id":"Q779152$B8CA7032-BD97-405A-8B9A-F9FE0CB258BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fc7bc7fcc7f6305f35a0f48edc57100c31dec30","datavalue":{"value":"W3116179710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$3DE52917-C150-4BA8-B316-C817AAAF8530","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2f7fae1127d4ce5d59255dad1555396a79e64d","datavalue":{"value":{"entity-type":"item","numeric-id":4362314,"id":"Q4362314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$77821E3C-C110-4859-8AC7-B5AA5E10C8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9574e1a2b4d26dcc4a6ee5c42c2d6c2fa4649a27","datavalue":{"value":{"entity-type":"item","numeric-id":4513975,"id":"Q4513975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$200B98CC-45C2-46F7-BB77-6E0A208266F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058eb05e9fe1cf092f50b787e06185ac48461729","datavalue":{"value":{"entity-type":"item","numeric-id":2904455,"id":"Q2904455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$6A7746A9-DE2A-4290-A412-9A6E712CA55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7c3a95436eeabb22dc4d3316d280ce6f163970","datavalue":{"value":{"entity-type":"item","numeric-id":5326382,"id":"Q5326382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$A4B87F94-5F89-4550-B598-097ADDD2AA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$DC6F34D3-8CF9-4614-A224-BF7ACC7CDA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$C65B9233-3B6B-4FA9-A636-79074E7BAD23","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":"Q779152$FBDFE0E5-4E2F-44AE-B5C7-5ADCE9B527FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d8e1ec72c8ff3967bc4895830c9797d68c4746","datavalue":{"value":{"entity-type":"item","numeric-id":1217118,"id":"Q1217118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$F4CFDCC7-9A65-41E6-AC8D-B8F5772BDD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6123305a0b1a7d6da86fc46cc8b08695d515e124","datavalue":{"value":{"entity-type":"item","numeric-id":1843428,"id":"Q1843428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$6F396225-38F7-4497-AB1C-796BA4E7CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af90cbe357c1c686065486b4985fd0c8409ae0c","datavalue":{"value":{"entity-type":"item","numeric-id":4096938,"id":"Q4096938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$DB136B19-594E-4EDD-A2B9-6EE0EBA97260","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"426c151ce3f87def88fea0f095daf161f997bf7f","datavalue":{"value":"10.33048/SEMI.2020.17.067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779152$DA419848-3FE8-4D8A-B0A0-BC98E613E398","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779152$EA8BA5AF-C279-4770-A408-5B38DE9C4F20","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":"13fff870cfa80294dd58a56fcd20a0be8afbefbc","datavalue":{"value":{"amount":"+0.9455904960632324","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":"Q779152$027C5163-6AD4-4F14-BE26-A2317D9D16C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c02a8d2c7cf55a80fddf8738cf8f8e1f8ff750f","datavalue":{"value":{"entity-type":"item","numeric-id":5326382,"id":"Q5326382"},"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":"Q779152$0D8C87DF-F4DE-4D79-9FA0-B6375741D103","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":"69566dc54179c9a87fe2db4d861caf0664d63b05","datavalue":{"value":{"amount":"+0.8145558834075928","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":"Q779152$9AD2E485-C2DA-4DF5-90FA-72F3EC194768","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":"c14e314481eda7eab976b6fff0b7000808486a40","datavalue":{"value":{"amount":"+0.7580195069313049","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":"Q779152$6AF6EF22-B237-4FE9-9AC0-1159090F8C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8519e57fa1bd79fd0527e29bd746254e1e77f606","datavalue":{"value":{"entity-type":"item","numeric-id":498225,"id":"Q498225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3adf9312018bbc0eadee2cadda36b68a0e43a146","datavalue":{"value":{"amount":"+0.748695433139801","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":"Q779152$1D5308E5-4D97-4FC0-A5A7-E5B102B27E5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Tarski-Lindenbaum_algebra_of_the_class_of_all_prime_strongly_constructivizable_models_of_algorithmic_dimension_one"}}}}}