{"entities":{"Q266237":{"pageid":268004,"ns":120,"title":"Item:Q266237","lastrevid":60546162,"modified":"2026-04-10T17:39:47Z","type":"item","id":"Q266237","labels":{"en":{"language":"en","value":"A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567975"}},"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":"Q266237$4E8124A8-81D8-454B-8342-BDD86F70A586","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e59211ffe916a053d51b6e9056d093bbba5ec5b5","datavalue":{"value":{"text":"A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266237$626281F1-EA9A-44EF-9A1E-C881ABBFFAC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2257438d4c86de08a13c356582d19637627b4cc6","datavalue":{"value":"1386.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266237$4B7C2BA6-A358-43C1-BE75-476A3037F271","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0318994705ecc30d615800159ce9832c61b28e0","datavalue":{"value":"10.1134/S1995080215040137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266237$D22940F1-3A18-4018-9BE1-3FCD287A7ACE","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":"Q266237$A8BE8AE3-6003-43D5-A279-422A8512F894","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":"Q266237$E38C2CA7-B077-4E9C-A03C-B803880CD98F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266237$8D178FF1-B54C-4DE3-8DD4-32615EE371C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266237$EFED48FB-6499-4B5F-B77A-F9BF73140AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266237$AD679ACF-6FE2-4B22-A4F4-AC21B0B5E4EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70c8c2ee951b29dc53f4c058e6a44ba434b06858","datavalue":{"value":"6567975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266237$3C3DBCB0-E6AE-4696-8C9A-005FFA4C9316","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q266237$FB94E36C-A150-4174-AB96-30423ED3939C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff5be743663cf6c0e011f8cb70ac18c6fb2b16da","datavalue":{"value":"incomplete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q266237$FA28F9DF-B0C5-42A8-A9B4-1BA00A1FBF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd9f90c96cf58753229ec6dc300a8dd03001419","datavalue":{"value":"finitely axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q266237$D5B1B53E-018D-4EA7-9EE9-1FFC6BAE53C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9492a7f68052cfe8fbaaea09b5c14be60eae293","datavalue":{"value":"model-theoretic property","type":"string"},"datatype":"string"},"type":"statement","id":"Q266237$BB3F9B51-AF5F-4ECE-A08C-E4A4BB63D64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac09feae1f3aa5be560461f452314fc665a9eb","datavalue":{"value":"Tarski-Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q266237$DC2E5C31-0F0E-491E-A0C5-EAC0529402C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f00aa890a74ae4bd85db43e1b93a8a2afc5dc8","datavalue":{"value":"c.e. Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q266237$6D3223ED-652D-41BE-9941-3DFFEB5F1B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43fad87ee75d833443194a294914e2bb12af2355","datavalue":{"value":"Turing computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q266237$160DE8BC-FB5D-48A6-ADEA-697454E07151","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":"Q266237$80A04D64-D6BF-429A-94E0-DEDDED0C817A","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":"Q266237$943DBFBA-D2EE-4188-9344-64BC8BD441DA","rank":"normal"}],"P223":[{"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":"Q266237$AACB9CF5-C173-4DE9-B62A-1DEB49F4F3E2","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":"Q266237$337774AD-8C5A-47AB-9397-F703214D3261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610c4ce18d93717aed8fea0917044e5effb66f85","datavalue":{"value":{"entity-type":"item","numeric-id":3962956,"id":"Q3962956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266237$12298665-2FFB-44FB-A933-D5F469AEB383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccc044b303b77c3d48a48fd558ef36a08e6e233","datavalue":{"value":{"entity-type":"item","numeric-id":922530,"id":"Q922530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266237$B875F032-09B1-4DE0-BFFE-23E9FA9FECCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5428fc9411bd9e4c01e07d7ffd7977a4053ef57","datavalue":{"value":{"entity-type":"item","numeric-id":4895324,"id":"Q4895324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266237$C4C41F27-85CA-4A4B-8F07-3F229DF08344","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":"Q266237$DA914A07-EA6C-41DF-B436-3DF69D99B091","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":"Q266237$7916BC7D-3924-4AB2-B420-C6E73044E747","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ca307dba4a1fb68201deefe0368b499bdf25e5c","datavalue":{"value":"https://doi.org/10.1134/s1995080215040137","type":"string"},"datatype":"url"},"type":"statement","id":"Q266237$0DB01D6A-BBB2-41EB-88AB-23ECC97BDEA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c67e12cf028fa3da7314a16703711d9b296f1cd","datavalue":{"value":"W2203152860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266237$4501914F-EFEE-428A-A1EC-5F89A9EB0C1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac8fc95e9314122a53059e4d5b70a27d8e08803","datavalue":{"value":{"entity-type":"item","numeric-id":3777990,"id":"Q3777990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f811c4e4c8a10738589cae3ada8f33554971dba","datavalue":{"value":{"amount":"+0.8740692","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":"Q266237$36834E2E-A5FD-495D-BCC7-3000B65F54D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303575796de86fad5a681ea51499f70036dfc1be","datavalue":{"value":{"entity-type":"item","numeric-id":701740,"id":"Q701740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b039a844d8f676f059629c1cc14a9b522b70e4ab","datavalue":{"value":{"amount":"+0.8664452","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":"Q266237$8E591935-DED7-4D01-BB24-39C608B3B9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3bb3544ae5cb363c7549d0bcbbe9aa588c203d","datavalue":{"value":{"entity-type":"item","numeric-id":2811650,"id":"Q2811650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93c323f7d870725dadb0648ee2ff0bccb51bb5b","datavalue":{"value":{"amount":"+0.8659278","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":"Q266237$9AE9C025-6829-4805-B7A0-392F43D837A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c02e3149e1e8373cebee18739c84d5d205337c","datavalue":{"value":{"entity-type":"item","numeric-id":3585155,"id":"Q3585155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2daf862bd975532b7e764ae275399b47aa3b5d9","datavalue":{"value":{"amount":"+0.8658782","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":"Q266237$22378205-228E-4C2C-803A-956E08158B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40998fd36bbcba2d1b8ae5616811d28d686c9f2a","datavalue":{"value":{"entity-type":"item","numeric-id":266881,"id":"Q266881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af423444e08460bf0b3f82237c31dee7e68aacbe","datavalue":{"value":{"amount":"+0.86498505","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":"Q266237$D011AE8E-2006-463F-81AB-DD3432278286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587a49a7daad5fa46ff89e84d9876af92480cc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4276020,"id":"Q4276020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1482e4bd6af4dfc5a95dafc9c5ce6859a46eb6b4","datavalue":{"value":{"amount":"+0.8628329","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":"Q266237$4C2CECE9-4944-42C3-8A1A-05854BE39042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70fbec6763aba485458e14e954c2770aba09a551","datavalue":{"value":{"entity-type":"item","numeric-id":1130508,"id":"Q1130508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a45057444ac16502c3e529a3113a0e4bb8d75eb","datavalue":{"value":{"amount":"+0.86212724","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":"Q266237$4A8543C5-AA32-43D0-91FB-67345394168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf204eb4f536dfa8c4308844f90bbe17e7df775","datavalue":{"value":{"entity-type":"item","numeric-id":5164173,"id":"Q5164173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a42b594a6ca8f811e341df4262538dc61b1e6ba","datavalue":{"value":{"amount":"+0.8616813","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":"Q266237$AC547FDB-E53B-44F8-A5E4-E408176DC930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36794b826963fbb6f929da435bc85cea78e27648","datavalue":{"value":{"entity-type":"item","numeric-id":5956118,"id":"Q5956118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0b5b8214cf3d248e9ba941297e393d1d2d316f","datavalue":{"value":{"amount":"+0.85997826","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":"Q266237$B83E8A04-98D2-4E04-81C9-65EB1CB692E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4f03a10edafe7cdc7913a54a58229f242d59a6","datavalue":{"value":{"entity-type":"item","numeric-id":1267843,"id":"Q1267843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e97ba34265d98255a6ceea6135ffaf95d987de6","datavalue":{"value":{"amount":"+0.8583705","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":"Q266237$455A5607-82C7-4EE2-BBA6-86BEA9619344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_transformation_scheme_for_infinitary_first-order_combinatorics_presenting_computational_level_of_expressiveness_in_predicate_logic"}}}}}