{"entities":{"Q4385672":{"pageid":6415271,"ns":120,"title":"Item:Q4385672","lastrevid":89807225,"modified":"2026-06-04T18:19:10Z","type":"item","id":"Q4385672","labels":{"en":{"language":"en","value":"N\u00e9gation constructive et axiomatique interne"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1143041"}},"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":"Q4385672$BBEA839C-73EC-4419-8C23-DBB1632776FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e5089a9a625c9fa281a40c099ecf9627589d784","datavalue":{"value":{"text":"N\u00e9gation constructive et axiomatique interne","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4385672$285C8A73-5708-4A24-A8DE-E3039FFD5196","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd5b126923db040477bfd0a02e2dbc2dd7530433","datavalue":{"value":"0893.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385672$D72CCDF4-60B7-4279-8D1D-3F3009FB6787","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385672$72AAAAE9-0B6C-4FE6-A810-203B571519B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fa0fec9b6972e0aceb387683cf418851ba7bbbf","datavalue":{"value":{"time":"+1998-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4385672$C8A8DD25-ED1C-458D-B964-793480569118","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39725dfeec6ba32404c087bb7d7840cd18a5eaa5","datavalue":{"value":"https://eudml.org/doc/92569","type":"string"},"datatype":"url"},"type":"statement","id":"Q4385672$EFE035F9-09B8-4ADF-91B2-1330172D8E54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385672$B362896F-9DD3-44FB-AF94-A81C694ED332","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20207fd1fff8624f21a03ecbe43e16ba7fc30be4","datavalue":{"value":"1143041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385672$4BF54368-25F2-4EBB-8313-A75750D07185","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385672$E18F9412-62E2-4A99-B0B3-60551556BF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385672$E6F6934A-DA61-4171-BB31-C18CEC4D5B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5b55ea952e220113f989e9e2ddffc0a527cad0","datavalue":{"value":"bivalued semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385672$F0B8349F-7BB4-4435-BE4D-AE21DD556DE6","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":"Q4385672$41E7E064-FB62-4BAF-8DB3-AE9C4FAF6525","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce9e6e6df793c8946c31cc5287da7a72e4de0794","datavalue":{"value":"W2485821868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385672$E924A0A5-4A9D-44BA-BB6E-82EA7E6F861D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385672$DBEF746F-C112-48B6-8FFC-AAEBC5F3114D","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":"Q4385672$E52C19EA-DABC-4DC8-AFEB-FB2057088427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385672$A48D4AAD-A4FB-4210-BF2E-B26A0E4CCDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2433e68677fdbdd8c49c482851fb149d47552ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3798220,"id":"Q3798220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385672$B2471616-D77E-4357-A8FB-9ADC9A51C29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b36e4febcd796add46708903929a61db8ea92ff","datavalue":{"value":{"entity-type":"item","numeric-id":3129497,"id":"Q3129497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385672$D2326C6A-0983-4FC0-BFFD-746A739A0BC0","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":"Q4385672$F9CC26D1-6B62-4EA5-AFAB-4749C71A82F3","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":"Q4385672$23668B3D-4564-42F2-9E02-BA83FF53BA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7053e5534c727066c39912fd121976b47d43f3","datavalue":{"value":{"entity-type":"item","numeric-id":1190477,"id":"Q1190477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385672$02DBAB20-1350-4AF5-ACE3-B88C3BC0C293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385672$0FF7DF68-2482-4083-B370-EC188E592E3A","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":"Q4385672$73A13318-FD06-4E12-A71B-DEF08FFC3F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385672$99401AB0-111B-4FE5-83A4-98390606919F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d213d3e725b061ae9022907a01beb0261f3733f1","datavalue":{"value":"10.1051/ITA/1997310504111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385672$2E576DD5-F768-45E2-989E-AE44E838C8B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1015d696a52355d9a4b2f2ae3e366c9246e17780","datavalue":{"value":{"entity-type":"item","numeric-id":4353609,"id":"Q4353609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be20522583782dc95f90851653194e1140a6f53","datavalue":{"value":{"amount":"+0.846534013748169","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":"Q4385672$F2E1E279-0AB7-4424-9232-68B5E87D8E1F","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":"9ad4c4e556a3385fb6e31f275d99b1037aac8b7e","datavalue":{"value":{"amount":"+0.8138584494590759","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":"Q4385672$A2E2ABDE-EA3D-4933-8DA2-D55014B82131","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":"3f4eb74ce9b9cb5f85142ddf1abdd49054b830bd","datavalue":{"value":{"amount":"+0.8097211122512817","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":"Q4385672$26327FD3-66FD-438C-BD7E-2460107D12CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9def22e18c8bed70bb21e11596b82cbb301f27d5","datavalue":{"value":{"entity-type":"item","numeric-id":3128617,"id":"Q3128617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01fb17c6ff0878738097375c341808b8f047c0e","datavalue":{"value":{"amount":"+0.7855037450790405","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":"Q4385672$A7B13DF1-E3D5-4A6A-9E3A-B01627EB2BCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"N\u00e9gation constructive et axiomatique interne","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/N%C3%A9gation_constructive_et_axiomatique_interne"}}}}}