{"entities":{"Q2822664":{"pageid":2833402,"ns":120,"title":"Item:Q2822664","lastrevid":79425899,"modified":"2026-05-06T13:52:48Z","type":"item","id":"Q2822664","labels":{"en":{"language":"en","value":"Spatial logic and spatial model checking for closure spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6632413"}},"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":"Q2822664$55D736E0-1F1B-40AB-8872-E3EBEF931257","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"972f251fa2c2d5e8abfd54b366fa1d6568841723","datavalue":{"value":{"text":"Spatial Logic and Spatial Model Checking for Closure Spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2822664$AE4C8C9A-6D2B-4EEC-889D-BC6DFC621811","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"966779bfc12bea1a3cc8d79293ba3abaf94084d9","datavalue":{"value":"1346.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822664$18DBE305-1F8C-4AA9-AA13-20CA192AC2E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b882f07a11cabed6ffe6e7a6567c437d2027c47","datavalue":{"value":"10.1007/978-3-319-34096-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822664$832622D9-5E19-4734-99B5-500BED9CF519","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":"Q2822664$3FA5AE73-5AD2-462B-A2F8-381F8E1CD554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$B3CFF747-E6F3-4964-A120-78EEF8716D04","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":"Q2822664$AA37D1D9-4D3C-49A8-BA44-0439819531E6","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":"Q2822664$8FE9C93C-2BC0-4869-A6A3-C4B245027DB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b23f9e4a88016c70ed6337b3582a256ce64c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2822662,"id":"Q2822662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$5CA57A64-EB84-4FC2-8B03-43AEFF4AE45C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf1c632a13fb193d96766568ea7ae341fda2b26b","datavalue":{"value":{"time":"+2016-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2822664$F23A4F6F-FB1B-4027-A257-8770F524ECA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822664$0CDECFBF-5FC7-478C-9D6B-B2D7BEE5D9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822664$D710D9BA-6794-4C14-98C6-0A9CD5304668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822664$0D129537-0D07-400B-91B5-C664CF102272","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d4d2d0e65ca97d339be0eb9a35261524b499203","datavalue":{"value":"6632413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822664$C7160E2C-C7E9-46AE-9E85-A249897B6C1E","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":"Q2822664$977DD545-60A8-4AD0-95E2-00316A302A2C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"14bb72a1e67b92475fc65f937122230ffb27e2b8","datavalue":{"value":"Q124438978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822664$BD7CC897-EC8C-4BC2-9FEB-C3D09F7666B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9feebcc339e0a17a943f1579d5c8938b6bee4347","datavalue":{"value":"https://doi.org/10.1007/978-3-319-34096-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2822664$705E0D0E-7774-4839-9F5D-C6583352F093","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"971cffade5981474193ec30896e206086fef5c77","datavalue":{"value":"W2473841607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822664$E19C63F9-8FEA-461B-90BD-AC525E6760E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$5D889377-DDD4-47A9-8771-FE7F90A9721C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$8543F39B-B997-4384-A86A-1101CF315A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589c340747955fdce87947ff5d43715615956ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2348023,"id":"Q2348023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$1E310EA4-14C0-40A0-9B2D-BBEA3DCB5F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$498B6A67-1B9F-4F41-B0E7-7B74F1FCB77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2060abe92010ffda51ed785397f7babde4a1d20","datavalue":{"value":{"entity-type":"item","numeric-id":2346412,"id":"Q2346412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$7230B22C-559D-41CB-8694-32DF19EE4338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$DE45535F-58F6-419F-92A4-4AACBBB74012","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":"Q2822664$BF7DF909-FA2E-4D3F-A7CD-5D8D791A5C0D","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":"Q2822664$C4B63A87-2229-44CA-9279-79C412CE72A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab204c44a5327f3e76b9929371111d54f30958","datavalue":{"value":{"entity-type":"item","numeric-id":995465,"id":"Q995465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$C91647CC-2B52-4ED5-9825-1EBCE85B20CA","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":"Q2822664$A48871DF-8CB8-4FE8-BC1D-3D0BEA319A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075aef123e914ffa4ca172c6bf161c17d1e17998","datavalue":{"value":{"entity-type":"item","numeric-id":3625520,"id":"Q3625520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$95272882-483E-44D3-A446-43090C6B6664","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":"Q2822664$D5BB63ED-2EDE-44E3-8B0F-29C985E9A0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$B0F0EBDB-1D0D-4F05-8472-522A0D62DE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$3FDA89EA-BD43-49A5-A3A0-5D0136AEE2F6","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":"Q2822664$AAD17DF8-D7FC-45D3-9499-2BC6B0E44089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18b26a2989af62d1921916e0f68cad96ddce2d4","datavalue":{"value":{"entity-type":"item","numeric-id":4609898,"id":"Q4609898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822664$369B4269-2394-4F5E-AE90-DB922980954F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a67d6607cd4dbc90bb5104aeac112cbcf7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2974786,"id":"Q2974786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14bf950b3c3e2339505e9de230fa2b069d14d82","datavalue":{"value":{"amount":"+0.9627439975738524","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":"Q2822664$B0A58D0C-BC24-49FC-8AFE-500B04BA15C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c38d97287f4adb5862816fab2d5fcec4d11eec1","datavalue":{"value":{"entity-type":"item","numeric-id":3190163,"id":"Q3190163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f160a921553e16f455f703b311748ccd39c6e45e","datavalue":{"value":{"amount":"+0.8499863743782043","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":"Q2822664$2EBA6C57-8C7A-45CB-8139-9515803EA115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c55f5788b7bba3c5c76c6fdc172ec51d0e08cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4988650,"id":"Q4988650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c25724a9cc90a84ac3981048b7e35f043db6af","datavalue":{"value":{"amount":"+0.8301531076431274","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":"Q2822664$D4AB06BF-B8D6-4423-9A58-4A431E5322B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e53f9d4330d326d050bce7117ad7b00c4d9cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3525160,"id":"Q3525160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16f3804932e8a2724bc5feb3eea23b2239c02ad","datavalue":{"value":{"amount":"+0.751405656337738","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":"Q2822664$E306879D-19DF-45AF-A170-953EED00219D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2664259b2728cf52b479cfd5c30e34a40f4fa96","datavalue":{"value":{"entity-type":"item","numeric-id":3557848,"id":"Q3557848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d621b73d33aef5d676f0f67b659c532e4730d0","datavalue":{"value":{"amount":"+0.7415593266487122","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":"Q2822664$8E2D5B52-5DA7-4C30-BF17-4CD3D752617D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spatial logic and spatial model checking for closure spaces","badges":[]}}}}}