{"entities":{"Q1102274":{"pageid":1113026,"ns":120,"title":"Item:Q1102274","lastrevid":49164388,"modified":"2026-01-06T16:57:46Z","type":"item","id":"Q1102274","labels":{"en":{"language":"en","value":"Decision procedure for a class of \\((L_{\\omega _ 1\\omega})_ t\\)-types of \\(T_ 3\\) spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049629"}},"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":"Q1102274$EA913102-3B9E-4F9B-AAE7-6CBCEE55BBC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"952a4db09ca65bf5725c5b4cb73f4bfc792079c5","datavalue":{"value":{"text":"Decision procedure for a class of \\((L_{\\omega _ 1\\omega})_ t\\)-types of \\(T_ 3\\) spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102274$04A2C923-B885-4FE8-8200-23B251582847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66285218e118e878a8dec8f04c50b55dcc0f8017","datavalue":{"value":"0644.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102274$7D48A5D8-CC7B-44D9-832A-0924F7109E41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102274$214A9403-8E01-4A0F-BAF9-1B5F8DD56C09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1102274$C283E4D4-4182-4E9D-B454-405AA494CFD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb47578683fe153e7b699db2485b008d121e89b6","datavalue":{"value":"The author [J. Symb. Logic 49, 961-967 (1984; Zbl 0576.03024)] introduced a notion of n-type for classifying \\(T_ 3\\) spaces up to \\((L_{\\omega_ 1\\omega})_ t\\)-equivalence. Such an n-type is called satisfiable if there is a \\(T_ 3\\) space having a point of this n-type. It is shown that it is decidable (uniformly in n) whether an n-type is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102274$3E7B315D-02BB-4CBB-9F26-32569BC13573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102274$1BEBABF2-C3DF-4AC6-A9A9-623079682670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102274$A9C83FC2-0823-4201-B492-2C96147E7D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102274$C97963C2-82BF-433E-9BFC-1F11FA39913E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fbcbf992822c851114d72fab5b2842b75b71a8a","datavalue":{"value":"4049629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102274$FDBFD1DB-28AA-4780-A6D8-90BDB81BD58C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b67295494d38cfdf88aa8ad0d64ea068d200867","datavalue":{"value":"topological model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102274$2142D53D-4E0F-4A15-9B49-5C52624FFCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e8f765458d51b2822b62e29fee4ddb5ab6915d","datavalue":{"value":"n-type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102274$B1494189-42FA-4E63-B6C8-D7A302F3CE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"079823f9c09cfffdbe093d5785d1c787b516ab86","datavalue":{"value":"\\(T_ 3\\) spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102274$E800B43B-EE81-4B82-9375-88EF658F5B1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"167e0ebe687a82165444d16167d1209830a2aaf0","datavalue":{"value":{"entity-type":"item","numeric-id":193718,"id":"Q193718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102274$0D56BC6E-A826-49B6-9534-5F19B1305B21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102274$0BA6E38F-B943-4784-8702-1DDD82CE2208","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":"Q1102274$50DE5235-52DD-4C86-BBDC-B05DDA3403DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc2024cd97a6ff6d39d6136ea5444fd5dda3d9c1","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636945","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102274$0F0D0E25-5D63-47E1-8B67-E38A0C2452E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6d7f219afabf2e531cc00f528cf0b14c3ac888c","datavalue":{"value":"W1985619909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102274$5DBD06D0-ECD5-4E37-9519-9876D893B162","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95cb46016176650083c5daf05b0b4e32bdd8c50e","datavalue":{"value":"10.1305/NDJFL/1093636945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102274$2828BE9F-AAF6-406D-A554-B67FF249E60D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1deeb5f8d6ae13b4009d4800d3e8ed3aa248c18a","datavalue":{"value":{"entity-type":"item","numeric-id":3695267,"id":"Q3695267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a2b268da9cba65ec7bc76fc0b519390a8c9934","datavalue":{"value":{"amount":"+0.7270259857177734","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":"Q1102274$E8BEEECA-34AF-4A37-A6B4-B261E22A0A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab10c6da870eb47f269513a757c6b156017640ea","datavalue":{"value":{"entity-type":"item","numeric-id":3730627,"id":"Q3730627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660802a1ba7682dd854f9d2bafd1a6bdc2c3f46c","datavalue":{"value":{"amount":"+0.6873068809509277","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":"Q1102274$9779C969-4D67-4146-97DA-5F7E562B45D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957d06555f72a1e9aef73eedb8de4f55494db9de","datavalue":{"value":{"entity-type":"item","numeric-id":719521,"id":"Q719521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a41ecb7070ff824a61be5b2239571cf165b9fc9","datavalue":{"value":{"amount":"+0.6648263335227966","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":"Q1102274$87573C51-17EB-4659-B5F9-DD1698E7ABEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7963f3534aaa0ba51125930d67f13e45d4fb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4854391,"id":"Q4854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e38d7f5844bc031c79f9c58ca2ddd45a982112e","datavalue":{"value":{"amount":"+0.6617588400840759","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":"Q1102274$E3E12BDA-A029-4038-8940-6053DDAA8E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce16c09e1831d718035fcb5bda29c450732f92cd","datavalue":{"value":{"entity-type":"item","numeric-id":4014407,"id":"Q4014407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4832d8688c0d02867492263295e9dc3ce3e6c2","datavalue":{"value":{"amount":"+0.6617586612701416","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":"Q1102274$DECC56EA-7DEA-4A48-8970-124A1C1FFF5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1102274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1102274"}}}}}