{"entities":{"Q1786563":{"pageid":1797305,"ns":120,"title":"Item:Q1786563","lastrevid":72954861,"modified":"2026-04-14T09:00:08Z","type":"item","id":"Q1786563","labels":{"en":{"language":"en","value":"Characterizing right inverses for spatial constraint systems with applications to modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6942950"}},"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":"Q1786563$7C77E7DD-0795-4ABD-A049-351953FE79D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d2476183a10152c05fcfae997e2df27fef013b4","datavalue":{"value":{"text":"Characterizing right inverses for spatial constraint systems with applications to modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1786563$556D3B14-3DC1-454A-A14D-F5560F92DBE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c1543d033d53357ba1a03f4be8417ba65b44c18","datavalue":{"value":"1400.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786563$6DA08394-C2D2-46C2-B395-2377E008371D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddb2f76810a0f5596c1e24da75e2406c033bcf1e","datavalue":{"value":{"entity-type":"item","numeric-id":347365,"id":"Q347365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$238419EC-DAFD-44EB-B2E2-1E0434EF5E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4051b2567c695f7f8a30202ccc538d55f9383f11","datavalue":{"value":{"entity-type":"item","numeric-id":347366,"id":"Q347366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$79328A36-2E1E-41D6-AA3D-CF72DA35F649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"955d121ef1e65adb5c21b330efd8a085cd4a50fb","datavalue":{"value":{"entity-type":"item","numeric-id":347367,"id":"Q347367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$5E164656-B7B3-48E1-B9D6-21CDCBD8CE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6552c38bdcd2bfd20689e17111e3542e5653c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":347364,"id":"Q347364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$81D8F3A5-46F2-489F-ABFC-4E21A7BD3A60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$66A6DF7A-8C09-4093-99EA-80036206F72D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ed40e224e7b432b4f548a0bdc7aa3f47cf4ebf6","datavalue":{"value":{"time":"+2018-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1786563$7CA69B13-2F8A-4B05-9FC7-85F6832D70E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de73a30679b63a718bdc2560db3f0e676ac5110d","datavalue":{"value":"https://hal.inria.fr/hal-01675010/file/final-tcs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1786563$334F405C-A0E2-49E7-BCE1-36CCB108905A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786563$5167E626-833A-4A37-8B75-83E852A1172B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786563$123A0FB9-553C-4957-9FD7-21371E9B9E79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9a6a1a298e7bf3668c0410bb605a1370159f33d","datavalue":{"value":"6942950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786563$4E56BD17-CC29-42E0-B1C6-FA467249F248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49097a6a646d9605427866b5a7b7d49dd8318e87","datavalue":{"value":"constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786563$791AA350-4CF7-468C-86AE-554EA25B8177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d065d0bb21e03ad0fae41e182b54467e1268adf","datavalue":{"value":"concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786563$BAAB194C-7515-4ABA-B48C-D2CA5DC1714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786563$6F512733-72D4-4FFF-BD20-2EFD35DD97E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786563$FDA834A5-628E-4466-BDB0-666166D8A80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4377be732a8e3089067b1cb92a96b250108919c","datavalue":{"value":"inverse operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786563$A3668F24-323C-4BD5-8D7A-34C864A46093","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":"Q1786563$46F0C28F-6F8E-4DE5-989F-F06ED01B652C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39e345826bbd716fbe9b55473dc04f89f2cf6584","datavalue":{"value":"W2782263806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786563$A2CE4BEA-EC4D-4F6D-8582-94876BBE0C5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6cde7067c089c08b93b59c8290ccb4c375bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":2914378,"id":"Q2914378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$0803EC25-D46E-4A1B-A526-A2D2E9CF0617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98252c3c8bfd426068fb5d970e565df498f1ebfc","datavalue":{"value":{"entity-type":"item","numeric-id":671989,"id":"Q671989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$34549281-E686-485C-9147-94A2850DB306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0075cc4f82c18d864dcb2bee65932bb039b961c8","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$9512CD57-A3EE-4C90-92DE-6F3C38073209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a13008b5d98c76dc23f0ab56b8f3f3fea73d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4264203,"id":"Q4264203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$B7D4D442-64D9-4F75-8512-47818336E87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfe83606eec07fec39e27fe716dfbbb447faaac","datavalue":{"value":{"entity-type":"item","numeric-id":3150207,"id":"Q3150207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$25C518AB-7B48-41C3-9325-5C2F1F6C4526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c303769c93de867084cf6f828db3ca78e852da7","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$C569F371-9F7E-45E7-86B4-A0E03F62AF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10145b27abe44a573e8b47bc6f0305e8117c9832","datavalue":{"value":{"entity-type":"item","numeric-id":1357671,"id":"Q1357671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$4755541D-2E55-49C4-A70B-A730FC981302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518db32b25cfb49d3696033b68d54d34df2ee63f","datavalue":{"value":{"entity-type":"item","numeric-id":4965863,"id":"Q4965863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$CB28007E-FB12-4EF9-AD36-EF3E2DFB944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$DAF57074-D82C-45A5-9F67-A93F39FF1A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$A126C306-8143-4658-99E1-298D13FAAABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c970a502c8d77a07e62134e2a8a323cf4e646f","datavalue":{"value":{"entity-type":"item","numeric-id":4716293,"id":"Q4716293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$A4279F37-1CBB-49F7-A8A1-0EBB8DE68F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697e187d4976a6971615f5ffa657d147ee0bcf66","datavalue":{"value":{"entity-type":"item","numeric-id":3179402,"id":"Q3179402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$DE031B34-9F91-4826-AC38-7FB034421B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045223ede038f3500314ddb5d670a99fcdb54591","datavalue":{"value":{"entity-type":"item","numeric-id":347368,"id":"Q347368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$ACE365BB-D029-40CB-9328-A54477F12CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$917DE265-D591-4131-85BD-4106E56B880C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc206fd4e16922094daaa9db9bde5618c2863d4","datavalue":{"value":{"entity-type":"item","numeric-id":3000605,"id":"Q3000605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$5CE0E851-78E5-4751-B2F4-73D5DAC3E112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$E241AC70-2D1B-4A3A-A218-530060A971B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$3979E71C-25BF-4D5C-85F5-52FCD18C8FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e410b0342196b9a57a99e10bf61b541b0263c2","datavalue":{"value":{"entity-type":"item","numeric-id":1151916,"id":"Q1151916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$DEFFC666-F44F-4203-BCC9-CEF891C71631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$395EBE2E-9479-4D2E-9661-A65A2E4FD162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb64f2ceea325c2bf88a3bd5b7cdadb2f1e0fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3358716,"id":"Q3358716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$54B9FE8F-DA49-4157-A15F-85D9539C8CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$7AB00561-70D2-4762-9B5B-2A6A2B93C673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786563$0ECCE1F0-07AC-4C20-9744-2E57A0AF9F54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2abd059b2f7709676aaf5a208a9a7bd3ce1d6e43","datavalue":{"value":"10.1016/J.TCS.2018.05.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786563$6732F500-A3DA-46C3-A1CB-5BA89D3601E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b251862e32eea1baa580289e45f1af2c885b8dff","datavalue":{"value":{"entity-type":"item","numeric-id":3179402,"id":"Q3179402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2628e14e6327333456597855f2ec6908bd860b","datavalue":{"value":{"amount":"+0.9422937035560608","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":"Q1786563$97B2D7E7-DE86-4739-843C-B4D33D49A1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9247bb625063ff58eedf39f5ce2116d0fbfae748","datavalue":{"value":{"entity-type":"item","numeric-id":5240218,"id":"Q5240218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47615ed4f52eddd2cf49b6dc826df43e57a30847","datavalue":{"value":{"amount":"+0.7114895582199097","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":"Q1786563$AB4680C2-95E3-4935-9060-A7253DE03674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9c6583af7fe8df66a4e92daf0212373b3efd29","datavalue":{"value":{"entity-type":"item","numeric-id":1370458,"id":"Q1370458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09462f76325c723e0d937b77d2850997c12f80a","datavalue":{"value":{"amount":"+0.706903874874115","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":"Q1786563$AACE72EF-215F-4007-8A7A-3C8FBD1DB461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7f2a5b8283e576a7d039c2c342c1b8480137d9","datavalue":{"value":{"entity-type":"item","numeric-id":2914378,"id":"Q2914378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9502a625f7b6f674a6c87c38995db8949026cf99","datavalue":{"value":{"amount":"+0.6847594380378723","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":"Q1786563$50A97A32-D8DA-47AD-AEE1-F212EEAE3639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d245440d6e7b24402aaf872d7e44f524f66bc750","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753bb4abf03e27f98b129acd063993de0ad7918f","datavalue":{"value":{"amount":"+0.6770042777061462","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":"Q1786563$692C4D2A-4F1C-4214-8E37-666ACB4BE824","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing right inverses for spatial constraint systems with applications to modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_right_inverses_for_spatial_constraint_systems_with_applications_to_modal_logic"}}}}}