{"entities":{"Q839831":{"pageid":841679,"ns":120,"title":"Item:Q839831","lastrevid":64731045,"modified":"2026-04-11T21:51:05Z","type":"item","id":"Q839831","labels":{"en":{"language":"en","value":"Implementing constructive intensional negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601666"}},"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":"Q839831$2B024C8A-7D97-4BB4-918C-ED958FDA0F9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6f00c59912b4dabde0abf1a4b335cfb706e4f1d","datavalue":{"value":{"text":"Implementing constructive intensional negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q839831$21C6F333-1A40-43AC-A182-F3F363C8FEEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5159035fd6ce7558da715f3020215c480979dc45","datavalue":{"value":"1191.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839831$F82CE1FC-4E6B-42F4-8ED7-4E0CAFC6B1E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d454d038fa029b1f9a5f25ea0d9c8bbb1e2e08f2","datavalue":{"value":{"entity-type":"item","numeric-id":511022,"id":"Q511022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$5190BACE-261C-4A31-9222-FEDA72E9F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d76d605d3ef7bb9dafefb7d516526d4be12b65ab","datavalue":{"value":{"entity-type":"item","numeric-id":839829,"id":"Q839829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$3DFE983A-AEA1-46F9-9AEB-016B6991508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b316bc18a1e9fec02a6e4e372d7de29417e17a9","datavalue":{"value":{"entity-type":"item","numeric-id":839830,"id":"Q839830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$D98F7D91-55AE-4F62-BB17-E5C2849A61C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$E1F8B2C0-864D-4BDE-8B5F-0F30AEAEF442","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba55de1898b5b7ed159e3b67fd658ad04a96431f","datavalue":{"value":{"time":"+2009-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q839831$DBC23C93-6AAA-447D-833E-34420AE009D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839831$1ADE3933-A68A-4C7D-BC7E-24C1D5ED9A5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"919b6d38382e14964c02522be94c67d6b7b60e8c","datavalue":{"value":"5601666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839831$2AED67CB-AEF0-49D4-8307-9B4BD03009A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q839831$5FE32F7E-54D6-4853-9AE8-6BF00BD12298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78bb778eb7b5b885bd1252295c92a0e9bcefc31","datavalue":{"value":"intensional negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q839831$B9807451-DBFF-4510-ACDD-2A58DD5F1FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q839831$F5ADC8A9-19EB-4541-8C7D-DA29A249BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q839831$EE62BB43-165A-4A4F-84AB-88A7BCF26DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3582bad3c3d653b5e5451151de2fa9b322c2dacd","datavalue":{"value":"logic programming implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q839831$C040D04E-F536-42C2-A9E0-21AACD8E1BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q839831$91464954-B3DB-4A5C-A0B6-0A4C23C89EA4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$C9D9C590-EF75-4B8A-A5CF-0FAEEC663BCA","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":"Q839831$ECC961C8-2213-4B23-91DD-433A76383E34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcba744b98497fae62e107ceeff6358bdebbbbe3","datavalue":{"value":"https://doi.org/10.1007/s00354-008-0053-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q839831$7A20E362-8EBD-4362-B18C-87F872C9AF64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"406bddc1f4d904b3407163aa425a5c582d7c2c0e","datavalue":{"value":"W2094537655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839831$DF60A48F-313A-4917-8F42-AC6C77FA1AA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f7099d080f4773b398e16a174ba14d42cd55b6","datavalue":{"value":{"entity-type":"item","numeric-id":3773305,"id":"Q3773305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$6C3A4DC5-16F0-4DA4-8AA4-A068C494BB05","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":"Q839831$0ADCE9A4-CB66-4183-8C47-20B2436DD938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd36074c392243e287c4c41aeb16f40c44dc2fcb","datavalue":{"value":{"entity-type":"item","numeric-id":4954441,"id":"Q4954441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$738761B4-83AC-4B0E-B47F-257D5262F9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af12b2a25c802d79ff03addb43e68aaaa01e1af6","datavalue":{"value":{"entity-type":"item","numeric-id":1898466,"id":"Q1898466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$4C8DB6C1-5D07-44F3-9954-5095D7A4194E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587a3b16895251f7c4dae8e4d9240c7bd470d81e","datavalue":{"value":{"entity-type":"item","numeric-id":294756,"id":"Q294756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$8BD0AEE3-8044-44CC-801C-BD1BCB28DCF5","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":"Q839831$46C5F7AF-DE81-4720-B7CB-D3B07D78740F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$634CD496-BE22-4C9C-9EE8-273095501614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0500b1f20fcdf72f00e1b86949bf6be01ecf3384","datavalue":{"value":{"entity-type":"item","numeric-id":4844168,"id":"Q4844168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$761FFC48-DEAE-4097-A0F5-F78D4CE7DFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$FF02881D-2792-41C5-9EE0-4199B3C2C7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02db5ceb3485184e6ceb45a3a98d419a7bd49313","datavalue":{"value":{"entity-type":"item","numeric-id":4035222,"id":"Q4035222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$0F99D987-CB30-4E61-A4EE-EFEE72D329A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$04F0AEBC-77F3-42E8-9890-8D5DC9B838B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882586094bf67719b29b0204a50895b9aced6a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5313191,"id":"Q5313191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$3322748B-A264-4C8A-BE56-533AE4873B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500a9f90a3a6693d560f0fac99d53a6c18adb1da","datavalue":{"value":{"entity-type":"item","numeric-id":2996186,"id":"Q2996186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$FBC1957E-6801-48DF-B1B5-D6818479A717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3adc90fef87a23305c86a1aeb0b2a45db9d6bd8e","datavalue":{"value":{"entity-type":"item","numeric-id":3727351,"id":"Q3727351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$B7346D25-77CC-4BED-A842-94283C3C5599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29952e6d73ce2eba4a577f9905a2b718fd373a81","datavalue":{"value":{"entity-type":"item","numeric-id":908686,"id":"Q908686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839831$DDF18151-A217-441E-925E-0EAFBAFE9D59","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":"Q839831$6082AD33-8472-46EE-B299-19837EBC5372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d6fc6f38899d78bd59dc5e9d059fa443c79d025","datavalue":{"value":"10.1007/S00354-008-0053-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839831$E331A248-8501-455C-871E-4380A5CCFD10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa18c8c1eca89fae46551d2c1a737f6912fcc10","datavalue":{"value":{"entity-type":"item","numeric-id":5308011,"id":"Q5308011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a63ca57d4c3399aceb02873e5fd020fb61473c","datavalue":{"value":{"amount":"+0.9861459136009216","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":"Q839831$304FD988-5B92-4CF7-B250-3AE7847A7895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f51ccdf4cb08ad419d000448381c0f16cd8f00a","datavalue":{"value":{"entity-type":"item","numeric-id":3773305,"id":"Q3773305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0127b9c5a01bb9b57c7ba4b613fe587ab46a547","datavalue":{"value":{"amount":"+0.8473806977272034","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":"Q839831$ACF44196-B490-4377-90AB-70ADADA512B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a30d431625be3de3e4fc06e7aa6395585118376","datavalue":{"value":{"entity-type":"item","numeric-id":5313191,"id":"Q5313191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f5c5c6cb0b74e1b2f70c81c5a9269c9d774c97","datavalue":{"value":{"amount":"+0.811561107635498","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":"Q839831$D193C9CD-6341-456A-98BC-2A4658481DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9f37167b4734c102eb32e707d6687b869182ee","datavalue":{"value":{"entity-type":"item","numeric-id":4982631,"id":"Q4982631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ba5f06de902b6dc68a94f4d31b2c0aac2e4758","datavalue":{"value":{"amount":"+0.7996551394462585","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":"Q839831$5089E0D6-F895-4D82-ADBD-19B658997F1C","rank":"normal"},{"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":"da57821ffc09b936a04bd51115129119f5985d45","datavalue":{"value":{"amount":"+0.7969409823417664","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":"Q839831$B4A78F67-444B-4EB1-876F-F07105D27B69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementing constructive intensional negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementing_constructive_intensional_negation"}}}}}