{"entities":{"Q865639":{"pageid":867487,"ns":120,"title":"Item:Q865639","lastrevid":50036452,"modified":"2026-01-12T18:21:10Z","type":"item","id":"Q865639","labels":{"en":{"language":"en","value":"Innovations in computational type theory using Nuprl"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128347"}},"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":"Q865639$7F157B59-0268-44DE-AF02-E502A2048F16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e43a255905c929241526db53b72f45db3c6b03","datavalue":{"value":{"text":"Innovations in computational type theory using Nuprl","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865639$3641F592-7CF8-4DF4-A220-F2E9886539D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b2d320e04bbe26a9794c4808dfe9abf7e9aadcd","datavalue":{"value":"1107.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865639$1EBD5E17-DC2F-4031-8B3F-1BAB62175600","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3536aaddcd5d300903cc44ad55a0de6f3aee7324","datavalue":{"value":{"entity-type":"item","numeric-id":865632,"id":"Q865632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$E9EF6682-248A-4977-87AC-92E7E001ED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c088019ab35f433159c9a1f2953b093687aa3f88","datavalue":{"value":{"entity-type":"item","numeric-id":865635,"id":"Q865635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$1FDFEF1C-02CC-4D59-B575-2F590C006A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27dc5d641ac54bf75a67d4d139ced2f1f7d37112","datavalue":{"value":{"entity-type":"item","numeric-id":865637,"id":"Q865637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$0323D231-CAED-4121-B101-E60B35ACAEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e84567dc74ccffc83af5d7581bfc2b26f793513","datavalue":{"value":{"entity-type":"item","numeric-id":865638,"id":"Q865638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$B3E44F66-908C-46CD-AA67-0CF36DA2B86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4e80c62f3af6544d946ed36bab3a03f4f43897","datavalue":{"value":{"entity-type":"item","numeric-id":392279,"id":"Q392279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$512B86B1-F417-4D16-BED2-ED525A206330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$C0DAA561-0226-4468-8D54-EE6128119EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$03C05C8D-BC01-46B1-92BA-BB488CC0593B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$99A04394-6A3E-4AFE-A40B-E7B2F04C2E43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-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":"Q865639$B1899A87-3108-4AE1-8B68-61B8C500C071","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865639$05DFCCA9-73FD-4CE7-82AA-F4F1B5C2EB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865639$CE78D343-4DF8-46DD-B0DB-53BB952DEA8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49fae35466f9718108a036df65a38e1291a58567","datavalue":{"value":"5128347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865639$BF9C4AA2-964E-403B-B5D2-8934A34D847F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$0DE19506-9D09-4CCC-BB87-0606A340769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d04fff8f94ad95c013cdcdb1beb43145439450c","datavalue":{"value":"dependent intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$B7561370-7575-4150-A228-2F2D7E49BA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0964c617fecad7b834e90ec9e1147ee56be03f08","datavalue":{"value":"union types","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$A618464D-D775-4524-9AF8-2DD1BE474EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc51a8c0fe8cac11b1273088b53cd1374f8d2a6","datavalue":{"value":"polymorphic subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$4ED986D4-2338-4111-A8ED-12A5DF67A2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef42d5623f449957d9a229a1b490b65858535497","datavalue":{"value":"logic of events","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$F1AF78CB-194C-46EC-B327-BAA05EC2EE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60c7ed1cce8bf2ec8208fc852a18f6368ec92a0","datavalue":{"value":"formal digital libraries","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$C5B35B59-CF70-46A2-9321-C9E37BF62B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4f6f1ebc284c31dc4bcb934bcf27f7f094af77","datavalue":{"value":"computational type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$99698AD5-087C-4565-9E07-297466865FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e957915c4bd3263ddeaf24b054dddc6b779ee5e","datavalue":{"value":"proofs as programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$CACE116D-5F4C-4F6A-99B6-DF5276AFCD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$EFE501B4-E78F-4A15-BFBC-272D4B4E2654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c80ecf21428f980362763aa3ec34b156b15c6fc","datavalue":{"value":"tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q865639$8F4982A2-5EC4-4CB8-A626-96FB1AA2AE01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$8E2C19A0-FC55-4FBD-8F93-A0BA84CA1368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$1C78E3BC-8DAB-4E26-8199-6F80DDFC756F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$123A08D6-2A13-4CA4-A8B6-65C197477C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$AF1BCCCA-AF05-4A39-B202-7370FCC10893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$0B81055B-47C7-4325-AA7B-159EBFE409AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccec0747f065e1cac41e32330ae54b446405d026","datavalue":{"value":{"entity-type":"item","numeric-id":33612,"id":"Q33612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$F8CB5C8B-C1BE-4B29-B84C-31533624E324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$C4B3262D-46CD-4D19-9FAF-393A473DF375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc835e0a8e8cc3d18de29524c9b3729f324d45c","datavalue":{"value":{"entity-type":"item","numeric-id":21955,"id":"Q21955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$981064FE-2616-4A5A-BB92-55DD242643B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4b47ce3ba240cb2e5f738c61850addd1730efeb","datavalue":{"value":{"entity-type":"item","numeric-id":22255,"id":"Q22255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$A20B7B58-A1BC-44D8-B68F-103FA2FF51E8","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":"Q865639$6B38CB85-6D6B-4C7D-BBC1-A7163CC492BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a812374e99c45048acbd0f888f3854c32cd56f7","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q865639$CDB118E1-C79A-4183-8E05-631AC61D4DCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de3f336b17290f7671ad57105b22780809884bb3","datavalue":{"value":"W1977189131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865639$0B7BCAE6-BEEA-4FED-8A18-BE143A8FB718","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8efd87fb85243b8cccdbf5671fdcaf089ad7ab45","datavalue":{"value":"Q56228326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865639$5BDA2CFF-329D-4EE1-97DB-C0E0320E5DEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeea2976793d771150363b4826295f0afda172d4","datavalue":{"value":{"entity-type":"item","numeric-id":2723417,"id":"Q2723417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$E3DDE7F5-8E54-47CD-8C66-BDB5DBAED3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a774592121362aea0b18362b2a1fe30f87c72aa","datavalue":{"value":{"entity-type":"item","numeric-id":1810904,"id":"Q1810904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$4FB02AFC-5297-455E-AB53-A353A3717D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f87d8e5bd977e16361b925f06b414543ca3a38a","datavalue":{"value":{"entity-type":"item","numeric-id":3823124,"id":"Q3823124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$04B69877-DAE8-4F28-9FFA-10244AD56A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349d7ef85d935a77ed55af1929cb6c2c4498301d","datavalue":{"value":{"entity-type":"item","numeric-id":3101363,"id":"Q3101363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$35530ACA-D875-49A4-A0B0-1EE6826E1D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$1B4D4CD7-ED11-4335-B1D1-B1B61D970192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$15437F33-599E-45F7-850F-3267A6166882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67ea79cf49ca1e8040f64397f57e799e6b059a9","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$06248743-CD6C-4AB8-9AC2-FFF03B885CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1a861358bd0353d0f8a6abf7486568be23b76f","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$8641BF7F-3456-415E-8D33-B4088E35B668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c460ae79e581974a1598f1e8ee4354decd06c6d3","datavalue":{"value":{"entity-type":"item","numeric-id":4790655,"id":"Q4790655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$72ECD620-7D49-4803-9627-8E485D5CF397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$38776843-E97A-4F53-B00C-7D750919D19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee900a14eb345f1ec6416bc370340cd0e2c18c0","datavalue":{"value":{"entity-type":"item","numeric-id":5565097,"id":"Q5565097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$3D754E85-AE09-4ADD-A5F6-A60654840CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$1DD56298-4199-4D4C-B3DD-4C62A712094C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$7F843E64-1FD0-4A41-92AF-307BDB4B3E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a962d0a7be8a0ba0ddc1bcd8d1ce60fa548737","datavalue":{"value":{"entity-type":"item","numeric-id":5670174,"id":"Q5670174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$92CA7A54-F49F-45F4-8AD9-5C9E2BF58C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b72fd94bda694deebb7d6936631a98ffcfd1c50e","datavalue":{"value":{"entity-type":"item","numeric-id":3687706,"id":"Q3687706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$A398150D-EC33-475B-957B-AE6A70B00C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a4500038e90ae4c466f5afc928e853542f5d02","datavalue":{"value":{"entity-type":"item","numeric-id":4215639,"id":"Q4215639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$D0C5AC08-2A72-4F11-8C16-C6B763758D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc25ef35000b85581ab9716e52891652f9090de9","datavalue":{"value":{"entity-type":"item","numeric-id":2752048,"id":"Q2752048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$6AEEA048-F84B-415C-A500-58D9D741B3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fa3961aef1231c96f05295929316b4bf9d63df","datavalue":{"value":{"entity-type":"item","numeric-id":3484381,"id":"Q3484381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$FB007002-24E4-401C-993E-5B70EBB5A0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$399E3F8C-4F15-478A-B8AA-34B4E1A30EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579a6fe1e5a36f5a952779060268e3364ef7da33","datavalue":{"value":{"entity-type":"item","numeric-id":1170021,"id":"Q1170021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$18CE5840-D7D4-4D3B-A0AF-140B6DDDA968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee0734545600fd465e287744ccc384cc681549c","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$36C3C2DD-C3A0-4DAE-B817-A982C8A4C66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423ecb44ccefd2a3d1e6736f0bdd2925c8e12d07","datavalue":{"value":{"entity-type":"item","numeric-id":3875311,"id":"Q3875311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$9741EDC8-C49F-4499-AEC3-EE3975C92FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97a81fd7ad71815ea23de5bd9d2e05422152d02","datavalue":{"value":{"entity-type":"item","numeric-id":3673081,"id":"Q3673081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$5EB569E2-EBB1-49D3-9941-EC38FDBB3874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b0504accc6caa34f7c7964273e8f23efdab3ec9","datavalue":{"value":{"entity-type":"item","numeric-id":5348870,"id":"Q5348870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$C958E5C4-55FA-461C-86D0-DDE6F509A337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$8CFA72C0-BCDD-4A8E-87B4-4B0B3A16690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$022233CE-4EB4-4ABA-B266-30F6E4D76F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$3C3A5692-C4D7-4722-A333-F0702C17B75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152f34e9de0b1aa1906f731953247948b77c5685","datavalue":{"value":{"entity-type":"item","numeric-id":5234717,"id":"Q5234717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$63A2A2F8-228F-4263-90B1-ACFBCEA74B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$FC3D77D4-BC5E-4FF4-8FDE-DBCFB7CE4383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$2FF4EF45-E9E1-4029-9338-5D1E7837C38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95495a8e4f0058056e049e538f11019cff0c80a0","datavalue":{"value":{"entity-type":"item","numeric-id":1416071,"id":"Q1416071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$46BC170E-5DE2-427A-81A3-A9114CC0E7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$FA9E7BF8-E902-421C-A00D-AA218F43DA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65efe90aeec3ecea495173e06d24a23ea70e7b60","datavalue":{"value":{"entity-type":"item","numeric-id":4375633,"id":"Q4375633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$B6D723E8-A3F6-4268-A667-F5EB53C8F7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4793910b07939e5e00ed9282b1adc9dbb49e068","datavalue":{"value":{"entity-type":"item","numeric-id":2782486,"id":"Q2782486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$56C03594-E5CF-4803-B7BD-B609CFF11448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6865693541f5bc45c0d517a1263aad887cbf5ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5210799,"id":"Q5210799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$66ECBE15-7E38-4FEF-B147-475A5A8E0D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$919DAEDF-F78F-4028-B23E-380D29D7E20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93e6cbf39d2bf59c03ab2fbf8f34e1ee59cdd57","datavalue":{"value":{"entity-type":"item","numeric-id":4250236,"id":"Q4250236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$4BE60B32-41C9-4A6C-BFD6-7628B5B7BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7da6c6cc89a0a581bea44c94961c1a898809f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4471938,"id":"Q4471938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$B00ED518-9F02-423F-A1C4-3A49D5D60728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c1dc1d7ebf031e8984aa970ab25eec79a01c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4819652,"id":"Q4819652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$44381776-975C-418B-9EAB-C5638B27D3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffc16544718d83a4fdaaf484258616599c048b4","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$E8199DEC-7E72-4136-B51B-7A88B86496BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ccc7c2664c0c14b360adc4b5633850507be50af","datavalue":{"value":{"entity-type":"item","numeric-id":1854382,"id":"Q1854382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$881643AA-FF18-4FA5-994D-62DCFAE24A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$977F5338-B93F-45D4-BD8F-05BA8B709823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d51e1c3483c4990b2154edbc34cd5e8724187d","datavalue":{"value":{"entity-type":"item","numeric-id":5903450,"id":"Q5903450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$0418D370-A198-4487-A91F-FB5C9FC2AA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4611a66a2c931167dbdb91171e8ac4e805740a49","datavalue":{"value":{"entity-type":"item","numeric-id":5313059,"id":"Q5313059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$78695AB8-DF15-49E3-AC2D-1CBE33B6E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$BEB90855-7DD4-4C34-A3BC-E9476997CBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$4FB2AC74-50C1-4C8A-AE1F-71FDA3BC4C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$1FAFDDF1-AD26-4E12-9896-57D492AAA86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$FCD8BF04-A4BF-4B6F-B968-D287CA24FD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$7D014A5E-3024-4525-9861-E2A27E162FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$C8400A04-D55B-4B72-932E-3AAE5B75584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf264be42d88dcb3ce802780aca83dfc22bae994","datavalue":{"value":{"entity-type":"item","numeric-id":2754063,"id":"Q2754063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$B03657FD-FD6D-4952-9B5E-B414DE8B66DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9a08fec1d053c691c33507add33a1579c0bfcd","datavalue":{"value":{"entity-type":"item","numeric-id":4539627,"id":"Q4539627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$8C9112C2-7E20-47B8-A55A-5AC76B702A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$0245D8A7-F125-45D5-8035-341EBC03A039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$13F8CC9C-EF78-4043-8104-6D846D867F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$35A31017-9F68-4D5B-91FA-3F29097711A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$59AB2222-2D44-4279-9072-2CE6FAFBC0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$26E8C38F-895C-40CF-9C70-7E8D43E8E408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1b87ef2bc818e2e29e6aa38913bf9f24b6c54a","datavalue":{"value":{"entity-type":"item","numeric-id":4809049,"id":"Q4809049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865639$E050D208-691D-4CC1-B3D2-44F47B8BE8E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b2cccdfb59861680b8ae75b90e1d33cc4cd37d0","datavalue":{"value":"10.1016/J.JAL.2005.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865639$D41B632C-B4F9-42F1-946A-8BE53F2B5D6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6069596235a77af4a0ce188dbd6c4aa338ad0602","datavalue":{"value":{"entity-type":"item","numeric-id":3789525,"id":"Q3789525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fa88b4c6539a6f637827f4058d12306fa3ed5e","datavalue":{"value":{"amount":"+0.8049179911613464","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":"Q865639$0C1A27A9-7323-405F-9D2A-B7759D44A09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780af827b95844439380683ffd43adcb892a2143","datavalue":{"value":{"entity-type":"item","numeric-id":4357062,"id":"Q4357062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e1a0d2e6812e3754f8cfeaf799d6c81707c878","datavalue":{"value":{"amount":"+0.7952741384506226","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":"Q865639$1AA6DBC6-8FD7-4CB9-99EC-D193221E44BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3bbaa642ed1602e93d69619dbc3a139ce95f056","datavalue":{"value":{"entity-type":"item","numeric-id":4247077,"id":"Q4247077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e1a0d2e6812e3754f8cfeaf799d6c81707c878","datavalue":{"value":{"amount":"+0.7952741384506226","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":"Q865639$A6C621CB-C66B-42BA-8747-FC1F4B68FE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542418b998932333df98aeb849260f0e64e3bcdf","datavalue":{"value":{"entity-type":"item","numeric-id":3750136,"id":"Q3750136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ad54a8e64c18de903c18d59f1b3761f483afd8","datavalue":{"value":{"amount":"+0.7555981874465942","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":"Q865639$23C4D67A-946E-4947-A072-E02D39B5916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b2240557999b95dc9849e43e4c21ca2245e1f4","datavalue":{"value":{"entity-type":"item","numeric-id":2723417,"id":"Q2723417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70aed9a7d32c8a47f32b4ed2ff05faacac46a0c4","datavalue":{"value":{"amount":"+0.7438046336174011","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":"Q865639$278E5346-D23A-450F-BB16-657DD5F4CCE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:865639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:865639"}}}}}