{"entities":{"Q6145029":{"pageid":13279336,"ns":120,"title":"Item:Q6145029","lastrevid":94216775,"modified":"2026-06-05T06:14:38Z","type":"item","id":"Q6145029","labels":{"en":{"language":"en","value":"Abduction as deductive saturation: a proof-theoretic inquiry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7785157"}},"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":"Q6145029$36B6120B-518C-4367-A619-F1D3B45FA52F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3306014b49ea274c508aa96e011586e3f457c74b","datavalue":{"value":{"text":"Abduction as deductive saturation: a proof-theoretic inquiry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6145029$B7A82A8B-0B50-4E79-BDC7-DA4A44B8E6EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$D3BFA3BF-92EA-410F-835F-CA7254EC4A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bdba2590022c90a202dc79d5f2fc1152466ada","datavalue":{"value":{"entity-type":"item","numeric-id":472803,"id":"Q472803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$90E4E49D-E2DF-4961-9BF2-2D64B8D23270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9da19579cfdc09b98329a3e119b112178d12ba0f","datavalue":{"value":{"entity-type":"item","numeric-id":6145028,"id":"Q6145028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$9AB6307E-3B6A-4FDC-9D4E-570AC482C03E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$CE9F52FB-2632-4F95-8931-A9749EB29EFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e50f80f2416051e0e7d7d1cfabce1de8c3ea5bd","datavalue":{"value":{"time":"+2024-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6145029$EFEB4D62-CA4E-4E20-A866-1CC5E2327E9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145029$6A5DDCBA-7BB1-4EC0-815B-E6D998631B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf770c3f065cbc446379a6377a10250cee7b24d3","datavalue":{"value":"7785157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145029$4B238804-DB62-4177-B04B-13C28D2DA6FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145029$2E3D12DA-5752-4B84-A219-88CBC8176658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145029$BE10DB1D-D867-4907-B4DD-A38CCF013D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d75ab3b1d0b161be33e4d2ec6fa01a5a7c7f224","datavalue":{"value":"analyticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145029$750A1F2F-E307-40EA-81E9-FEC3617F5DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145029$3FED58D3-3A84-47BA-8601-A1C2FFC92B4B","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":"Q6145029$AA47CB5F-4692-46B7-8BEC-803ACC74227D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e70790585af30cb9bbd11bc4f60457ae9311ec00","datavalue":{"value":"https://doi.org/10.1007/s10992-023-09718-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q6145029$3EA4155E-2228-4E6B-AA8A-ADA5436D923C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"359fa5e8ad2d33c4c9657602c45c5474074b1d58","datavalue":{"value":"W4386773906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145029$FFDAD7D3-245D-4D35-981A-6CDB9550CD28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d29c3caad4ac794c62be84521ad055da0d81da","datavalue":{"value":{"entity-type":"item","numeric-id":850998,"id":"Q850998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$478D8C1E-BA32-429F-ADCF-DA89717A9249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e005c5656dfe8af90187b5c9f152bbd157e30aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4880541,"id":"Q4880541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$0876334C-7817-4742-B48F-E06B9FDF1CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2645c35f4bfca210833b1c5e87a9afeb14937527","datavalue":{"value":{"entity-type":"item","numeric-id":5176673,"id":"Q5176673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$139C6904-9041-4D07-8D11-BB78D9569FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$42BB90D1-E7DD-4B56-9652-46D0DC621997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ebf2a0e0315f670aa2d003596848f9d6a05810","datavalue":{"value":{"entity-type":"item","numeric-id":5175628,"id":"Q5175628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$A09EAE07-5B01-4783-A89F-781DE1B3CFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$776E9F5D-64D3-4262-8C5E-FB8C513D8D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661db247b27cc82dd9a6b929292eb7e1bf0a5cce","datavalue":{"value":{"entity-type":"item","numeric-id":5504120,"id":"Q5504120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$5F9CE43C-6056-48E3-89E3-EF1E5925CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$2321B2E7-7101-49EF-A06E-0698D950CFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffc0f5d69527983879367d3a98f2fc5ed501b2c","datavalue":{"value":{"entity-type":"item","numeric-id":472804,"id":"Q472804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$846B2E9B-4848-4ED0-9C64-190616CAD07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6681413628cd2724814405144f06ffc4f05fa2ea","datavalue":{"value":{"entity-type":"item","numeric-id":851192,"id":"Q851192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$566AFDE1-624E-4439-BE98-D79567AAF8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b545a3b78940c4eaf91abdb8f66855858430c8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1327486,"id":"Q1327486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$112538E0-8DF3-4649-A06E-A08EAA302147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51131bc45fc540dcda31969ae9495c544dc192f0","datavalue":{"value":{"entity-type":"item","numeric-id":5715109,"id":"Q5715109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$CCFAC8D5-DDAD-46F2-8310-CC915C6A34CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fccaec4c307c097d5437414653a957b62b3e691","datavalue":{"value":{"entity-type":"item","numeric-id":4291873,"id":"Q4291873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$87720B3B-3126-4ED8-9996-0BFFB817AD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87b7a1c3470156c1bb3f2f7d435ee9fa1c374c1","datavalue":{"value":{"entity-type":"item","numeric-id":4860658,"id":"Q4860658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$5CAFCFD6-68C4-46B1-A2F0-E2224B60ED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be168c2bba0e9d47c268a58a0a98951dfd4834fc","datavalue":{"value":{"entity-type":"item","numeric-id":2909833,"id":"Q2909833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$6C2CA070-3A72-4EC4-A69F-22CD64780C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6d7a82a2766eaeb714c716d62908d964b0295a","datavalue":{"value":{"entity-type":"item","numeric-id":1626629,"id":"Q1626629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$BC16CA9D-84D1-41B2-826C-9465AB9789CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d470424f0444f4bcac7bfd162ce1526104d3b7b","datavalue":{"value":{"entity-type":"item","numeric-id":2054148,"id":"Q2054148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$850CFB83-761E-4EDE-939D-93B8B2EFBB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb98811df87eb4444770359179b26645f248a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4644567,"id":"Q4644567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$D4E6F98A-0626-46F8-9A09-2FD3BB033A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b557ba22f033313fc1b288821f5dd881be2de00","datavalue":{"value":{"entity-type":"item","numeric-id":3389493,"id":"Q3389493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$32E99D0E-61BB-4DFB-8CAD-D2D0BFAA74B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$AFAFF663-EB65-4EDE-BB62-29504CEB7A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd8eb0d1fd23258713d1836bc92d22cc3e430cc","datavalue":{"value":{"entity-type":"item","numeric-id":2144620,"id":"Q2144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$C9C2BC02-0B2E-4E32-A49B-82998E4AED26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727533a3d0d816797bcc34128bff8fa0002535b8","datavalue":{"value":{"entity-type":"item","numeric-id":5883190,"id":"Q5883190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$C1496670-5926-4F40-935A-D4609BAEEEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b708c439c098500da67d50fe581b317ca0afea","datavalue":{"value":{"entity-type":"item","numeric-id":4868235,"id":"Q4868235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$1838C32D-EBFC-4BF8-8D5B-8393CD718068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1162a6496e5c180e8fb08a1da0327f11d2af03c","datavalue":{"value":{"entity-type":"item","numeric-id":1947247,"id":"Q1947247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$7022F9B8-D414-435B-A2A8-64C344A0CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b84fc01ec7d99ba6fecc5c648223dc64c7c076","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$E42D6B6D-B49B-4E35-84F4-182ABBE9D35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89392c3f672583ea75f08954bf0aeff8f78a4b86","datavalue":{"value":{"entity-type":"item","numeric-id":5571678,"id":"Q5571678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$DA789B3D-3530-4536-88B2-7C78275F854B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b0f45ef3ecdceed989214d1a7b8a9c41843e3fa","datavalue":{"value":"10.1007/S10992-023-09718-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145029$2C0E5D6C-5ED5-478E-93D0-AACB64EB59FA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145029$B2C0DE68-A1A0-40EE-B687-A7F30F588B92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abduction as deductive saturation: a proof-theoretic inquiry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abduction_as_deductive_saturation:_a_proof-theoretic_inquiry"}}}}}