{"entities":{"Q3449232":{"pageid":5197725,"ns":120,"title":"Item:Q3449232","lastrevid":58184079,"modified":"2026-04-04T03:44:47Z","type":"item","id":"Q3449232","labels":{"en":{"language":"en","value":"ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504256"}},"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":"Q3449232$7E99893D-2E71-41B8-8F5A-633A04D07299","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4907dbbf6f63b7f0df00f831ca2c5595d80c7ed5","datavalue":{"value":{"text":"ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449232$DA05B05E-8A5A-484E-9696-64A09EB2A1B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20afc29a5abcb2c61d8e79fac082d4ca58761db6","datavalue":{"value":"1470.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449232$820E9012-DE15-4AF1-8D9A-C9B28A9DF127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c78cca2fc4ca3f78625bc8f116aa95bd0aa31f5","datavalue":{"value":"10.1007/978-3-319-23264-5_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449232$786B75E5-3E57-4103-A1FA-56C6E4A9E383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62be5a32c0c8abc650c470c31ddeb43937fe8106","datavalue":{"value":{"entity-type":"item","numeric-id":821567,"id":"Q821567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$F4B787B5-ACC0-4AA7-B1E1-5FEADD9212ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ae4c94cd56baece5fdd3cfabf70fc6b5a0b65ff","datavalue":{"value":{"entity-type":"item","numeric-id":893595,"id":"Q893595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$AF21575C-FF2B-4530-8075-7A8B9F3739FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8f9f83d8a6571c6291f78e65df8ae6c29d0ef47","datavalue":{"value":{"entity-type":"item","numeric-id":3039004,"id":"Q3039004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$B8C72C02-B47E-4A09-B62A-E2E415A119F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$2852872C-06FA-43F1-BBBD-FEAB64F2CEF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-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":"Q3449232$A6B6626A-325A-42C7-B3B7-8867F246F57F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cee6361182b435b0a70af83963d5f07de869edc1","datavalue":{"value":"https://arxiv.org/abs/1506.04929","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449232$03B55651-A8FE-44C8-B9F7-10834236786E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449232$FA9BF781-FF0E-4D50-8BFA-1D78D2CB2FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449232$66323FC1-3D28-4543-85D6-D05EC4B22159","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dfefd895e640ed028a065211fae0f9076cd1b0a","datavalue":{"value":"6504256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449232$768BDF6B-201D-43F2-A94E-7B2DE85D3EDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58fe0f555997b76e932724ed0a627cdcb30a2c0f","datavalue":{"value":"nonmonotonic spatial reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449232$A316DC99-8266-4BC6-8E6C-938792EC15A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7471599d778af5c8a5742fa1b2ed8d50b5c6c072","datavalue":{"value":"answer set programming modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449232$6EF8F037-C080-46F1-8D87-7A155E185BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1aa8c949a8dc1e5d6e9ee5603fd01dabf86fedb","datavalue":{"value":"declarative spatial reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449232$67D97248-ABA7-4883-AFCD-DBE1F0D962BB","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":"Q3449232$2AD2D13C-2A31-404C-811E-106EA3FFDBC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"944fb17dfc326fea9c9f38fb1ef418298e3edffe","datavalue":{"value":"W2194834917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449232$3043708B-60EB-4310-BB0D-FBCBF3C88B28","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fca23194045c48bc52489cd42529c68f968c5c66","datavalue":{"value":"Q62623659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449232$6AD77152-F74B-46A9-9EAB-8A1BC6AFAAE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$835FB156-F59D-4380-9A78-5E6B8FECCB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ee40358cafd1a533d59e313d22cd69fea6be5a","datavalue":{"value":{"entity-type":"item","numeric-id":2938519,"id":"Q2938519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$22AF13F0-3CF6-4964-9BE9-CEFB73BCE980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3100f0c06368802ceae8a62896396ee08f6704a7","datavalue":{"value":{"entity-type":"item","numeric-id":1969735,"id":"Q1969735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$2E249522-AAEB-4723-9E16-8688A1363ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$5D81B845-D7F0-4C98-9B01-C12799E41A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$2A0A964D-EBC8-4EFF-BB9A-34B62A9B5FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$DF978A0C-8D46-4E54-961B-4FC99FEE980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d90812f0c64f2fb3c4094aa4690ce287ad7ae21","datavalue":{"value":{"entity-type":"item","numeric-id":5283015,"id":"Q5283015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$A6B3FACD-5B22-41D8-9207-EE7F50283BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3c200ac6951577bb9a28c468967d7084f79222","datavalue":{"value":{"entity-type":"item","numeric-id":1284708,"id":"Q1284708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$CD64BDF6-456F-4637-B7CF-915810BFA309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1200f7b6bb484548514f8a30fb5d1caf968a01fb","datavalue":{"value":{"entity-type":"item","numeric-id":5283041,"id":"Q5283041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$C8C6CBFF-3D7B-477C-8085-1310E7545E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22d3a1bb14bba47966248687e04ef3b2a1d543c","datavalue":{"value":{"entity-type":"item","numeric-id":4332082,"id":"Q4332082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449232$97E7FF89-7E84-4339-9D1E-80A62A103073","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243da6d5f82bdf4e2ab84eb2e7506ee29be46a24","datavalue":{"value":{"entity-type":"item","numeric-id":4593084,"id":"Q4593084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304b99df8687ad9abc911d86ba3ab826d2a92422","datavalue":{"value":{"amount":"+0.94563746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3449232$A54B4EE7-DE1D-418A-B53D-E1D5BAB2732C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571763263d47f87ad8de962ef8a5125c85df69e5","datavalue":{"value":{"entity-type":"item","numeric-id":5240208,"id":"Q5240208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8d70b678c26c7216daf0ad5972642ed3ff0abc","datavalue":{"value":{"amount":"+0.89605325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3449232$16A61360-1B7F-40A8-9107-4DD15F8A0F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f750c41c39954b7954b95e48c7ca0229a70f8073","datavalue":{"value":{"entity-type":"item","numeric-id":4559799,"id":"Q4559799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22526bdf83b69d3679d698ea3eeeb53c173a6a1f","datavalue":{"value":{"amount":"+0.8714283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3449232$7C0CEF9A-6F35-4C22-A92F-8E478AB9B990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586b25016990f1b3bb95e556eda5cfe890b0e3d7","datavalue":{"value":{"entity-type":"item","numeric-id":4798023,"id":"Q4798023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a118dfcdf9de33096118ab91ae745387751b24","datavalue":{"value":{"amount":"+0.8516135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3449232$61F7D00B-7E0C-4129-8946-967F68F1CC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb993b3f9eb633ce5db47bd16404bfd7441bfbf","datavalue":{"value":{"entity-type":"item","numeric-id":1617813,"id":"Q1617813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61082d7bf0817a4760b2812b8ae4a49ef0f908c","datavalue":{"value":{"amount":"+0.84100384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3449232$39FCD8A4-E70C-4F1F-BA11-7187B7424B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b81be23b3c0500fb6430d8ea059a4a63586b477","datavalue":{"value":{"entity-type":"item","numeric-id":4494326,"id":"Q4494326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e5f57f55789cc936d1b8465cf49832b61f8b31","datavalue":{"value":{"amount":"+0.8390549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3449232$432E74D0-881B-4C94-AA1E-B921D981FD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15d76219f75efc7ac837eea87e0f63bed4ff61c","datavalue":{"value":{"entity-type":"item","numeric-id":5140023,"id":"Q5140023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c6a09b6bdd1ede15eb4c5abcc39e58d0ec3fd8","datavalue":{"value":{"amount":"+0.8387946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3449232$13B75C8B-340C-40B7-985A-900F8389D82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8203c0409b932a02625699ab06605126ac2a1aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4877439,"id":"Q4877439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e179428239e240afa54c83a1fbadbd1e1d403e","datavalue":{"value":{"amount":"+0.8379586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3449232$2FA8BF7E-E43B-4839-A63D-E0D25F892A0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449232"}}}}}