{"entities":{"Q2084957":{"pageid":2095699,"ns":120,"title":"Item:Q2084957","lastrevid":57119169,"modified":"2026-03-26T16:54:03Z","type":"item","id":"Q2084957","labels":{"en":{"language":"en","value":"Induction and Skolemization in saturation theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7601550"}},"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":"Q2084957$C41958FF-8BF3-40AC-B396-69EA0CBD125B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90a6129f6058d9b641443782fb99a3f337116d66","datavalue":{"value":{"text":"Induction and Skolemization in saturation theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2084957$AC0D81B5-D49A-40C7-9E94-406D15BB1702","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$24BE0A14-EB49-4E94-BEE5-122680A3255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c49809e939d645930eabbd7252fe1cb08b898ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2084941,"id":"Q2084941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$C4244960-20A1-4BB0-9470-3B899837664D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$3DEB26B8-C206-4320-850E-3CAAAEE61BDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fcf3265ef324cd8f042b5ffc2d91b62eb5b915","datavalue":{"value":{"time":"+2022-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2084957$FAFA9F82-075B-41C9-8466-903E678DF7C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2d66c1774b1d8b6d1fc5e0b1204ed94816d8864","datavalue":{"value":"https://arxiv.org/abs/2105.07734","type":"string"},"datatype":"url"},"type":"statement","id":"Q2084957$D6F5CCCF-6481-4A51-AD83-DED06038B3FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084957$A084CEF2-F9D8-4850-909B-7B7256371450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084957$23B2E020-C628-4B7F-92A5-9D8BD2A79D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084957$A927376F-1990-4E3E-831B-088B22C539C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084957$3FA741A1-088E-401A-9C44-173ED9CDAA35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee37892d67e56d999de91eac00e1e78c22bd7493","datavalue":{"value":"7601550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084957$B45721B5-15EC-43BF-970C-E1849C5F71D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084957$078DC994-5234-4321-9A4C-D18F667632A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f65eee17ac61c4dfca4509cfc3beca590b623dc","datavalue":{"value":"weak arithmetical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084957$D047ED4F-E53F-4DC0-AF24-A187F27FB7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f9585b668c516d22f035ea31ed7d88390e0cd8d","datavalue":{"value":"skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084957$4166CCC4-B60E-4739-9C10-C87E6F3D8B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2e8b0fb813416ffa32fa31d335ccc35d3669a2","datavalue":{"value":"saturation theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084957$1F23CAEC-5D96-4E81-AC4C-D118A83BE949","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76fd40323a824010079b2985e8bd74c40bfb4d73","datavalue":{"value":{"entity-type":"item","numeric-id":23170,"id":"Q23170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$6D719305-1AD9-486D-B45A-80E670D9B6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$93340D90-F3BC-444C-BD84-FE428086410E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$8AD55422-A18C-4D5A-85FC-2B31832B0146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$B0631F5B-4AEC-47DB-8F2A-E4A8F788621E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2196bc177966aee059cbe6dcb19371e0feb3fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$029C8D15-E746-4AF9-93FC-906C856B2940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$A7DB4374-931F-42B8-86E1-0BFC3565F351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a68cdd3e97b0168a20493dd016b20595a0a54bc5","datavalue":{"value":{"entity-type":"item","numeric-id":31435,"id":"Q31435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$6A8D9D88-90D9-4DCC-8CB0-7FBED43B7804","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":"Q2084957$9BDB39CF-D649-4700-9452-83E6E02EC66D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa333b9809d2775feac644430ccc64519e8f49f8","datavalue":{"value":"W3160340332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084957$9EFAB2C3-62B5-4DB0-BFB7-0720577CE5FB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bf881b4fc48b64af0fa85cbd5178b1e5429b0f58","datavalue":{"value":"Q113880318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084957$19CA0E87-2B2B-4399-AB8E-4A40A729437F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d46cdb274620e8f2ca5509c097d4fe8738b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4364507,"id":"Q4364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$2748A4BE-6D3A-4E0B-8E06-269AA6D438FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1bc8b6bc9d4f3110c2dd107d1f09deebde7c30","datavalue":{"value":{"entity-type":"item","numeric-id":4681891,"id":"Q4681891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$8C4E713E-E5C2-47FD-98C4-DD96A4FBF800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ca373aaf79c485001675bd936a28ef2c814c6f","datavalue":{"value":{"entity-type":"item","numeric-id":2892685,"id":"Q2892685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$B395ABD7-F23E-4FFF-90E0-D3D495BAD705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$99804FD4-E997-4F09-A1FA-4FAF6E19404A","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":"Q2084957$2EC31B28-E30A-4DAF-9153-427986CBB8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$B630B793-E8B8-4246-AAB0-02E1A9FC1996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$CEB63D5D-4F43-41DF-9D2D-C79B10DF69E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f972e3641c3a0ae702912ca836cccd8294c221","datavalue":{"value":{"entity-type":"item","numeric-id":2988375,"id":"Q2988375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$339A9E6D-D8FB-453D-88A4-36103FD3F642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad338cbe03072f079f6f32c6dcb9b4f74e45afd8","datavalue":{"value":{"entity-type":"item","numeric-id":5227521,"id":"Q5227521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$2C92B470-4BE7-461A-BEC5-890D51AD0485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88277b83497270dd7264f4c05874238f4bd557fb","datavalue":{"value":{"entity-type":"item","numeric-id":3490990,"id":"Q3490990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$527C8AC7-558B-42F5-92FF-C4D6FDF7B23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4418419edfed2d34686d059d4509f183a95be4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3096079,"id":"Q3096079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$A2348CC0-08F7-4192-B254-EF90EA5C63CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$21A74FF0-6BF1-4144-9280-C7EC7455FDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898d2836e77c209a26cdc90309154e79d6e4a365","datavalue":{"value":{"entity-type":"item","numeric-id":3453129,"id":"Q3453129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$439271D3-BEE1-444B-A98D-2E421511B6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe32806edf287e44f6855c200795e18b751477f","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$31614C78-41BF-40F6-8504-E1866F13EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c32d3283dbc1fe39bfc7c16048659fcd75d91f","datavalue":{"value":{"entity-type":"item","numeric-id":1687553,"id":"Q1687553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$D94F6669-4D35-4389-9D5B-38BDA27EA8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7f80d85d9c6e670a1a0f0316c3f6be7e29cb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3086782,"id":"Q3086782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$66B44B56-C587-4B60-8EEF-B8638618D8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd3b24c79d7d8e3697dec63d4d2a7f944f9b330","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$9FD0D5B3-889F-4FD6-855D-7B57659A1BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77501ef5f37777b2d3db7d9ae8aa8bc51b05feee","datavalue":{"value":{"entity-type":"item","numeric-id":2303240,"id":"Q2303240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$DF5927EA-58F4-4F61-AD27-F415E074D38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a86a4fa5b28ea2d21897266e3f1d397e79e0c93","datavalue":{"value":{"entity-type":"item","numeric-id":5140266,"id":"Q5140266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$B632176E-EA3B-4258-93B2-5B7637416E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a69e7186a8b7b470386bf3d7a73a576e4a7c14","datavalue":{"value":{"entity-type":"item","numeric-id":4596787,"id":"Q4596787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$99DD472C-B45B-4589-B855-893F1289E1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$15669D00-018B-45C5-8807-69EF9B16BDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2332e7c2c6c8952ebdbc79c4cb64e9660214db1","datavalue":{"value":{"entity-type":"item","numeric-id":2309507,"id":"Q2309507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$B4D75CA4-5696-4B11-BAE9-95BC0D32E42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0933abcee6e71217a619391222ae8646b0eea736","datavalue":{"value":{"entity-type":"item","numeric-id":5495917,"id":"Q5495917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$2277543F-BD49-4020-832D-C31AC8107C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8914056a012fcf0bb24ac61a3922b358208186e","datavalue":{"value":{"entity-type":"item","numeric-id":2849478,"id":"Q2849478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$FD6CCB86-1DC1-45CC-90B7-34AC8FC6367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$4DF90EEA-F569-454E-B6A6-91FD2AC55989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$8340E557-4D0D-4E7A-903C-C474F2F51C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$4C2AD43B-803B-409E-A098-9488D78AFA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e9e532a60b0c2fe7f69fc24b91b25cb2cddc4","datavalue":{"value":{"entity-type":"item","numeric-id":2305434,"id":"Q2305434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$F294795F-1DE6-4E0E-80A9-5F1552E7EE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca2ca451e71b1818c76580cbf74ad0ae3212114c","datavalue":{"value":{"entity-type":"item","numeric-id":1112811,"id":"Q1112811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$A20B45DB-DEF1-48D9-B64D-2D2BAC1B150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$AAE1B516-9A24-40E0-8B4E-A65C3A50805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a36e2a54d0bb700689b29105cdd4e811241336","datavalue":{"value":{"entity-type":"item","numeric-id":3256311,"id":"Q3256311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$060BA1A9-58FA-4130-8A95-B1D0BCBAAE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$364004DD-72F9-42D1-812E-DD33453ADDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa6750f3149d248c4e232f6fdbdc36d7bc86e39","datavalue":{"value":{"entity-type":"item","numeric-id":2920991,"id":"Q2920991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$0D1B2601-7845-4779-A7EE-FDD1341A7C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084957$BDE0E05F-F3B0-451A-BC8F-761DF8561767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7982f44ee8820f06b0f278e95415b80e4cde74f8","datavalue":{"value":"10.1016/J.APAL.2022.103167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084957$50716D85-CD67-40DA-8F66-BB11B51A3883","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efea81d0211fdc8315a5294be8b1e8b315410ace","datavalue":{"value":{"entity-type":"item","numeric-id":6113982,"id":"Q6113982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4f7a5bcf5daaff04121b503a5961238501c84e","datavalue":{"value":{"amount":"+0.8355427980422974","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":"Q2084957$67381549-6928-4A81-AF18-CF957F515A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c569c2d8be1d9fcff4b83fe5bb0ebfd3019d095a","datavalue":{"value":{"entity-type":"item","numeric-id":2305434,"id":"Q2305434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c64246036f3790a7622008f18a6f17532ec0dc9","datavalue":{"value":{"amount":"+0.8233748078346252","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":"Q2084957$DA0D6EB2-BC6E-4D9A-88DC-063CC6FF0A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedc1ea2579d58dc468d1438bcd2d4b0bedb07da","datavalue":{"value":{"entity-type":"item","numeric-id":2303240,"id":"Q2303240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb63931574bdc49176f546588336e0583805c1a","datavalue":{"value":{"amount":"+0.814098596572876","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":"Q2084957$7002D35F-E704-40ED-9B93-DC7565C6B244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6a11fe9c7925bce8eaf884ea4961802e808d16","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22daa5c079b5b1b04c6cf60d37d6fc973a7e3890","datavalue":{"value":{"amount":"+0.7747414112091064","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":"Q2084957$24BE1B04-7EA1-4002-83D4-F183BF01B68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858189730601ab127bb167cd5cec59ec6245e14d","datavalue":{"value":{"entity-type":"item","numeric-id":5970776,"id":"Q5970776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6395b27756ece4c4de6f21ced85d27ab35021947","datavalue":{"value":{"amount":"+0.7541312575340271","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":"Q2084957$DF5393CE-1255-48D4-9D83-BB2E239BCC98","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":"Q2084957$DC4C96B4-6396-44A0-A628-B77C8C163882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2084957","badges":[]}}}}}