{"entities":{"Q5213562":{"pageid":7243132,"ns":120,"title":"Item:Q5213562","lastrevid":100576532,"modified":"2026-06-05T22:29:11Z","type":"item","id":"Q5213562","labels":{"en":{"language":"en","value":"Lindstr\u00f6m's theorem for positive logics, a topological view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162250"}},"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":"Q5213562$60625507-908F-48BF-8435-F3050FC9F2A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbcb14df608451b6c23329e004e3f9d72205bb1f","datavalue":{"value":{"text":"Lindstr\u00f6m\u2019s Theorem for Positive Logics, a Topological View","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213562$E9C3E675-E480-41C6-B03B-A11B538C9C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7e9f2b549143228cce26424b5173f8baa9e6f45","datavalue":{"value":"1429.03147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213562$1F5F35AC-6038-4674-9678-0DC4655F5E46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"920380062aec61699e55bf8a425343a0f06b4445","datavalue":{"value":"10.1515/9781614516873.73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213562$A05DCC37-735E-4F1D-BD75-71C9FCE0584E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba5fea770f53a4430e6cf9e42db7e9527e8313a","datavalue":{"value":{"entity-type":"item","numeric-id":810006,"id":"Q810006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213562$062493CC-CB5B-495B-B234-6146FB5A505D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1dbeb32005c6d8e84d6b5861d5307238ea6ff950","datavalue":{"value":{"entity-type":"item","numeric-id":5213557,"id":"Q5213557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213562$62822809-2952-4908-A8A9-866F6025F207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75a771ae7772d5e2895e882aec1633da543f974b","datavalue":{"value":{"time":"+2020-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213562$DECE4939-FEEE-4718-93A4-40AFDBFC13B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8af5a0cafb636ba94b96e554dd2d7e9356d36f5","datavalue":{"value":"https://semanticscholar.org/paper/77ca469a108a397d18e51d9b86365cf6f7c4bb0b","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213562$C1248E17-8834-4C76-A8B6-47B0F957DEDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213562$D76E03CC-4023-4D72-9262-088938CD3119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213562$203CACF2-7C4C-498F-A63C-CB42CD0D52E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213562$512DF4AB-1ECD-4A94-801F-8B1085324C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213562$9A62F12A-DB44-401B-924F-7119F93A995E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47a1ecf9cb2b35b409981a734a1a6e68c1f054c2","datavalue":{"value":"7162250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213562$3EABA38F-0288-46D6-993E-AC24E549119F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213562$F2CC00C2-1189-4B6E-BD59-4597D9CC14BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f592d59b3a927a7566cc486c0b3462e9ed5d77","datavalue":{"value":"negationless logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213562$1B0A584C-5D0B-45A2-B797-EF540486003A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25aaac0d950b335c8baa4bd34eed6ead185b8d1b","datavalue":{"value":"elementary topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213562$1F32E1E1-A2FB-42DA-9A25-83C96C7E6F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c800cb71152ead4bdf659364485230a44eaa100","datavalue":{"value":"imperfect information logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213562$3D73F1E3-CBA5-4FF3-8F61-6568E46C362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213562$EC7DA6F7-F9FD-43CF-B902-B7C6823A7444","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":"Q5213562$1EB7C8F4-63BF-4831-A044-B31AAE24A8AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b928857eb027fddd241a4200b01825acb3827b83","datavalue":{"value":"W2404630115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213562$A97F74F1-5EEA-4E6C-A591-658305C32AD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7ace6ef47736e664be252f70d8dfa0657e1407","datavalue":{"value":{"entity-type":"item","numeric-id":3708788,"id":"Q3708788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e031242daddf4020ca27845b1eb779b0edaa107","datavalue":{"value":{"amount":"+0.7847669124603271","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":"Q5213562$B9662860-EDF3-4C88-A6BC-B4CD2F8D8D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ad72170239f1ccabd67dbbe5e305e3a3d21d48","datavalue":{"value":{"amount":"+0.7705227732658386","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":"Q5213562$76FC8530-DECB-4B3C-97C8-0E159DBEC839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26f0a47c617f80ffa2962c71cd89f6a54794908","datavalue":{"value":{"entity-type":"item","numeric-id":5416159,"id":"Q5416159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a556e9f211146feb76c84ecb89a6036fecb0867e","datavalue":{"value":{"amount":"+0.7577852606773376","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":"Q5213562$D6D6072A-85E0-4579-A0D4-27BA455095DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"198ff9a90c8b1903f6c41dbba5534db86e314309","datavalue":{"value":{"entity-type":"item","numeric-id":2879888,"id":"Q2879888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a749f342f2db06bd1c634ac7c036f7117ba67f0","datavalue":{"value":{"amount":"+0.7522818446159363","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":"Q5213562$ECE8E16D-12AC-4536-9CFB-75AFA4BC1F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e947bc4f6efd1c0bc3f1ef70a8ca3af135df9098","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e6000ca22e61fc949eb90d3ccf66aaa39a6528","datavalue":{"value":{"amount":"+0.7519072890281677","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":"Q5213562$151E50FC-54ED-43F8-9E88-B873FD0A2064","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lindstr\u00f6m's theorem for positive logics, a topological view","badges":[]}}}}}