{"entities":{"Q2177583":{"pageid":2188326,"ns":120,"title":"Item:Q2177583","lastrevid":43644450,"modified":"2025-11-04T10:28:15Z","type":"item","id":"Q2177583","labels":{"en":{"language":"en","value":"Knowledge of uncertain worlds: programming with logical constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197409"}},"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":"Q2177583$DFF0E6E6-B4FA-4CF3-BE82-F15A6440E9B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8beda435aa55d499c2ea4c80009e11db7009ff12","datavalue":{"value":{"text":"Knowledge of uncertain worlds: programming with logical constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177583$1A1B5E74-2B06-415C-BB54-7C5B2B39C9A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71f8f275972c78902c148fdb953edcd4215968bd","datavalue":{"value":"10.1007/978-3-030-36755-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177583$65163DB2-DB47-42CA-88D6-C19CF8892C5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37aa7b49232af847f60c0e647a97771f753e1c9","datavalue":{"value":{"entity-type":"item","numeric-id":216151,"id":"Q216151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177583$00222A94-476C-4A19-9FCE-61948737EA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da61283bc619ce05497e026ce692668aa52c393","datavalue":{"value":{"entity-type":"item","numeric-id":216152,"id":"Q216152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177583$A0507317-86E9-4082-8DD4-BA1B42ECA958","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177583$121531F4-E03A-4365-804B-387AE76969C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96ceb010eb70b7e37ece97fc16e12d300338d901","datavalue":{"value":"https://arxiv.org/abs/1910.10346","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177583$90EEEF02-49EB-4738-9CE5-2CF1A67385B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177583$4C4223EC-9D52-4FC8-A95E-C58E3B9419AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177583$FE55F08B-091C-4966-A908-7F124D3757BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30380b4b8edc77b39c5012e24bdf7b744e8eb71c","datavalue":{"value":"7197409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177583$D76EF0A2-158F-48AC-8903-3147DCA0D876","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177583$11931529-022D-4008-B4C0-38B1D8407A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19053a355f67eec810abc63258f59fb809720582","datavalue":{"value":"unrestricted negation and quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177583$20A472B5-791E-4E6D-975C-0D519B90048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceaed1e35f571c0fa44546cde61ab2946d6597a6","datavalue":{"value":"meta-constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177583$9E83B8AD-13C4-4CC8-8DBC-42B28C52FB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180e6c7e4c013c2ae5533ffd646800d7f5b15f99","datavalue":{"value":"founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177583$D5A982D2-5A4A-424B-96BF-CBBA7A777F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b546a34943fa99da0d00ad1e95a9c9e106703207","datavalue":{"value":"constraint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177583$2FA42C67-4FD4-4EDC-98A1-1387A59EB502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2b0f1caad572347f06d0db4c787cd47539a132a","datavalue":{"value":"knowledge unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177583$F22A330B-28A9-435E-91F1-69D0DEB2DBD5","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":"Q2177583$C7594E8E-F090-40ED-8144-3D78B8C78A58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a03de542a97be760dbf3b35f9152ea24674c2033","datavalue":{"value":"W2995445566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177583$E436BE77-D574-40A2-9350-43FC673F53D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7f3d43ffe07a1df026a302600a115b8a4edc6b","datavalue":{"value":{"entity-type":"item","numeric-id":5028316,"id":"Q5028316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q2177583$8F0E901D-4163-461A-9049-69B9D1D0CCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cc5cfdd80fad54dbcb915000491a8d0724fcfd","datavalue":{"value":{"entity-type":"item","numeric-id":5191498,"id":"Q5191498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db12c2147bed8dd9b026838baa24fe1c77d14db","datavalue":{"value":{"amount":"+0.8831341","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":"Q2177583$9C2A6CF1-FA2B-4277-AA87-7E68C3AC40C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6733565b8dc6f718e8ead4ae63732f6533b26a63","datavalue":{"value":{"entity-type":"item","numeric-id":3114490,"id":"Q3114490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38b4402713a7f3b0ab4098411cf59b8b4e0752c","datavalue":{"value":{"amount":"+0.8815623","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":"Q2177583$39D79D8C-B4CD-42B3-8E54-CB82947D8CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c62f04ffe5ca238d1d3bd71e4ff0a5ff3cc3b05","datavalue":{"value":{"entity-type":"item","numeric-id":3814770,"id":"Q3814770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f43ab41fa8faf50967c21e3d3d35403fc259a9","datavalue":{"value":{"amount":"+0.8767272","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":"Q2177583$E29BAB31-D10D-469A-A455-FB914C0CFA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac867cbb958401b0105fc53636395830e80a451b","datavalue":{"value":{"entity-type":"item","numeric-id":1328417,"id":"Q1328417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6640912672e15ab605f4f7fb86f0bf06ec10bb","datavalue":{"value":{"amount":"+0.87422353","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":"Q2177583$4154F293-213E-430B-A427-78D3EE00059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed2073334563ff15ef8c0bdf9d11922747dd594","datavalue":{"value":{"entity-type":"item","numeric-id":2566297,"id":"Q2566297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f398786e1abfd8e5a69e460b9560d3b276f6743","datavalue":{"value":{"amount":"+0.8680039","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":"Q2177583$10DABD2D-29D9-4137-BEE1-FC0B3C009FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52247182c361ac1a2c8b9d26fae27c2847e7ec6d","datavalue":{"value":{"entity-type":"item","numeric-id":1382424,"id":"Q1382424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840ad5985b53656b2bf0ed7064354db66d90c36c","datavalue":{"value":{"amount":"+0.8671781","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":"Q2177583$D5085C24-5BA4-43A5-863A-2D932C2D09D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eba99c50c1dda95163631fddeb3ec3335aec3a","datavalue":{"value":{"entity-type":"item","numeric-id":4234973,"id":"Q4234973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa7ecd2211da3fc71848cc6cef3b593f091b6b9","datavalue":{"value":{"amount":"+0.8668159","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":"Q2177583$36C077B5-B151-4BEE-AE96-07594FFCD491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4062d10f2f1813a6e5b9eed4d7a4f34c19cb2140","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d19e4b8c5b9879227bec79a9c81121907fbf9eb","datavalue":{"value":{"amount":"+0.8645019","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":"Q2177583$CCE01209-B8F5-4E86-9C56-941988C936F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177583"}}}}}