{"entities":{"Q4982128":{"pageid":7011706,"ns":120,"title":"Item:Q4982128","lastrevid":52231628,"modified":"2026-01-21T05:20:13Z","type":"item","id":"Q4982128","labels":{"en":{"language":"en","value":"Experiments in theorem proving for topological hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418748"}},"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":"Q4982128$82B9D3DD-0602-4EA9-A4E4-9C69AA1F5CF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e451925cd58af50e7fdc34e76c45545a139b5003","datavalue":{"value":{"text":"Experiments in Theorem Proving for Topological Hybrid Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982128$99409C26-AF87-48BD-9EBF-FE8CB7F7A0E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a13b00503942f70a06ece9409f5a61afc4af78e","datavalue":{"value":"1347.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982128$E3A17FF5-4F5D-477C-8914-0FDBC254072B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f9242d494eadd42e3f7c308d85ad93a78e084b","datavalue":{"value":{"entity-type":"item","numeric-id":683510,"id":"Q683510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$1036CDA3-62D3-4DD2-80ED-530F38136012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"638e2ac70d5044188b1987de50ad7ca50ead4492","datavalue":{"value":{"entity-type":"item","numeric-id":631085,"id":"Q631085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$0E3EF6A3-4907-4AA1-BDCD-A106A0B5C1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$7B2F2928-87DA-4F0C-B642-31CFA64DB5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$57731427-637C-44AB-954D-9410E3DFB774","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$491AEE84-4BC4-49C5-8053-FA3A56371739","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982128$1173A3A2-4D5A-413A-A0E8-D11871580B95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982128$B16647C5-5C48-4CE0-A772-8CE05D26C413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982128$9642AF18-83A4-4AF8-93B7-932D3C511905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982128$CE1A4FD1-CE17-4FAE-B5CE-0FD355C63BF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47ee5c613e9cd7306d1b2d1e481bb35bf29341c4","datavalue":{"value":"6418748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982128$30116634-5EBF-4777-89A7-45C8F57710F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982128$E96F170F-C1F1-464B-BFD0-35947D5A87FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982128$015F60D2-581C-4592-A781-BEEA9F186457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982128$7EB3C5AC-2CC1-4168-AE88-907E4E6E0ED9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$78FB64C2-5895-42BA-AC63-574D35320733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8aa5e3607f194cc9e2a2385bcc561c907f66374","datavalue":{"value":{"entity-type":"item","numeric-id":24355,"id":"Q24355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$C14380FD-872F-477F-9416-ACDA886D5F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"395e4892cfa767e7f1592afaab820b01ee7c3c54","datavalue":{"value":{"entity-type":"item","numeric-id":25576,"id":"Q25576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$5F6FFCE5-7608-41EB-9ECF-845E0009BE9B","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":"Q4982128$C7EB85EB-5BBD-4E41-928E-62DDDCF74CAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a76e099183ada1e2710436d1c71517664775c00","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982128$82746D2C-EA4F-401F-BC1E-4BB8CB14A6C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"484f40df1db6c17d317d565c121c0e31a3559cf3","datavalue":{"value":"W2169523408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982128$BE023955-8DD4-467F-85EF-A9AF856A56C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$F4538498-85F6-45F1-BD2C-1DB21718775A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f679be7e862c11d0f8c9c30d7bdfa2a2fb7096c","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$A07B01FD-2586-4174-B393-89C949FC466A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$24F80330-AB42-4DEF-BB8D-BF8132DE6130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$8E269D2F-DB22-4DF7-B11E-BD1EF4B20DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$D0316397-8F88-438C-896E-9E65B2F3EBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff7479832debc812e199177fca23405586d366c","datavalue":{"value":{"entity-type":"item","numeric-id":794634,"id":"Q794634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982128$AA64100C-66EA-40EC-AE80-1EB0483DC730","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"361d6f2880a1f49ffcfb56f585e9bd95b681ece0","datavalue":{"value":"10.1016/J.ENTCS.2009.02.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982128$6EE9222E-0657-4F8F-ADF2-A56DFA78B488","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73981feac23e1b43f27f9ea749301212daedc8ec","datavalue":{"value":{"entity-type":"item","numeric-id":2867949,"id":"Q2867949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce21e990bd0f101566c02cb8909adcf9424dd78","datavalue":{"value":{"amount":"+0.7764232754707336","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":"Q4982128$7B3AC6E1-A02C-47CF-A3AF-5D9ED10070ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39a09ad3bd4c619e67d27830ba14b8b1d1e6ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5747765,"id":"Q5747765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58b9ee2f051252c9ae444df55467ed01c639d3a","datavalue":{"value":{"amount":"+0.7614341974258423","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":"Q4982128$F38A8379-2447-42CA-98C0-C6D9BED793DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b855b548d820628efe820e3158792bd90eebb55d","datavalue":{"value":{"amount":"+0.7316849231719971","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":"Q4982128$A3C057D0-0CD4-40CD-8C7D-701C3965EC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61aa1c04b92d30cf289036687c3ffa7d1be9b17a","datavalue":{"value":{"entity-type":"item","numeric-id":5312979,"id":"Q5312979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2084b322b33f96bf2104f1afe1d514d1f6db02c","datavalue":{"value":{"amount":"+0.7236709594726562","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":"Q4982128$B5FF1B8A-CB1E-4F72-A797-BAA9E5E2F320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c9a6e5455a6bfb19136894762a784b379e733b","datavalue":{"value":{"entity-type":"item","numeric-id":4982111,"id":"Q4982111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef5d4fa002af2e99a88647bd0091313d4b930ea","datavalue":{"value":{"amount":"+0.7198877930641174","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":"Q4982128$1742F67A-9620-4CB6-86CB-ECF1B48F1152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982128"}}}}}