{"entities":{"Q731897":{"pageid":733746,"ns":120,"title":"Item:Q731897","lastrevid":50778656,"modified":"2026-01-15T03:42:46Z","type":"item","id":"Q731897","labels":{"en":{"language":"en","value":"Some specially formulated axiomizations for \\(\\mathrm{I}\\Sigma _0\\) manage to evade the Herbrandized version of the second incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5611736"}},"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":"Q731897$002809CA-D6BE-443D-9ABB-CED45846D3CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81dfd544d0ceca6751ba676d2818d9746982b0e9","datavalue":{"value":{"text":"Some specially formulated axiomizations for \\(\\mathrm{I}\\Sigma _0\\) manage to evade the Herbrandized version of the second incompleteness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q731897$DB2ACACC-C1DE-47F0-BA56-EB171A00FE52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72b56efaaf7ee1ea03547faf22953ea22c4a19ec","datavalue":{"value":"1191.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731897$D9C4748F-5DBB-4CF1-A111-C25416147F4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef3f83b5be7a709f851a5de8e8d01061e550d67","datavalue":{"value":{"entity-type":"item","numeric-id":731896,"id":"Q731896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$FB822110-13AF-446B-9A3E-7F76BEE28F57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$B8BA83B5-E11A-4058-8118-1CA8456E38E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q731897$8972DDB2-B5A6-4974-8C86-072CD619D8E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe5c1d8b82994a15226eef2a7ac9c1dc328ce416","datavalue":{"value":"In two earlier papers of the author [``How to extend the semantic tableaux and cut-free versions of the second imcompleteness theorem almost to Robinson's arithmetic Q'', J. Symb. Log. 67, No.~1, 465--496 (2002; Zbl 1004.03050)] and [``Passive induction and a solution to a Paris-Wilkie open question'', Ann. Pure Appl. Logic 146, No.~2--3, 124--149 (2007; Zbl 1115.03083)] it was shown that G\u00f6del's second incompleteness theorem holds for the Herbrand consistency of \\(\\text{I}\\Delta_{0}\\) when two different somehow standard axiomatizations of it are taken into account. In the paper under review, a third axiomatization of \\(\\text{I}\\Delta_{0}\\) (in a rather non-standard language -- with, e.g., a Max predicate) is considered, and it is shown that for this axiomatization G\u00f6del's second incompleteness theorem may not hold for its Herbrand consistency. In other words, there exists a consistent extension of this axiom system which can prove its own Herbrand consistency. The heart of the proof is roughly as follows: for a consistent theory \\(T\\) let \\({\\mathtt F}\\) be the fixed-point formula of \\(\\text{Con}(T+\\bullet)\\); i.e., \\(T\\vdash {\\mathtt F}\\Longleftrightarrow \\text{Con}(T+{\\mathtt F})\\). Then \\(T+{\\mathtt F}\\vdash \\text{Con}(T+{\\mathtt F})\\). But then \\(T\\vdash \\text{Pr}_T(\\neg {\\mathtt F})\\Longrightarrow\\neg {\\mathtt F}\\), and so by L\u00f6b's rule we must have \\(T\\vdash\\neg {\\mathtt F}\\), or \\(T+{\\mathtt F}\\) is inconsistent. But if the theory \\(T\\) is too weak to recognize L\u00f6b's rule, then \\(T+{\\mathtt F}\\) could be consistent, and at the same time be able to prove its own consistency.  The paper, with a slightly different title but mainly the same arguments, has been published in Electron. Notes Theor. Comput. Sci. (\\url{http://dx.doi.org/10.1016/j.entcs.2006.05.047}) in 2006 but it is oddly not cited in the present paper, though many related and unrelated papers of the author are listed in the bibliography. Nevertheless, the present paper is more mature and polished than the 2006 version, which should go to say that the referee(s) of Information and Computation have done a good job.","type":"string"},"datatype":"string"},"type":"statement","id":"Q731897$BAF9963C-7C4A-48FA-BBED-784D27C71450","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$D402019C-B161-4C9E-8CF1-0E359E47B772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731897$8EF7DBC9-CDA9-4D75-B519-12FE51AC1797","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dfe3a70f2ac33cf2fbe472f1acb9fddf9bb1005","datavalue":{"value":"5611736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731897$9B57B173-2B57-4209-AEFE-26FD665B7582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df2da178dcad00da3915f511e474a1a774599ef","datavalue":{"value":"G\u00f6del's second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q731897$F6D47F97-C9C9-49B0-9628-97142EDDCB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598e772e6c9bd0ca4d67614aebd45d2839a5ee87","datavalue":{"value":"Herbrand consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q731897$59E0BF9F-9787-49CB-AFFE-B465A03F7DCA","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":"Q731897$72502BA4-153E-4C1C-9C79-C2C985FA37EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e29c563996c6eaf5b845b647e399eef12e0150b4","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.11.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q731897$E6F86A1C-2091-4D6B-84AA-C1C2B305CDAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c7acf3b4af20b4115220748bd0a8a8215b577cf","datavalue":{"value":"W2022687341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731897$FFF2B7C6-EC11-4B90-B769-46BBC12C81D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3dbe0918c11706990b4aeae4be4e97ec601092f","datavalue":{"value":{"entity-type":"item","numeric-id":2773372,"id":"Q2773372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$A920977F-8CAC-463E-82BA-7555D755E19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95c4379a94412314b54d33d3a59112f227094dc","datavalue":{"value":{"entity-type":"item","numeric-id":2732285,"id":"Q2732285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$D87FFF22-564A-40A5-81D9-B7CE8D358145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb01ba64cb8cbb3acec998e8a3c187a7d0c1919","datavalue":{"value":{"entity-type":"item","numeric-id":5950714,"id":"Q5950714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$792276FB-30AC-43A9-9550-DD678DCECFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9616a7d402b3b724c982561bad38d0949aec1e","datavalue":{"value":{"entity-type":"item","numeric-id":4093419,"id":"Q4093419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$04E4C8C7-8795-42C7-A5EF-A90496496BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$D71CF181-6059-4CBE-AD3A-55702B1C548D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38c068e030cc9eb3feb69a93e2659229fac75fa","datavalue":{"value":{"entity-type":"item","numeric-id":1896613,"id":"Q1896613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$27E00A70-2BB4-41FD-98ED-C6B102E7F51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$17FEB979-702F-44CF-B6F3-D8616A5C6CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$3566A6C1-57B4-42A6-A7E4-CD0C430CDD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$9156A717-7C63-44B3-9BDD-77E882C15467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e40398e6c25ac0198640331562ba76d0f8ca1c4","datavalue":{"value":{"entity-type":"item","numeric-id":5480630,"id":"Q5480630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$EBD2582D-9447-4626-8CE3-88A7055F22DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf6ff8d0d80d56f825921b152f0aadcb4b3b18","datavalue":{"value":{"entity-type":"item","numeric-id":3770530,"id":"Q3770530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$EA74D2AC-B959-4709-AEE2-402907AEFF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$9DC97088-BAA2-40F6-A9BD-45FCFC152E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf06aeee7433c1cc84e0544ea05fd502dcf84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4103079,"id":"Q4103079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$FD09F063-781B-4AC6-BC7F-FC90D63B63E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$160501DF-0E6E-48B7-B9C7-DADD6C974111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$15D018A2-BA92-45EC-8B55-A4203A5C8B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$95F173F1-C4C3-4CB1-9F93-B41B078E9ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd8b52328ff362cdc0a1ef37368d1be97a3c795","datavalue":{"value":{"entity-type":"item","numeric-id":3931384,"id":"Q3931384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$7B535A91-0A3B-4F99-8090-BB8561A0DC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c858ba356c63e6f92bc3e898fee39510d643a377","datavalue":{"value":{"entity-type":"item","numeric-id":3310622,"id":"Q3310622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$12FF7F86-9890-48E9-AF97-34A73294821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4770a89519406c6a3b1e5f5c3061068c7c3cee5c","datavalue":{"value":{"entity-type":"item","numeric-id":5184891,"id":"Q5184891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$260C7571-6E78-443E-B03D-B6A0DFDBCF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$BBB03D5E-FCB8-4CF8-AD2A-AF9B54AA67C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$001E77A4-22C9-4CD7-A638-F2BC268A9673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463d5da9ce3bd717aa94af12374b31584172a9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$FF294F1B-2EF5-4ABC-8EFD-37D58DFD83B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63cdbd83b7f46d74372c8e13aa2d33751bfa018","datavalue":{"value":{"entity-type":"item","numeric-id":3331198,"id":"Q3331198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$2DA8A4DA-50C7-4502-A52D-DA16A26858D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a251d54cb8d77477d7b56edd116f203ae2ce0345","datavalue":{"value":{"entity-type":"item","numeric-id":4829437,"id":"Q4829437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$2C54E0BD-1DB1-4AFC-9189-88FD8E93E6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$A53EE172-5063-4DCA-8C3A-121D4FE22E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12622473e99aa3ff617f3e3a81fe56635c1b7633","datavalue":{"value":{"entity-type":"item","numeric-id":4527927,"id":"Q4527927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$26B8EA67-76AE-4AE2-AD2A-0A5CE8B43D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$7A8FA44D-3AC3-41BE-9FB2-72D48A6B4249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadf6c0afbcdaac692df9a4b7b618f0a3ecdff7","datavalue":{"value":{"entity-type":"item","numeric-id":4008752,"id":"Q4008752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$535B3E7D-6429-44A1-A3B8-397DA9C1B673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fdfe8673c5379ab5fd3f0d37bf8efc00370630","datavalue":{"value":{"entity-type":"item","numeric-id":688510,"id":"Q688510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$F6F590E4-14FF-4051-9379-A65EEC1B1AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c334e900d69147354fcd1b09f921638515832504","datavalue":{"value":{"entity-type":"item","numeric-id":705533,"id":"Q705533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$81EB3049-BA30-44C2-A1C2-F5574ED98525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f54c0cbc611ae4e73b8df4312f6baea0cd24de0","datavalue":{"value":{"entity-type":"item","numeric-id":5181365,"id":"Q5181365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$7A9D006C-2FD9-4923-8DFD-9AC5ED153168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$50DD5416-4635-4D75-BFA4-F1B92D17AF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5009021d08f0229e7698f7d15d5117c9aa821104","datavalue":{"value":{"entity-type":"item","numeric-id":4282618,"id":"Q4282618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$12D8D2C9-37AF-44C0-9DFA-A83032D710E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b02ccac2fbd2bd4bd9246e779130e2e51fd8fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2721211,"id":"Q2721211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$09B24F0B-5683-4548-B971-7727E834F883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0888a957eb1232464fd04f4d79bf690c9b9c6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2747704,"id":"Q2747704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$44C27704-EED4-4417-B6AD-528D17A64F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57dc0a92e73327004dccebdd15f698398210567","datavalue":{"value":{"entity-type":"item","numeric-id":4532626,"id":"Q4532626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$FC3047BD-DB1D-43CF-BCB9-BBAA96770389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0e9001cc69b0c7df21d198b2559ffa325e91ef","datavalue":{"value":{"entity-type":"item","numeric-id":3367334,"id":"Q3367334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$201907A3-E388-4A13-A902-38A4A2EAAB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133a6e27b53031135abff108213947b9ba38d88e","datavalue":{"value":{"entity-type":"item","numeric-id":5486248,"id":"Q5486248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$A2B17E12-B497-4871-B912-5601C4209153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d6c7346542ba7cef630711e93e80a0467c50c5","datavalue":{"value":{"entity-type":"item","numeric-id":3416110,"id":"Q3416110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$95F65058-174F-47F9-B27F-098CC40CC62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55457596820a8218b8417e701b502d2f232d621","datavalue":{"value":{"entity-type":"item","numeric-id":2500470,"id":"Q2500470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$B3E49719-BEF6-404F-B128-B59B12CC4E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863ff8c8da0f80f402868489011517053fc12a71","datavalue":{"value":{"entity-type":"item","numeric-id":882120,"id":"Q882120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$1C7EF6B4-699D-4DDD-9999-73EE9280B7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731897$31BE42B2-A97D-48F6-9B70-EC2623F73779","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b94408a0110547c444368280ef954abf0bd1a355","datavalue":{"value":"10.1016/J.IC.2008.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731897$909BEDCD-1CEC-4280-97D5-293523B5BCDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a98b3f87c296ab57c8ed2114b748399c3dec55","datavalue":{"value":{"entity-type":"item","numeric-id":4917999,"id":"Q4917999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfff57c0a1fb32220b897cdd24b3ad8208f070e","datavalue":{"value":{"amount":"+0.8799805045127869","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":"Q731897$904C1487-33FF-4276-B542-C9D3E58D577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b45db420521eb08f46a4d86a7c19498e5668c97","datavalue":{"value":{"entity-type":"item","numeric-id":2915894,"id":"Q2915894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfe6b0a0a0bac313b9910c97ad22494fcba6a10","datavalue":{"value":{"amount":"+0.8590549230575562","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":"Q731897$8AFF52EA-A5AD-449C-B810-DD97F66AA201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c6fdb8651704316b082c85a96e8f0db8ed5b86","datavalue":{"value":{"entity-type":"item","numeric-id":5950714,"id":"Q5950714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c663eb60d2bf96ffe60e3d2b9f14a0f4dbb2c5","datavalue":{"value":{"amount":"+0.8272789120674133","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":"Q731897$E98406CF-D9B5-4A4E-8D39-445A0A0273C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1472b03b22248750e975359b6c8aba5c209a9467","datavalue":{"value":{"entity-type":"item","numeric-id":2773372,"id":"Q2773372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f90b1e9d95569e74fc07b0f8b4cac189f7cc9c","datavalue":{"value":{"amount":"+0.8141893744468689","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":"Q731897$9D1DC24E-7CCE-4807-AD44-DDD7B9CF3987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0a2fc5f31fa16a453923c8033c34b66f03f98f","datavalue":{"value":{"entity-type":"item","numeric-id":5107534,"id":"Q5107534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05ae00556352dc4f1add7db20471923b044b8f4","datavalue":{"value":{"amount":"+0.7970258593559265","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":"Q731897$87EDFF1C-2C56-49B4-883D-0ABB1C744708","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:731897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:731897"}}}}}