{"entities":{"Q1763729":{"pageid":1774471,"ns":120,"title":"Item:Q1763729","lastrevid":74149491,"modified":"2026-04-14T18:36:31Z","type":"item","id":"Q1763729","labels":{"en":{"language":"en","value":"Elimination of spatial connectives in static spatial logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136586"}},"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":"Q1763729$8EF9DA0B-7056-42D2-A24B-3EA491E073A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b87933a11b197f2fe78ce6f8426b9a44c7311b24","datavalue":{"value":{"text":"Elimination of spatial connectives in static spatial logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763729$A16B527C-6D7C-471D-8B16-3B8FB71951B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb89e913d379bbe3a28b94091a56e2832a2e6a07","datavalue":{"value":"1078.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763729$291638EC-D885-4E8A-A4DB-A7D0A4AE7DF5","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":"Q1763729$2E0E1F1E-1F4A-4239-BA5E-802155CB3F91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763729$B4D46ABA-EA71-49D4-A35D-6FB8DA019249","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763729$DA58E1AF-41D1-40B9-A3E6-9899207203EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763729$F916AC5D-367C-4A41-9EC1-4CCDA7AE57ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763729$3124BEFB-469F-40AA-A12E-6C3918C8A189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0cb4dc1f1778a922b47e88e09ebf75c99c5933d","datavalue":{"value":"2136586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763729$3F8C31CA-9649-4ECA-A6BC-7AAD506250E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb92c830199e4d164f26dcda45b1cae391748d8c","datavalue":{"value":"Spatial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763729$D09CA9D2-04BE-4F31-9FA3-FF1B0A6F4EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f90ab6e3219f7c2eb905f8aa6c6b24325557907","datavalue":{"value":"Separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763729$A18DC35F-AB24-45ED-BB80-A50399802B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"231fd7f1cbd23bb90816ccee0ddbad1a14073b16","datavalue":{"value":"Mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763729$ED8B8FB3-961E-4BD1-9E9C-BFFAF0C07CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"348fcec67d385a2e45ab16b7adf434787377b13c","datavalue":{"value":"Minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763729$935FABE8-A349-402A-AC1F-AA11FAF35BFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$CCF4D80C-D377-4B77-AD77-78DB8990FAC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$027C6962-089B-4ED0-9E0F-0325DB0A0C94","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":"Q1763729$812A8C52-7C9E-4D2B-9238-2B1738AE91A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1415ac201d1b696efd1df26aba001d59242d8c22","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763729$4A40681E-810D-4964-BD2A-A12718DE806F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"737c564962f8056a908b19a7dc7ff264e4a7a80f","datavalue":{"value":"W2066135421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763729$C9CA7ACB-D587-48BB-99C2-45F7FE752A3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfe35b9599eb4737f70f7b21b49d7c03e204b7","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$0C24FF4B-70FB-4070-8091-9FC2103979BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4653c0f0f6a876ce0d7e16cf045025beca3f07","datavalue":{"value":{"entity-type":"item","numeric-id":5311477,"id":"Q5311477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$D8D987F9-ABFF-4960-97FD-F4DF5FF343FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$30087541-5A8C-496C-A17D-3FB4BE0ACEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543dc422b5668e3887aacfa58839071e9ea6dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4417861,"id":"Q4417861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$E672BD85-ADB6-4428-B390-A4BA59FB0EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafb20e848b55dff1b955613627b4dad19b3832","datavalue":{"value":{"entity-type":"item","numeric-id":2763663,"id":"Q2763663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$B5D10D85-FC2E-4148-BA6C-679CBDF4CE45","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":"Q1763729$F6649ABD-625A-436C-9A46-7BB65A6008CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0c813dd7e5d6c8b64e607641d3edca46e67208","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$7839FBA7-7356-4480-BEEE-388F7D4D8E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b50b46c7b2ad4740d4400217ee7695ad85aef0","datavalue":{"value":{"entity-type":"item","numeric-id":4783317,"id":"Q4783317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$60DE7CDD-56A3-4351-8908-3E7253EC7402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a45f697ea3f260023194dfa9c899f8cdd7dc5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5308445,"id":"Q5308445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$0C10A038-168E-40F2-B8F9-724CF61E4CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$D7158D0D-F65C-4E54-9F0C-7CCC24670FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763729$8BED5035-A7CD-4FAC-AB45-8E33E4378EC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e696d02da80467f3419a2d1af91d9f7e9c43484","datavalue":{"value":"10.1016/J.TCS.2004.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763729$ECC92FA4-7915-4502-BA7F-2F53F791837B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e85d566ca295c8e73c4c59f9d833b816054ce9","datavalue":{"value":{"entity-type":"item","numeric-id":2847405,"id":"Q2847405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298075aef3e14d4034b9caa25d2f9df78ad96573","datavalue":{"value":{"amount":"+0.8132348656654358","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":"Q1763729$194176BD-8BDE-4A2D-BC58-7D522119420C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93efd22709bd1edf5aaf628adbe64e85940985f7","datavalue":{"value":{"entity-type":"item","numeric-id":5465854,"id":"Q5465854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d696336f585307d716cf84dce8e6b44e87a34ea1","datavalue":{"value":{"amount":"+0.7862693667411804","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":"Q1763729$29960EB1-39C1-4136-AA25-798AF94C172E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6fedebe2f890eadbb5b6270a78903316710f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5191522,"id":"Q5191522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30121d72bc0389fd376fddd358f87f7fbfc20970","datavalue":{"value":{"amount":"+0.7857818007469177","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":"Q1763729$5BC92F09-48E7-4FF3-9E33-D041A77CF5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974959c1eb8dbaf7393c8df95f88226e428ff22e","datavalue":{"value":{"entity-type":"item","numeric-id":5311477,"id":"Q5311477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6cb4faf39697e81a53f2e85a9d5e36dd0330c6","datavalue":{"value":{"amount":"+0.7762459516525269","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":"Q1763729$A17E96F3-A680-49DE-860C-CBBAE18C584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5da84ac615e902e97534da6afd89f701f28fcfe","datavalue":{"value":{"entity-type":"item","numeric-id":2503043,"id":"Q2503043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4d0d7ef9c714b40e815ab3968e6f8c50be7970","datavalue":{"value":{"amount":"+0.7568196654319763","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":"Q1763729$9B75EFCB-413C-42A5-A83A-D15DA04CA9A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of spatial connectives in static spatial logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elimination_of_spatial_connectives_in_static_spatial_logics"}}}}}