{"entities":{"Q817838":{"pageid":819686,"ns":120,"title":"Item:Q817838","lastrevid":64603746,"modified":"2026-04-11T21:00:20Z","type":"item","id":"Q817838","labels":{"en":{"language":"en","value":"Mathematics based on incremental learning -- excluded middle and inductive inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013333"}},"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":"Q817838$9B2F5D6E-37ED-4BA6-AA51-1A318954EBE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"477bbe5f3061e50744129ff79a2456e318cc478a","datavalue":{"value":{"text":"Mathematics based on incremental learning -- excluded middle and inductive inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817838$B3EDCAC5-D94C-4897-8BA0-A7169AD9A64E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74437bad41fd1034a5474faf6f8d741f0c842c30","datavalue":{"value":"1086.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817838$08402554-2506-4914-AD3B-B691DF29C8C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$D57C556A-2963-446A-8AE1-C75DC33B8425","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$BB98BBE4-4499-4B55-8A7B-E4C2543D9597","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87871fabe918b62ae0b497aecc54a3998d2fdfae","datavalue":{"value":{"time":"+2006-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817838$B1E40FB7-B299-48FF-8CBB-82755EA3D0EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817838$767C06AD-A291-4FF7-B938-58CDAB9949C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817838$D024D14B-0A6F-442F-8A8E-B62494D823B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817838$01545B11-5403-4C1C-9AAB-82A0664C3C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817838$3E4A8EA5-35A4-4A9A-93F9-CA47BBDF8652","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4904979ca6398ccd35153fad4a030dc8572bd0b3","datavalue":{"value":"5013333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817838$70E9C8C6-BC3A-4432-A041-6CB18654D770","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bca5b8f8493e57969b551637f12770d6fc436fb","datavalue":{"value":"learning theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q817838$DC4761C8-8A69-4745-A6A8-871EE81FE7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817838$9E0573A4-68B7-4492-8643-3254AC876AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22258e2447c76808d6bfe967c8aba32bb3e26ffa","datavalue":{"value":"the law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q817838$AE9AC32F-4B21-4F07-80E8-424060374229","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":"Q817838$BF5EE760-64DC-495D-88DE-2FC4E9F7700A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc42d29fc959859b354c23e04d9381501d048e13","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.10.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q817838$EBDE0B9E-26F6-4D3B-B389-3BC119694C04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87a2db2c9a7ba2c4ae5f0025efcf58584a90aabf","datavalue":{"value":"W2055924668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817838$BA634734-0294-4070-AADB-FB367ADE0108","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a76c019a5b66ba7d2fba29ec9c96b967c30ceb4","datavalue":{"value":{"entity-type":"item","numeric-id":5311725,"id":"Q5311725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$CEB54E51-03E8-41E3-9AE9-DD486B998651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50d9e47bb84b1a2282056f9c9467be48c347f65","datavalue":{"value":{"entity-type":"item","numeric-id":4699354,"id":"Q4699354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$96CDA39D-85EE-4F98-BD71-97CE120DCA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$C9D90F72-27B5-4A54-A6DE-BA84B6B4F9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698450cd78e8d736d540d6276a7dab6b0209c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":4657754,"id":"Q4657754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$FF6D8F55-9B6B-4F1A-9604-0824A2D39027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$E112A23B-4842-475E-8A12-CCB3603C4140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$7D1FFC6C-92CD-4280-A59A-FD9332AAD125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3753d4078b0e252803e0d68417e93825dc53","datavalue":{"value":{"entity-type":"item","numeric-id":5619076,"id":"Q5619076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$1FAB3D29-5B46-4058-89CA-EE23C3DF2BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401ab33857e7fb277e12b8a3b6bce01ce53020df","datavalue":{"value":{"entity-type":"item","numeric-id":4420735,"id":"Q4420735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$B67C1394-F699-44F2-8F58-6BED9ECB991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f9fcd57b22265b39d96147d463f316393b3052","datavalue":{"value":{"entity-type":"item","numeric-id":4736394,"id":"Q4736394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$8F8B83CC-D7E1-4121-A0F0-C2E09DAB82F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41896aeb60ffd71b2c2720f55e116b34b518586","datavalue":{"value":{"entity-type":"item","numeric-id":5958295,"id":"Q5958295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$9A0445B3-B739-48D8-AE3E-C6373269DAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71c41b1989a3cb589e0a8d45862475cab8eac5e","datavalue":{"value":{"entity-type":"item","numeric-id":4159363,"id":"Q4159363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$02DB2801-2B74-4E08-8A49-BBA116ADEA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$F9E7BD6F-7464-4A16-BDA7-279828AD0D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e289e1e5c0b1cef3bc14e48907db4f91b73ad50","datavalue":{"value":{"entity-type":"item","numeric-id":4903274,"id":"Q4903274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$15BFBC5C-888F-41BB-8CAC-B74BDDA5F419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$E446608B-D307-4F0C-95F9-352F1E9FB5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0afd5532278da9a5d9cf1957582e7e12c5b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2626398,"id":"Q2626398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$D0CCF180-3E19-440C-B173-2F9286611406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$9795E546-459B-4D30-ABEA-C2CE35B46F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"167d0a27c359d4ab99738dbe8f2799c08106ec00","datavalue":{"value":{"entity-type":"item","numeric-id":4247015,"id":"Q4247015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$819E085E-2A76-4E85-85B9-4A78A247C16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e7d4cbd55f8c88e5281ab6adcc4ef6a023212a","datavalue":{"value":{"entity-type":"item","numeric-id":5466549,"id":"Q5466549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$F3FC4BFB-0F8A-4734-9113-32B063971E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$DAF6CB21-3D0B-4C23-ADA4-A79AE378AD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61814df227c6a1b4510597561733a0e4b2ad60e","datavalue":{"value":{"entity-type":"item","numeric-id":3483284,"id":"Q3483284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817838$8794A059-5619-4E62-AEB2-BCE601D3C70B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e8e8c5de239c4075727c7c4e0085d2ee43e3e3e","datavalue":{"value":"10.1016/J.TCS.2005.10.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817838$CFF05B5F-7E16-4385-9C1F-92DEC1559A49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79813e6fcedff95e861133da0f4be6a1796ad387","datavalue":{"value":{"entity-type":"item","numeric-id":4420735,"id":"Q4420735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbcf4077a849d7b7a8da4898666aefe00970b019","datavalue":{"value":{"amount":"+0.9338703155517578","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":"Q817838$D524D5CA-2FC1-4B12-878B-9C90AF5C6ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46df7930d4b5dc7ab0e9b7d72e1d7ad9dd092984","datavalue":{"value":{"entity-type":"item","numeric-id":4420630,"id":"Q4420630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c50969aaed54ace923a0b45109b67c12071adca","datavalue":{"value":{"amount":"+0.9316614866256714","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":"Q817838$ECB3FBC1-A337-4262-AFB9-DD274954A79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431737494a2e8935a43b0ec380e906761bf0f78c","datavalue":{"value":{"entity-type":"item","numeric-id":1004290,"id":"Q1004290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b275b9a9cb17b3a6fda548ac2ac896a0f060939","datavalue":{"value":{"amount":"+0.930825412273407","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":"Q817838$1F26C4C5-49D3-40B0-AA95-E844CF602E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb9fe95ae2313d2d4fa1553573be070f106b348","datavalue":{"value":{"entity-type":"item","numeric-id":4736394,"id":"Q4736394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23ff411d44f54e785580617788b016591dd0d41","datavalue":{"value":{"amount":"+0.8354542851448059","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":"Q817838$53ED8215-E909-477A-A537-F9714CFD5C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3fd93d64187ca53d6800947951b8442bea684ee","datavalue":{"value":{"entity-type":"item","numeric-id":4411811,"id":"Q4411811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b980505cb16b37ac49aef6a7bff0556b84df1d1","datavalue":{"value":{"amount":"+0.7710418105125427","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":"Q817838$086AA045-4164-4133-9773-8C99261682B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematics based on incremental learning -- excluded middle and inductive inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematics_based_on_incremental_learning_--_excluded_middle_and_inductive_inference"}}}}}