{"entities":{"Q2364335":{"pageid":2375078,"ns":120,"title":"Item:Q2364335","lastrevid":72605778,"modified":"2026-04-14T06:02:59Z","type":"item","id":"Q2364335","labels":{"en":{"language":"en","value":"Index set of structures with two equivalence relations that are autostable relative to strong constructivizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748455"}},"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":"Q2364335$63FCAB39-D35B-43FF-8FFA-55414E277C96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d71f6f66c0d8c3708510deefbeddc590ef2dc65","datavalue":{"value":{"text":"Index set of structures with two equivalence relations that are autostable relative to strong constructivizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364335$CAA72CE6-84B5-4854-A977-A2378BA4B804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4d72c28338c2a64b8dee4024bb0639d566eb13e","datavalue":{"value":"1402.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364335$9DEBB0A4-2EAE-4E24-A5ED-839BA77365DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$115F7539-760F-47DF-AAFA-5E54130E9B0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364335$A62E1F5A-0AE3-46BC-B19B-B3B6ED54CE1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364335$7E5C381C-287B-48DE-A66F-B0870D699690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364335$434AA309-30D4-4F74-8853-469ABBEC84EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a07c3bfeca8775551c5e34228e4c7b932016f81","datavalue":{"value":"6748455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364335$CD30AC9A-F579-4111-B37A-E240FA7B49E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335411fe80dd8db59478af395ef00adcd214c748","datavalue":{"value":"autostability relative to strong constructivizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$C4C9685B-5C9F-4CBB-905B-37C1E85A2AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d96b00b703394dec7a131f196d03a78971399e8","datavalue":{"value":"computable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$3E9BADAB-AA17-4BCF-B586-480FF2E1650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3b418e00095d494ea4701199583b497e33f05a8","datavalue":{"value":"hyperarithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$543ED240-D0C5-4B99-AA89-DC40F22C94B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ee9f17aaedd2b505c74937f507a438d3630c80","datavalue":{"value":"index set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$EDEEF709-F05B-4D1D-8661-CD2A3B1BBABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b70477b60c07a8f96f8f52ee5034f9b37dd5725","datavalue":{"value":"irreflexive directed graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$FCB697D5-4B9A-4F5E-A622-0EF00045DC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddc84d0bd7587c2bd86897b4a6314bdd2914d19","datavalue":{"value":"coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$3EA19E57-8C6C-4B65-807E-2534AA7EE11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$B5836377-77F3-4714-B52B-41D062B5BCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"141d51447bddc7e3b7971af930932ec11928518e","datavalue":{"value":"strongly constructivizable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$29C99B8E-6BE5-4DC9-97BF-8511FDA84AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e551c5e341a0a38397eb81434edee59f5b118e84","datavalue":{"value":"structure with two equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364335$EABA7CB5-B456-4FD0-BB5F-67F3DAEE0C9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3d105f491b7e6c22fb9c617c8e70845778d8507","datavalue":{"value":{"entity-type":"item","numeric-id":282113,"id":"Q282113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$0D47BA2B-208E-48F0-B452-82A2A9F526A3","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":"Q2364335$76F1026C-B197-4B9D-8A4A-8C29B29D4282","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff8fb0d34ae0d014963ea0dd6ef203c5c94135c3","datavalue":{"value":"https://doi.org/10.1007/s10469-016-9400-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364335$3C715EEE-7E04-4C8F-8AC9-15606E0B8F41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69a330bffa8085028ebfbc19be72bd0c1b273d6e","datavalue":{"value":"W2550229656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364335$94C393F8-1E17-4FAF-A2CF-A893A2827F39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eadadadb05bdd0bd4b4b6c4166373be9eb0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4935938,"id":"Q4935938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$E7014CEA-B389-4E60-B462-504F4F8162A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ee54619e7a920c6b89f8dd1579b992f80cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":3770517,"id":"Q3770517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$F3C8AC89-C2FA-4BDE-8219-0419A66D6056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e1e15d2703aabda083ea06310b1138b9882d5","datavalue":{"value":{"entity-type":"item","numeric-id":3544794,"id":"Q3544794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$D48755AC-917E-4CD8-BBE7-5022823787D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b07122f6aa84b3d01b9f886225eda55a52008e3","datavalue":{"value":{"entity-type":"item","numeric-id":887638,"id":"Q887638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$5B186F38-2199-49D1-844B-673BA543F9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04226fc5ec4b58bbcb9e03b77ac0c782536f405a","datavalue":{"value":{"entity-type":"item","numeric-id":282114,"id":"Q282114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$2BB71F10-8F2D-40F2-8B5C-5D0CB63CBE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136be0bd672b816c5e82042de7be653fd7343c0a","datavalue":{"value":{"entity-type":"item","numeric-id":498225,"id":"Q498225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$5D104F22-15AB-4BCE-A057-273C23D1D5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a009a34918887a1c84c23e74abbe62f50c274d2c","datavalue":{"value":{"entity-type":"item","numeric-id":5741407,"id":"Q5741407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$41A0E6E3-619B-4537-A841-E37DD2A924D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b2a1374eaa65fb8625dac277c032d2194482d1","datavalue":{"value":{"entity-type":"item","numeric-id":906085,"id":"Q906085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$A236CA1D-2BEB-44FD-96DA-F477E7AC1CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e153b8d9db5b29397c00a354e1039a528d57e76a","datavalue":{"value":{"entity-type":"item","numeric-id":5741335,"id":"Q5741335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$0D7D6156-CCA4-4351-9683-BB69DDCE3850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d97d743180ac66e08d95d0137e99a5715e8d606","datavalue":{"value":{"entity-type":"item","numeric-id":492716,"id":"Q492716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$06DC3244-57AA-4DB5-92D6-9CA7D4639B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f895fbc3b088bef36af77b96b3008a50868d4c64","datavalue":{"value":{"entity-type":"item","numeric-id":4451633,"id":"Q4451633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$EA810B1C-EBC3-47FC-A967-9161E20583A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e86fc3f25ba389d63669e7fc4112e4095869de","datavalue":{"value":{"entity-type":"item","numeric-id":5476777,"id":"Q5476777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$4D44D97F-CA67-491B-9656-4119648480F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de38b609836963803b0ebf304eb60c6a74a010c","datavalue":{"value":{"entity-type":"item","numeric-id":5422309,"id":"Q5422309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$45AF6650-E6A2-4A21-AA8E-F8FA843A79DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fdcd684f9838d220ba76d937dd4617b6c14ebc","datavalue":{"value":{"entity-type":"item","numeric-id":321265,"id":"Q321265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364335$826D22B9-8DB7-425D-BE71-63EAAE7E2C88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa0547353a3eae3cbf60f84d42e0f4532665bb74","datavalue":{"value":"10.1007/S10469-016-9400-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364335$DA3FED3F-A452-4DCB-8517-ECBD8E69A350","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4738761164f0e980c4e63c296abad1653ff3fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":906085,"id":"Q906085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c140f6a55c7382d68c71ed7b0746700221bb44f3","datavalue":{"value":{"amount":"+0.8498297333717346","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":"Q2364335$814DE9FB-D8E4-43B2-88E1-D9195F7405A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b721c54b6363c27eb05029301cf16bf2d97873","datavalue":{"value":{"entity-type":"item","numeric-id":5741335,"id":"Q5741335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6923d86108669503a58ffe120256f7f717712174","datavalue":{"value":{"amount":"+0.8257502913475037","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":"Q2364335$7E734117-9CB0-4B30-9786-FE9060FCD302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef1ea1d53f1ee7ebd538fc7beb6047d2ce6c6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5741407,"id":"Q5741407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da38253cfced948aa3c1fa8d2ef14dca85f8435","datavalue":{"value":{"amount":"+0.8103778958320618","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":"Q2364335$0C673FBB-B1C7-41C2-BCDD-73F19048B6C1","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":"9424ce039d17f355d39d07164d71b96ba8422ea5","datavalue":{"value":{"amount":"+0.8029308915138245","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":"Q2364335$10D5F330-833C-4D30-8702-688EE18F5896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c538e59f487af7fc065a0896cc9414097260fa17","datavalue":{"value":{"entity-type":"item","numeric-id":3576052,"id":"Q3576052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05e2f0a18e914e35b3eca7d36f1ffea55c4fe99","datavalue":{"value":{"amount":"+0.7715818285942078","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":"Q2364335$9A284241-6AD6-4EF4-9E2B-42EA984C0211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Index set of structures with two equivalence relations that are autostable relative to strong constructivizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Index_set_of_structures_with_two_equivalence_relations_that_are_autostable_relative_to_strong_constructivizations"}}}}}