{"entities":{"Q6163883":{"pageid":13298764,"ns":120,"title":"Item:Q6163883","lastrevid":55470445,"modified":"2026-02-17T17:10:07Z","type":"item","id":"Q6163883","labels":{"en":{"language":"en","value":"Back-and-forth in space: on logics and bisimilarity in closure spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719259"}},"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":"Q6163883$9215867F-CE52-453A-80D9-617AF2E93B9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"578c4515e2ed3439bffcd863bf336e024323f1da","datavalue":{"value":{"text":"Back-and-forth in space: on logics and bisimilarity in closure spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6163883$440D45B7-0926-48A3-9381-D91D3440BC4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f446e6d2e4367062273508d5f85601bc007fed48","datavalue":{"value":"1524.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163883$9A824E85-2755-4907-BE9E-1E48346C0AA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8f5c8cb85d55c830990bc80dc84d22f52d39f6d","datavalue":{"value":"10.1007/978-3-031-15629-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163883$262D22AA-5464-4CB6-AB13-2675E6C21690","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c719f266f63852b3636f681da867f560f1d4b7f9","datavalue":{"value":{"entity-type":"item","numeric-id":618164,"id":"Q618164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$67ABFF71-456B-4BA0-A35F-FE6306DE09FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$3FBF5133-663B-4C8F-93A4-A9DD1DACF2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$D0DEE360-B174-4384-81E4-67B9F9E70CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$49711D1C-8E1A-4C6E-AC8E-62239B2110C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$6189D4FA-22A9-4775-A2F2-85371AC8EB57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a737b362c9cc4a7577c7886e9ed43c21a3fff2e","datavalue":{"value":{"time":"+2023-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6163883$E041C021-10F8-428C-B738-56487B74FC25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163883$08B25C7E-9236-4364-B473-EBCA0852479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163883$83DD2C3E-B33C-4927-8CBA-26CA7506BCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163883$84386070-2D58-4D92-9311-DB51202B0D81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"243d9200c067b7997088f62d682daf8e1ca40cef","datavalue":{"value":"7719259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163883$32ACA9BB-7344-4C0B-8A48-590262A47F15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f3f1361ad12e503d7aca38ab82d35e58cb8c835","datavalue":{"value":"closure spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163883$51042612-A60D-4A5A-A047-C4F301275CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a54c2dc7ff65f4f1d2073ebda294b7250df7d0","datavalue":{"value":"topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163883$8F9B4091-2004-4DA5-83B0-FF3903E39B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6164b90708edc61301ab03da8984823759888e","datavalue":{"value":"spatial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163883$070B7FA6-0E53-444B-87E2-5336F9CC28AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c3c21c763c35b6d3c03dc5aaae57184c56775d","datavalue":{"value":"spatial bisimilarities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163883$313451C6-5202-43FB-974D-5B0B43ABC6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f158729c7f992ff153b64aca54eb60b313dc98a8","datavalue":{"value":"stuttering equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163883$10816C76-F9FB-4860-B618-3766C903D5F5","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":"Q6163883$98CCD84A-88A0-4E5C-873B-3CEF29B3CB14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"939576fa4baba7af912d55cdb594b42425be95b7","datavalue":{"value":{"entity-type":"item","numeric-id":5737964,"id":"Q5737964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$19862299-5216-42B6-A574-1AAB965B7CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6566ab4fb1df39d158cf9a3a6537808f84408e","datavalue":{"value":{"entity-type":"item","numeric-id":5060193,"id":"Q5060193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$7951FCA8-94CC-4774-8E50-AF701D8F4C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$8D7B14B3-F580-4A18-B4D7-7EDC75CFFA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$E34AAFAB-2E76-41C6-9517-C8DD96FDFF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abb670ad6ea653e7075710cc9b506cfdb0fed98","datavalue":{"value":{"entity-type":"item","numeric-id":4988650,"id":"Q4988650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$C6FF0459-DC2B-40D3-8653-2AD3EC477B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26425304b741acae078366158885d112acb78a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3190163,"id":"Q3190163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$5BAABC0C-D8BF-4990-9CAC-261358A2F474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2315527516e095272996440c091bc300336658f","datavalue":{"value":{"entity-type":"item","numeric-id":2974786,"id":"Q2974786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$44E06A02-8688-46FC-B6FC-7CA6D1A0649E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aea6891ed806471c64841b4e89688c0716cc24f","datavalue":{"value":{"entity-type":"item","numeric-id":1427776,"id":"Q1427776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$2B2E9269-D56F-418C-BF7C-B6845B5ED2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446b162a550d31227d3ef83b310ed5d95ae22225","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$2159616C-A0F1-459C-8C9D-6DADBA01AC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$FD44C581-6864-4A02-8C1A-5D3DEEC428E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1806a4e1e094d242703987b711c729e4fdafa005","datavalue":{"value":{"entity-type":"item","numeric-id":3523110,"id":"Q3523110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$A9607D42-A9CF-4E36-8955-262868511228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f849f999020cf1d93a8e36faebbdd52a72fca4","datavalue":{"value":{"entity-type":"item","numeric-id":2988938,"id":"Q2988938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$589D46C5-BB5E-4329-A3E7-CE259A408392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e65813dc960d5a2c1ded419c7e25332dd2cc0a","datavalue":{"value":{"entity-type":"item","numeric-id":1371312,"id":"Q1371312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$2C151D2F-8622-4AE0-AF33-8EEBDA7375D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754bd0c9374d81fdf73ce3b0353e5f2f4e1ef12c","datavalue":{"value":{"entity-type":"item","numeric-id":5089239,"id":"Q5089239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$3295694C-CC42-4C20-8579-350B328C1D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78b4782eddcc434e389b5d6b6533edb1c413dd9","datavalue":{"value":{"entity-type":"item","numeric-id":6135777,"id":"Q6135777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$CF4E97F4-CD94-4967-B1F3-96809DCB2437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3a5041dd94d72909960fc7018dd18b38f63298","datavalue":{"value":{"entity-type":"item","numeric-id":4553288,"id":"Q4553288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$03834DC5-8B53-4802-87B2-F57395EF983A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d0acaaaaeb58d4d8e5cf6e1bdba8e1cfaaecd1","datavalue":{"value":{"entity-type":"item","numeric-id":5516652,"id":"Q5516652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163883$7108479D-84CE-488F-A5D4-980A9B345B45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe1f87260f4871dc55149206a19a6c13a988e0b","datavalue":{"value":{"entity-type":"item","numeric-id":6535467,"id":"Q6535467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba04c26adc8ee8243e228ee2ebe79b46cf31140","datavalue":{"value":{"amount":"+0.7900446057319641","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":"Q6163883$6C293670-86D2-4D17-8EA8-2CFBB54942F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e547c2b5c7681d460d751ac3bcb87797b5bc3984","datavalue":{"value":{"entity-type":"item","numeric-id":4943548,"id":"Q4943548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20f23eb29dc84cafd376e5b7bc68f484c1270b7","datavalue":{"value":{"amount":"+0.7591490745544434","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":"Q6163883$66C489E6-A212-48EB-8AEE-1759E672C0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e23dca24ac9d324db69d4988f2894b1bac9aca","datavalue":{"value":{"entity-type":"item","numeric-id":5060193,"id":"Q5060193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509cb82ccde84cdaaf012033824f03af07dd46d4","datavalue":{"value":{"amount":"+0.7431821823120117","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":"Q6163883$079CAF67-7AEC-4FE3-878C-D5F5CC2E4189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb7e553b211e00b282fb47faf9e791a64a83c0f0","datavalue":{"value":{"amount":"+0.7423195838928223","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":"Q6163883$556008D3-AF34-4FC8-BF49-9D6B47422203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62d6a14472ad155cfe2ba9742eae908fbd22a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4612432,"id":"Q4612432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abee16d097c3dd683cec303e45f07ae4b1c83b0","datavalue":{"value":{"amount":"+0.7414587140083313","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":"Q6163883$4602BAF4-34E2-454F-BB4C-944E175E8740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6163883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6163883"}}}}}