{"entities":{"Q4313220":{"pageid":6342821,"ns":120,"title":"Item:Q4313220","lastrevid":89328011,"modified":"2026-06-04T16:59:54Z","type":"item","id":"Q4313220","labels":{"en":{"language":"en","value":"Decision algorithms for elementary topology I. Topological syllogistics with set and map constructs, connectedness, and cardinality comparison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 687739"}},"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":"Q4313220$CE72687E-F75C-40F0-9520-0C091A21D2B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b227a2a1f1b4b5b15ce4c0176bd95b7ac73da7","datavalue":{"value":{"text":"Decision algorithms for elementary topology I. Topological syllogistics with set and map constructs, connectedness, and cardinality comparison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4313220$7406661A-B9FB-4341-AD76-C8DCBE1DD657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7397b1e069c852b33e24eaf022275adb59a7ecae","datavalue":{"value":"0811.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$176303A0-C1F4-4D45-BF21-346CEE1DD7CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4313220$7DABE32F-3891-4476-B8E5-22BE485BC946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"548ec68fe7f46b4562359ce5165d8a1d37d9ac8a","datavalue":{"value":{"entity-type":"item","numeric-id":1267513,"id":"Q1267513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4313220$5479FCD0-042A-42CB-A518-1A5757028E62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c22ab6e6540355a2ab561fe85469410018fab286","datavalue":{"value":{"entity-type":"item","numeric-id":2710688,"id":"Q2710688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4313220$301A753A-5633-4554-B899-B7995B3FB4E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2bc1742a0cee560f6787e361c4fa83ea283bfc8","datavalue":{"value":{"time":"+1995-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4313220$3D28C87D-4C9A-4068-B379-3568A342E3A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$9E8D0664-028E-4737-B8B8-9D65FCB10DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1011955a46b5f2847e00ed237667143679c7764b","datavalue":{"value":"54A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$7F8589BB-36B8-4CDC-B9CC-1C6FC569FB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$4D180E22-0030-4111-9585-032C13976606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$1F5EFD75-137C-4CA2-948A-80F461D8CFCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de2ec7b37f683c5d4f932c46215bf4146c7e8ed","datavalue":{"value":"687739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$922498BA-86CF-446F-BDB2-C5CB1C401AB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd5218f990da4e96944b45ee0d50449fd410f17","datavalue":{"value":"two-level multisorted language with function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4313220$69D7D7F9-41A7-4768-BF71-49D5484BD18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1f8609b2b539d4d83f7e7643468b3bd8c19314","datavalue":{"value":"topological satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4313220$245E0653-BEF1-4C20-B0B6-CDA6D751CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b67295494d38cfdf88aa8ad0d64ea068d200867","datavalue":{"value":"topological model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4313220$B6ABD66E-CCC4-4D83-B76E-8AE38C0D68AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a54c2dc7ff65f4f1d2073ebda294b7250df7d0","datavalue":{"value":"topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4313220$950FD218-B0F9-42BB-949F-B969B1C29859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32387adfdd4d3c29b3196ada49c5ab1f987211c","datavalue":{"value":"Boolean operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4313220$9A955EE8-FE83-4EF2-8A3B-EAD6C9B9D3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2574607f5618aa465c7e3f8d63b8a46226b13a4b","datavalue":{"value":"Kuratowski closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4313220$5C19148F-008F-4B5D-A984-F6F6EFF635E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4313220$AD5B2780-FE53-4CD3-AFD9-1E11C41A84D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4313220$15347222-F3FD-4CC6-8F2E-82DCFD398220","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":"Q4313220$25AD4026-EDA5-4ED0-A7C1-7BB4E732C279","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f24d1009410efffd1702f15ecb786fdbf9375bf9","datavalue":{"value":"https://doi.org/10.1002/cpa.3160470903","type":"string"},"datatype":"url"},"type":"statement","id":"Q4313220$C1F106E5-880E-49EE-A9E5-D80A2A65A43B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30e2f2620a4928d9aed981ea0f03b82d32a1ead4","datavalue":{"value":"W2023637935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$2A8A75D5-59B2-4FE0-9AF5-FBF17A46583E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f1dcb31080e04b02c861249cb7942ef93c5b8a9c","datavalue":{"value":"Q126265948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$E82582B6-4A42-42F4-957B-931AB542AE06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"480e0428d25242282bf253eb91f00e2626b5e8cf","datavalue":{"value":"10.1002/CPA.3160470903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4313220$F4CB38EF-E87D-4B7D-88C8-C004E784112A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf77bcba02a86a66aeac165c3d8e3b74e04480e","datavalue":{"value":{"entity-type":"item","numeric-id":3033355,"id":"Q3033355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e2ab37eb8da65fb78211973cf0b34a01875e05","datavalue":{"value":{"amount":"+0.7675337195396423","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":"Q4313220$A8AD65DE-2C55-41AB-8491-316B1BF7C9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d235ccfe836ed1230fa120bb20eda37e46c70b1","datavalue":{"value":{"entity-type":"item","numeric-id":3491017,"id":"Q3491017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991f8e7da67d47048ba00bf60c0671c88d4eeadf","datavalue":{"value":{"amount":"+0.7571917772293091","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":"Q4313220$C25C26E9-284D-4153-8959-E2AF78281460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2082ea33a720bfc88b583884f19c53742f012cf0","datavalue":{"value":{"entity-type":"item","numeric-id":2946698,"id":"Q2946698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef8c2a2b6ed6486e3a06c227b467c820db930a6","datavalue":{"value":{"amount":"+0.743293285369873","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":"Q4313220$596649B9-2539-48AB-9E7F-5BEE69CD9E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f172fa9f614d7a8a71c89b57aeec60204720e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3705420,"id":"Q3705420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87695f287049209f4e0cfd59ecce31de21464247","datavalue":{"value":{"amount":"+0.7394717335700989","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":"Q4313220$AB1B5CCC-B4CF-421D-9B1F-5CF099E9790E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30918f92f5c0e2dca845ea8374cabcc7d7e75c9f","datavalue":{"value":{"entity-type":"item","numeric-id":3647303,"id":"Q3647303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67f0bee6e9594390501a11cfbaaeb669942495e","datavalue":{"value":{"amount":"+0.7324897050857544","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":"Q4313220$62DF19A6-CA99-4F10-91EA-7671371E60A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision algorithms for elementary topology I. Topological syllogistics with set and map constructs, connectedness, and cardinality comparison","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_algorithms_for_elementary_topology_I._Topological_syllogistics_with_set_and_map_constructs,_connectedness,_and_cardinality_comparison"}}}}}