{"entities":{"Q294756":{"pageid":296523,"ns":120,"title":"Item:Q294756","lastrevid":42161592,"modified":"2025-05-26T18:47:11Z","type":"item","id":"Q294756","labels":{"en":{"language":"en","value":"A necessary condition for constructive negation in constraint logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594089"}},"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":"Q294756$1B202A93-F4BC-4406-A96A-DE9F94F99B2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"842f8e1ee499fc15eee25279b55c445748559bbd","datavalue":{"value":{"text":"A necessary condition for constructive negation in constraint logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294756$E0763F35-8278-430D-BE44-94822F6794C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5700cd19ad7e4deb310fb0f933692f037fc57ec1","datavalue":{"value":"1339.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294756$775C4A05-36F2-4EAA-8858-B113E1B6694E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea0fbe9c150e80e52b6250b7ee7ef2c03da9697e","datavalue":{"value":"10.1016/S0020-0190(00)00046-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294756$ECE3E9B5-CE9F-4D17-A614-9917B8C3C893","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ee95eed4ca024e7da7af55e9d7b99b24c7e015","datavalue":{"value":{"entity-type":"item","numeric-id":206864,"id":"Q206864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$4CAC1EB1-FBDF-422A-89EE-07469D7BDD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4721b9bf7d65faf5816017392281660320d608","datavalue":{"value":{"entity-type":"item","numeric-id":206866,"id":"Q206866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$D3F0497F-AD27-410F-8901-0D5564C739C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51981e552a27139a0fa909d29b61875f9cf710ae","datavalue":{"value":{"entity-type":"item","numeric-id":206865,"id":"Q206865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$A25334A0-B5DA-4E7F-9988-BB34F0B65B1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$0A857856-920F-45F1-81A9-A7A835BB7E1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294756$23294806-2A58-48A1-A47C-EDE077428EC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0370d9c1a170ae499717478e32a6820636a9023c","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019000000466?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q294756$D56C8D03-863C-4028-836C-5B91E30B45F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294756$89C80194-0FDA-4F2D-997F-278ECE0FF8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294756$A7F33276-64E9-4968-82C4-5037B70FDCB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96cd52f24c69c3ac30b64496350240ab4d68582b","datavalue":{"value":"6594089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294756$42734D84-5F8A-4C68-9325-7F1E844F5BB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q294756$6B76A309-874F-4F92-8F6F-C7FB5B955976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q294756$0BDA4662-3EE7-4620-89AE-2A5937718314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q294756$A60BE18F-16F2-4498-9EFA-C870F9473A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q294756$BD04D674-70DF-4B58-ACAA-6BD62393302D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q294756$D5DFBD7A-4E93-40A1-AE05-CB1CADACDEFA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99e9bedf3e0b3dac8f9946fa1a228f91ff968a8b","datavalue":{"value":"Q57840355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294756$DEE9FE4D-79A5-495A-B822-9D56ADAFFB9B","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":"Q294756$388BED26-DF01-470C-9864-F5BFF42849C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$89600F32-1592-4CBF-A82B-B975A1CB26FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f93041fe6d7db6318dfbd457c9a855fed097172","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$DF3494BD-8570-4655-8808-CB6D4EB77143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b09f58c2305df0b2d6f3b3a6465ec3e5b5904","datavalue":{"value":{"entity-type":"item","numeric-id":3129506,"id":"Q3129506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$125852FB-2F84-4AD7-B33A-AFFDDA18B64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19d5cb35637603e39b67c3244d051ad6468bb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4264105,"id":"Q4264105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$479543D2-27C6-49E5-9780-40C199474D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e18bf50a96e97b3f28bd440dbf1fd833aa8290","datavalue":{"value":{"entity-type":"item","numeric-id":1346220,"id":"Q1346220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$29DD6B9D-77E6-45D8-B538-47A9219CDB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1122bb326851b5a3f1cd4b2ba87fe55baea7e18e","datavalue":{"value":{"entity-type":"item","numeric-id":4352538,"id":"Q4352538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$C9308616-783A-4836-BADA-65EFCAED684E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$AFE9583C-37C1-4358-ABD3-C84B06550DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$3E0A1CD4-305C-4102-90E4-CB79661D3607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$BD60154A-0C63-4190-9F97-53ADD92CD598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8166349a97bdd65a3d266da8a53b328b2cf60d6","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$62147738-25EB-4FE9-B3D0-A6EAF9DAD87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf7913480d86f9fd8801a27bed001e38d91d767","datavalue":{"value":{"entity-type":"item","numeric-id":1891129,"id":"Q1891129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$8B3C6E1B-A6C7-421A-A8BD-FDD3A70E2C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd0212a136f8b9704dbdcce773c4c291f76e4bb","datavalue":{"value":{"entity-type":"item","numeric-id":5567863,"id":"Q5567863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294756$4A1B458B-162D-4B66-BF96-519F8872171D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c4a93c147ad62ed5e16f492c5d7d25e9fe06204d","datavalue":{"value":"journals/ipl/DovierPR00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294756$0E3D21EE-B10A-41CD-98B2-682C6769E260","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae912e07ec1dce4746c8a3f5b29a82d0d28b9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4954441,"id":"Q4954441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5b70ff251f6764d2c0448384803ab278514c28","datavalue":{"value":{"amount":"+0.94079095","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":"Q294756$31FCC2D0-E69E-4309-84B2-30BA43A35207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43484d755525f5f4f487ce7eaa88960dd1ae1cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1891129,"id":"Q1891129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c3c7b7bc9e3b2b5a18e783cad5049d53a646fb","datavalue":{"value":{"amount":"+0.9161553","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":"Q294756$9CE5FF5B-7510-4FB9-83EF-200FC53EF4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c9d5fae27610edbd3338b8db69c8af38c52b33","datavalue":{"value":{"entity-type":"item","numeric-id":5945160,"id":"Q5945160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff31148228d186c60d8fd9410caf2b79914e9bee","datavalue":{"value":{"amount":"+0.915316","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":"Q294756$8B535ACC-90D5-4DB9-AB9F-B4B5CE1452B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc59ee566a00980cd051d24d8e5012344c0530b","datavalue":{"value":{"entity-type":"item","numeric-id":1006496,"id":"Q1006496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0540fcfd1b4a117bfc6170cf5a0e9d58450aa869","datavalue":{"value":{"amount":"+0.895218","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":"Q294756$78240A4F-71F6-4B21-8E23-126F4FC929D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98feae1d06fd8c743d43434738fc6e44687bf403","datavalue":{"value":{"entity-type":"item","numeric-id":4244294,"id":"Q4244294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf4a93d768eb19a517f58148f5d024a800664f5","datavalue":{"value":{"amount":"+0.89120173","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":"Q294756$72B3E7BE-E848-42A3-993F-F402573E7A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430aa38f416eb4fbbd0c7833e18fd1b22eab47c5","datavalue":{"value":{"entity-type":"item","numeric-id":4955338,"id":"Q4955338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efcb2d1f571b3b0e6fe504487dbb724683dd86b5","datavalue":{"value":{"amount":"+0.8909271","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":"Q294756$9A027763-ACA5-49A4-9DE5-2676877262D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efadb4da9f0f0c5a1c6e5955e609ca8d213f4cc","datavalue":{"value":{"entity-type":"item","numeric-id":2782487,"id":"Q2782487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8137868bad1ad5bcf9dda1ae9e61fa320ef4cffb","datavalue":{"value":{"amount":"+0.88060945","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":"Q294756$147C8D86-6AD5-4D28-8BB4-78C12108121A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3787ad3478bad3924ad5df77a1e67d01cc536ffb","datavalue":{"value":{"entity-type":"item","numeric-id":3558289,"id":"Q3558289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e381c7e5121b1ddc456cdc81835a1201fcd6d78b","datavalue":{"value":{"amount":"+0.87804574","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":"Q294756$AC943D4D-F548-468D-BA1A-A5A97F688798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a9384d301adb94b0448b78e947fe4261d45d08","datavalue":{"value":{"entity-type":"item","numeric-id":4283249,"id":"Q4283249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f893a8de3139d1abea33caa2ff4f38f9b02e2c78","datavalue":{"value":{"amount":"+0.87770444","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":"Q294756$19766B9E-5A81-4AA6-A2B5-6807E5320796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be13f8f54e6cdd49feb173cc54dd59a7a8a3f429","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca871890986ce4e5da56dfc79ba6343ae1e24332","datavalue":{"value":{"amount":"+0.8762405","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":"Q294756$8CC5B150-F423-452D-B46B-7BF20EF65A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:294756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:294756"}}}}}