{"entities":{"Q4823801":{"pageid":6853381,"ns":120,"title":"Item:Q4823801","lastrevid":48368257,"modified":"2026-01-04T12:35:54Z","type":"item","id":"Q4823801","labels":{"en":{"language":"en","value":"The Hybrid Logic of Linear Set Spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112317"}},"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":"Q4823801$1E8F78D2-A4C8-427B-8B56-7868DCDCC84F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a80be94efc7f7870833e5009bbadff7840ebb82b","datavalue":{"value":{"text":"The Hybrid Logic of Linear Set Spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4823801$CE7BCC45-8596-4432-A881-A09AB1DFFAC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0036d7609fe6301b357f6a6f3fdc1d26198fdcf","datavalue":{"value":"1057.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823801$DDB1D1E1-E2EF-411B-A8C7-57C46CAD15BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823801$7213BBC3-1070-47C0-B736-51DD858D6F79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823801$D80E641C-DAD5-4239-AE97-FC806465D771","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823801$2BAF31E5-AE46-4083-9175-5BCD2EB5C86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823801$F9F06DE8-4204-4F1D-8CBD-C50967F50615","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6628c80a70c854516b62dc01b76a1b572880076","datavalue":{"value":"2112317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823801$D451D135-3735-4ECF-A1E0-6EE74F0ABF5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"848b475b909cb31c39d2c3429aca08a3d1414748","datavalue":{"value":"modal logic of set spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823801$8F9AEA88-002C-441E-B0C1-0CBFD186DEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823801$D730B9FE-9AA5-4A9C-B7ED-9FDEB0D5610D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823801$ACD5DD37-657A-44BC-9675-FC3917418932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823801$C7DAFEE2-4659-437E-A4E0-AF6840E28409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823801$089AF9AB-65B6-4DDF-B658-344EDF549158","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":"Q4823801$4B33C7CA-90B4-4388-A030-F41C0131532D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"373dc469527129e4ef1d61a5299650ed03bf4f4f","datavalue":{"value":"https://doi.org/10.1093/jigpal/12.3.181","type":"string"},"datatype":"url"},"type":"statement","id":"Q4823801$851618BE-13F4-4A41-BA8D-3C4D2832DEC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a37e368848d69e4d847f1be8a61f08c7a05bbea","datavalue":{"value":"W1968725440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823801$63F109DD-9A7F-401F-B95A-8340841009E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ce2f121ff026f822d4d9826425c077d96e3032a","datavalue":{"value":"10.1093/JIGPAL/12.3.181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823801$58E0B2FF-4F76-4A4D-8B9D-89C5D52F7F7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823801$BD959AD2-C435-4561-9800-BBC103ACA789","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86f98ceca3e6622b29e2b4a4cdeb9baa336995f","datavalue":{"value":{"entity-type":"item","numeric-id":1006488,"id":"Q1006488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a042097f44538ee4318d553b135d921351a430","datavalue":{"value":{"amount":"+0.8494396805763245","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":"Q4823801$919DDB00-00D2-44CF-A24F-7492BE645CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0cb1ccaca1679ccf4764e53b3482ff6e70fa7b","datavalue":{"value":{"entity-type":"item","numeric-id":965902,"id":"Q965902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5c9ea50fe25309e74005e45c6227b4655401e9","datavalue":{"value":{"amount":"+0.8107866644859314","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":"Q4823801$2A63CA37-3A17-43A5-B138-469941115362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85476dc5fbe5b0910caa0051180d744c0b7d2134","datavalue":{"value":{"entity-type":"item","numeric-id":1960421,"id":"Q1960421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfaa09b1e604935a901664a9ef70175786d65faa","datavalue":{"value":{"amount":"+0.8089519739151001","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":"Q4823801$1DBC14CD-4EBE-4D47-B778-4A890373B78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8e4f1582dc8bfe0ae52ca232974302e3f454ea","datavalue":{"value":{"entity-type":"item","numeric-id":4738569,"id":"Q4738569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a333bae5cda779b0c72c51eef07ea8ddd9d3fb","datavalue":{"value":{"amount":"+0.800154983997345","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":"Q4823801$EF34AAC8-E5C7-4595-A49E-3AF0DB38F9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b959fcf846a48577590579774108669062afef85","datavalue":{"value":{"entity-type":"item","numeric-id":2901196,"id":"Q2901196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0852d8b1bbaeac9cf3421420d6adac59253c5d","datavalue":{"value":{"amount":"+0.7922588586807251","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":"Q4823801$688DA4AA-04E8-4489-A1E5-55AF5F3769DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4823801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4823801"}}}}}