{"entities":{"Q3305674":{"pageid":3316382,"ns":120,"title":"Item:Q3305674","lastrevid":53788382,"modified":"2026-01-25T17:37:14Z","type":"item","id":"Q3305674","labels":{"en":{"language":"en","value":"Annotated natural deduction for adaptive reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229653"}},"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":"Q3305674$A1ABD896-748B-4386-A3C0-A578CF0F3641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbcec6d215a7f2c5dd98542b27b5579578b5ddb5","datavalue":{"value":{"text":"Annotated Natural Deduction for Adaptive Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305674$E2003FBE-F9D5-44C7-BDCC-EC00A0AA43CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c30abe3e1b5ae5190ad74191ff8c6c7ab803d1ae","datavalue":{"value":"1469.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305674$1DB1A6A7-5E8B-4C07-BC5F-4C758021510B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb320d3ab5603c02f339b101cff41a9d925faadd","datavalue":{"value":"10.1007/978-3-030-25365-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305674$FFF8B29B-5721-4A2D-8274-3345F47C1033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7a6d61a37b4b546b297ff516479e55217361446","datavalue":{"value":{"entity-type":"item","numeric-id":383559,"id":"Q383559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$BABD132C-971C-4732-90F9-ABBD29FD2E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea65557eabb45fd055fd0b5947a39214a47505b","datavalue":{"value":{"entity-type":"item","numeric-id":310084,"id":"Q310084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$CA063258-B242-41BD-B81C-2776AA14A1A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$3B0ABD36-A3A6-4693-B384-D00466E15AE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6eeac9bc08017af337b002c847426cefd8e704","datavalue":{"value":{"time":"+2020-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305674$49739E13-BB81-4A53-BA22-67A098E76D06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b978592a4a187cb44b4903b9c0318ab32c45e983","datavalue":{"value":"https://eprints.mdx.ac.uk/23426/1/Annotated_Natural_Deduction_for_Adaptive_preprint.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305674$060984B4-2CF1-4F31-98C8-B3107FD9B9AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305674$7004A29F-EB5F-457C-87C7-0F48FB391BF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec6b529fd22e0fea9e879700ad6e95eca4dcf851","datavalue":{"value":"7229653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305674$7926782E-1F68-4313-8196-5E26E0140797","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305674$C7124858-FEA2-49F1-BDB5-D9080D473494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1457938b6d2b3e430ede96d78ccd0e4407a039b5","datavalue":{"value":"adaptive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305674$840DA8EA-13A8-41C8-98CD-E6F9CFBD1934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305674$489D19CE-2B26-4E44-A1B1-8DCE018A2063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90e76d26c39dcf0026018edaa432f03b86ac605","datavalue":{"value":"classical recapture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305674$6799C1C9-A606-4B7D-BB35-04DE2993CCCD","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":"Q3305674$78FBE15B-6D1B-4BDC-8D98-92AFC1BC961D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c573e4b741216f4984559cf9ade1ae410a8d067","datavalue":{"value":"W2787151127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305674$885F4889-87E5-4F2F-99E1-0119A55117CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d519e3ee7bce78338713474c0a802eb7e1771748","datavalue":{"value":{"entity-type":"item","numeric-id":1024143,"id":"Q1024143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$CB95D08E-00D0-4CF7-A3CF-C28B66D6C249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820be829bab959f19fa8e719b4e805b85fcedc4e","datavalue":{"value":{"entity-type":"item","numeric-id":3909031,"id":"Q3909031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$23A16E32-B976-4D34-8EBE-623F61BBDC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912410147c5a79ed7723053750e0c44cc1f0a714","datavalue":{"value":{"entity-type":"item","numeric-id":3470454,"id":"Q3470454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$974224C3-424B-433F-B189-21815E5CD2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461bacff76eb6ea39cba495525f0ca2bdf1c272","datavalue":{"value":{"entity-type":"item","numeric-id":1840963,"id":"Q1840963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$1694B584-6AAE-40EE-AB22-A78279BBEE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2aa2a6d69d2f3031d5d0e5e44fc79a1ff5dead","datavalue":{"value":{"entity-type":"item","numeric-id":4811768,"id":"Q4811768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$994A4812-91C3-46E0-9E21-FAD7F25E7C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645b5fc276a5cf7e95e16ababc50eab501d32574","datavalue":{"value":{"entity-type":"item","numeric-id":874757,"id":"Q874757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$BDD9B3A9-F580-413E-B764-663BEDAEF48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e941acd9477942018b581d9de83bf98bc7eebf","datavalue":{"value":{"entity-type":"item","numeric-id":4811771,"id":"Q4811771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$2033A2B8-FC85-4166-B613-B518BB4E1738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee45d9cc3ef1ca130d5b757c00a19ac2c7f1b8","datavalue":{"value":{"entity-type":"item","numeric-id":4924018,"id":"Q4924018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$06F8344F-675E-499A-8404-7DA7B2DCB0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65743c37178f9111193409ab8861f991e4536bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3094191,"id":"Q3094191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$478D0476-406B-4962-AE3E-30F106E31D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8febab473831d526cd211976405702409d6df4","datavalue":{"value":{"entity-type":"item","numeric-id":1181492,"id":"Q1181492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$BE06FAC3-EE2E-485A-8D76-D43E6520CB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$C5017477-8E4B-4949-9E4C-69BA442C0D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d951611f6f64969cfedf30866173233cac358d5","datavalue":{"value":{"entity-type":"item","numeric-id":2517310,"id":"Q2517310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305674$A356DAAA-56F0-4075-93C7-804F35D2155B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba197c20fa3284092fa0542490208bcd28e654f5","datavalue":{"value":{"entity-type":"item","numeric-id":2517310,"id":"Q2517310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910683dda77b5add1a0676adde2ba53357df6795","datavalue":{"value":{"amount":"+0.801154375076294","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":"Q3305674$22D6C5F0-7758-4844-991B-6334E73AD8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3880b0074422acb9738993c5bfd2b47285fd270","datavalue":{"value":{"entity-type":"item","numeric-id":2973445,"id":"Q2973445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2d1a17cddbf01148f2c270adaf6b17f48404bf","datavalue":{"value":{"amount":"+0.770042359828949","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":"Q3305674$9F344BEE-65AC-4A41-B05F-A022E26F4981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6308f098edbf3e1cd96456c8a6ede65fc122991a","datavalue":{"value":{"entity-type":"item","numeric-id":1024143,"id":"Q1024143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3020153b301c3568d3fbb8e621b8c6c772d46cd","datavalue":{"value":{"amount":"+0.7469472885131836","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":"Q3305674$6ECBF409-F41D-461B-9C61-03D276D44948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80c55e5062aa55d2026af0977a7d54153ea2e83","datavalue":{"value":{"entity-type":"item","numeric-id":874757,"id":"Q874757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ae66376fc69710b5987e1be5e15f0ed0b59232","datavalue":{"value":{"amount":"+0.7443025708198547","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":"Q3305674$DCCD00F5-E6E2-4E26-ACBB-22BBFF7D52BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b099da6fc0c60c5d29be3f1d0f00f837366f08","datavalue":{"value":{"entity-type":"item","numeric-id":5176657,"id":"Q5176657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1df26d1c5aae9ab09a66d3f95d6b541170d6ec","datavalue":{"value":{"amount":"+0.7401783466339111","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":"Q3305674$05E82092-53FA-4A26-BAB6-B328DE57064D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305674"}}}}}