{"entities":{"Q354613":{"pageid":356380,"ns":120,"title":"Item:Q354613","lastrevid":61343223,"modified":"2026-04-10T22:44:53Z","type":"item","id":"Q354613","labels":{"en":{"language":"en","value":"Proof systems and transformation games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6189550"}},"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":"Q354613$8AD0BD23-C200-4D4A-A36C-26F4E2498BF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"023eed4fc0bca76c63ae6860922a98014dcfaf8d","datavalue":{"value":{"text":"Proof systems and transformation games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q354613$437611CE-93CE-4759-8D0D-836051B1D94A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea6e649fcf71b7eec601eb84a0622a0f09134242","datavalue":{"value":"1272.91022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354613$6FA3EBFB-61FE-4D36-9F23-CD83346B0B79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e883a35d3a28669eef9486e8c69748089032dff4","datavalue":{"value":{"entity-type":"item","numeric-id":354610,"id":"Q354610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$3CD60E1B-999D-4CD6-AEBF-EBE88DF8BB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d87fbdf267514b4406f204e3c360fe91c5099a3c","datavalue":{"value":{"entity-type":"item","numeric-id":354611,"id":"Q354611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$65C0705A-488B-4E31-AD7F-B2D2EE48EE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$B153645F-DA4C-43BE-932B-FA4BE6AB048B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d507108377ce343b27aaa1d44087bc3c6c56c3de","datavalue":{"value":{"entity-type":"item","numeric-id":354612,"id":"Q354612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$6568388C-EADF-4BC2-B6FD-0B41FED268FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$D0EAB164-1273-45D1-95F0-B12EA1862057","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"088890f9b4ff718d86d26dd0e453fa439be94488","datavalue":{"value":{"time":"+2013-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q354613$F93EEA2C-E07E-49BD-A69F-6371720BD8EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a3f0eb3cc4f9fe5ca1a05cb1b9752340bb8dff5","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.631.4209","type":"string"},"datatype":"url"},"type":"statement","id":"Q354613$2ED47A8A-99BC-4945-880F-41C0BC75EB89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7821ac546420ffac288c241a881e247a33d0c98","datavalue":{"value":"91A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354613$3B6E8D2F-82F8-4A5E-9A9A-85BC9D66CE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354613$0DB41535-BB69-4B33-878C-DA4F9A61F29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354613$9F877D5A-0FA8-4DD5-9476-B3E170225AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13bf60954aa9bb2ac52b8b8ea3ac3c8cc21d5aa4","datavalue":{"value":"6189550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354613$A97FD10F-D3CC-4889-AF81-31213EE60746","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac14ced1a259a7bf650370691ebcaab82d819f87","datavalue":{"value":"transformation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q354613$AF1AD4C8-D810-4CE7-B811-9F131600F9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a9e9d248081b3693918d19c605a80b9119d842","datavalue":{"value":"supply chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q354613$71AD2791-EDF2-4EB0-8680-AAB448D6E74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274d092672a414a51cbf1f9c6392a720be1e7927","datavalue":{"value":"core","type":"string"},"datatype":"string"},"type":"statement","id":"Q354613$050F5247-1730-4A7F-827E-A6D732F12549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751a77163c137ecac644be00f69b690779e29784","datavalue":{"value":"Shapley value","type":"string"},"datatype":"string"},"type":"statement","id":"Q354613$108AD83E-9A33-47DB-B9C6-C26D4DE4E5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"245b22cd5ddfcdd002fa0e08aacefeaa1b5b84dc","datavalue":{"value":"power indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q354613$591CFEE2-F98E-423C-BC61-15063D7EFF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00f044d42ca7b635014c10ae3b6225fd8748423a","datavalue":{"value":"cooperative proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q354613$48809205-9200-40BB-8043-98C9F449D3A5","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":"Q354613$CE456560-EEA1-4EA2-930B-933A667B8AF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97ceb1738d37378648cdf9b49e11ff38c785390e","datavalue":{"value":"W2029955772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354613$65ED42BB-549D-4112-99BF-30A1F2EB8371","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00a88516a9b9d6e8e8f2f627add4877c0f7c6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1354105,"id":"Q1354105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$B3DF35A7-0B7B-432E-B2E7-1A1B3284B1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c99eaaa3476894721ba00081d32daf28a9e97ce","datavalue":{"value":{"entity-type":"item","numeric-id":3068942,"id":"Q3068942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$AFEEDD3B-F282-4FF1-AC68-18D0A70B4210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e8130bd6b5666d6742d3d9a137a0cd0f9693fa","datavalue":{"value":{"entity-type":"item","numeric-id":3638444,"id":"Q3638444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$4076D260-C2E3-4E2B-960A-DE6752809310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7bda4da99171760f7dd4abf2109404fe8d19c2","datavalue":{"value":{"entity-type":"item","numeric-id":3088027,"id":"Q3088027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$03818653-F276-4971-92E2-B95CD5335928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d424c5728de019214d3d111e166916a3197d6b","datavalue":{"value":{"entity-type":"item","numeric-id":834859,"id":"Q834859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$E987239A-2C17-4376-A12B-CB202DD419EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58103b8a35cea09f863d6f83a1a032332583dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3648848,"id":"Q3648848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$E3E1DF28-59C2-4A7E-8B82-5DCDEB5F4185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16634a24214f35bef4c1198df3f73db7f1aa6989","datavalue":{"value":{"entity-type":"item","numeric-id":2457612,"id":"Q2457612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$85095246-103B-43B6-8323-21497762398E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57d0ba93ffe493e45b81cfb48efb934e8b71aed","datavalue":{"value":{"entity-type":"item","numeric-id":3911709,"id":"Q3911709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$C50FC9FB-2028-4382-8E71-55B287CE77C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdcfada6a95d76c972a5015466ce213a503f496","datavalue":{"value":{"entity-type":"item","numeric-id":490424,"id":"Q490424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$1C9573C9-6A13-4609-A1A0-47F3CF13EAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb01e4a62da200df32b5f38838f534bb6ae06d1","datavalue":{"value":{"entity-type":"item","numeric-id":4927422,"id":"Q4927422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$3339B493-D39E-471E-9A5A-7BAA6F83A92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2510cb593646c01be79a7f5c56c13f5977b7033","datavalue":{"value":{"entity-type":"item","numeric-id":3586074,"id":"Q3586074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$D66C0718-C081-4C97-A3E9-CB235BE61790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768e3af104fef9ea3cc37d158f8ed2ff06159419","datavalue":{"value":{"entity-type":"item","numeric-id":2897171,"id":"Q2897171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$71FB232A-3C10-4802-956D-3FBBFDF2D3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c24cd90f1d8138d69d04136a8ba01d992dd2663","datavalue":{"value":{"entity-type":"item","numeric-id":3115463,"id":"Q3115463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$72CE982B-484A-49CC-8D8A-B6A47AC53953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa1290987e9e9910315413923140808cd3d7e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4852629,"id":"Q4852629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$8A3F8F14-01F5-4958-BEB9-4401F209FD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$A93845E2-A74A-44EA-8E7D-2495990E425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b759f6e3ad21e291ba51f37eb5ce8f60f05f3384","datavalue":{"value":{"entity-type":"item","numeric-id":3410593,"id":"Q3410593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$062D354D-316D-497A-B626-B8E9F2E2E5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5b6e9812029bacf492b5a77a24f82de382341d","datavalue":{"value":{"entity-type":"item","numeric-id":4302588,"id":"Q4302588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$08502AFC-B703-4A33-BC1B-0C4FF660078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b93d5e4ae239e2e262a6da2c5c61255105cd53","datavalue":{"value":{"entity-type":"item","numeric-id":1370593,"id":"Q1370593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$F2E606A1-1ABC-4E1A-9E89-14F5F154439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2882e8eda79392c0822124a00ff73090fa90dd0b","datavalue":{"value":{"entity-type":"item","numeric-id":1185731,"id":"Q1185731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$D5D1D2BA-1E03-49CF-9AC6-DD621CD089CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db993a51fe849d6051d1e90771586d6b92966089","datavalue":{"value":{"entity-type":"item","numeric-id":2268913,"id":"Q2268913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$0390D327-BB69-444B-919B-41846D41F952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39500cda1f0b71eaf8e0cd5a3933423b528e668","datavalue":{"value":{"entity-type":"item","numeric-id":3511427,"id":"Q3511427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$86608AB7-EC62-4A6A-99AB-0C00D285930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$678DB814-FA3D-4C12-BFB9-861D19A8D6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$C2FA6E3C-EEF6-4270-920B-6A46C8FFC392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa9976b685119bd61116dfe5c866a58d46b4d32","datavalue":{"value":{"entity-type":"item","numeric-id":5313998,"id":"Q5313998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$01E5C856-C029-46CA-98E2-6443121C45F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9f9d9205fb81acb855e1fcd51dd09d46ead3a6","datavalue":{"value":{"entity-type":"item","numeric-id":5817872,"id":"Q5817872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$04BF1E41-64E6-4627-A4BB-6DF561456D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab89a334c4e8c98816754ea7285d69b91123380a","datavalue":{"value":{"entity-type":"item","numeric-id":3527700,"id":"Q3527700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$0823EFA7-B123-4E13-B9AA-CD545B6751D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$B92523AA-DF93-4CEF-A226-A691A85D2198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3af4834699648f029cab541f189784f75f4b79e","datavalue":{"value":{"entity-type":"item","numeric-id":1396937,"id":"Q1396937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$D7C812E6-82D7-4FFD-A139-1580412FF8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7112a1bf61c21612423a7f8ef8bd85414fbecae8","datavalue":{"value":{"entity-type":"item","numeric-id":3117739,"id":"Q3117739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$A4D33F89-DDB8-475B-98A7-47C02BA06738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1d39c61697b587118a926d22b741e80611daaa","datavalue":{"value":{"entity-type":"item","numeric-id":5941522,"id":"Q5941522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$99309426-E824-4106-BD4B-A478D640422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae549105551189e7024fd18ed15b0876044bc35e","datavalue":{"value":{"entity-type":"item","numeric-id":3162532,"id":"Q3162532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$1071467E-2D79-4362-BDD3-4339AE00704F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$15BA6C4A-B1B5-41C0-A30B-C862B3DDFCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b8b95cbb0698c4a876796714aa59c8b94b63d3","datavalue":{"value":{"entity-type":"item","numeric-id":4099443,"id":"Q4099443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$D8CAF4A5-803E-4A6D-BDA8-6D3117501850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d409955976575d1394d9a447d8c10cc611e03c","datavalue":{"value":{"entity-type":"item","numeric-id":5758064,"id":"Q5758064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$77E993CF-E839-4CCC-B844-A0D52BE298B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbefe120a4dbbd05e43d3d926b66ae5714ae9c44","datavalue":{"value":{"entity-type":"item","numeric-id":642974,"id":"Q642974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$68B61B04-3F08-4F71-A1A8-35B1C7A59A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63610dc7579bbc9f89616893af45f2035e10176","datavalue":{"value":{"entity-type":"item","numeric-id":3182962,"id":"Q3182962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$2706F858-B7EE-4866-89CD-0737FDE5F1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb9fa934f444f09eb1ef077341f0b719867a75d","datavalue":{"value":{"entity-type":"item","numeric-id":5585899,"id":"Q5585899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$CD7DA7FD-5A02-494C-84AF-FB3CA88ED6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8193851be3092c092c6c4c1ddf3b58c20797d0","datavalue":{"value":{"entity-type":"item","numeric-id":5817870,"id":"Q5817870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$B0EEA6A6-6F4C-41D5-848A-D551F608E95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19bae534540b3cc8b15a8c0f045c804c3ffb952","datavalue":{"value":{"entity-type":"item","numeric-id":3612355,"id":"Q3612355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$606B313E-FB45-4397-9D81-2A4EB6881BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb9e1b413b2c6928165e951f43c458b02d5d8d4","datavalue":{"value":{"entity-type":"item","numeric-id":2784460,"id":"Q2784460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$C2AFF830-F2BB-492A-AD58-F7524CF1D956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a311fe1e9f7a8ab759018f3265e96dd6057c882a","datavalue":{"value":{"entity-type":"item","numeric-id":403973,"id":"Q403973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$EDD60203-8DE4-41F1-8C35-64A11F73AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e99e0a7607698defb7e303e2bd23af0cd90ade","datavalue":{"value":{"entity-type":"item","numeric-id":3617024,"id":"Q3617024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$888ED215-3B3A-4CFB-B21C-0074CC976FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7dca7ccc1dbbd03392690533358e9e2fc53483a","datavalue":{"value":{"entity-type":"item","numeric-id":420828,"id":"Q420828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354613$310D495D-4DC3-45B4-ACB5-8EEB3DE903C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"092a4f5fb778b1ba8a7f43c4570f46ac11221e1e","datavalue":{"value":"10.1007/S10472-012-9323-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354613$9E82CF46-7FC9-4DBF-B539-FF27FF193597","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5818bcf0aa6702f8f4c08bd9a65dec8aae629337","datavalue":{"value":{"entity-type":"item","numeric-id":3586074,"id":"Q3586074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faaed7f2eee5d93dcd93b8084abc1781daf6d2ca","datavalue":{"value":{"amount":"+0.9791842699050904","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":"Q354613$0EF12208-99A0-4652-A042-57A149A67921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25f552e8ecadd8430f07218f163b0e71d99b12a","datavalue":{"value":{"entity-type":"item","numeric-id":2269130,"id":"Q2269130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed50ed67dda9abffd2e81835af59d5c9c486755","datavalue":{"value":{"amount":"+0.7647234797477722","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":"Q354613$6AEC7803-4CF3-490A-A44F-8F9A8ECC1BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452966639ac7f6f6b8881b7d11b64038ac22e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":2457612,"id":"Q2457612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0476ef6ba3ea2dbdc75f3c6de1cbfd8848f264","datavalue":{"value":{"amount":"+0.7530645728111267","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":"Q354613$9AD20C71-CF73-4D66-95AA-789802B1A2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e9b7e5eb3c2597b2c7fcb0dd0a2a06dfa74ff1","datavalue":{"value":{"entity-type":"item","numeric-id":972788,"id":"Q972788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823be91fbbcce938d450605a9a591fa95799b7dd","datavalue":{"value":{"amount":"+0.7410849332809448","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":"Q354613$8316E5DC-3BEC-45D0-94CF-48905D0AF25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd333ad9b3467846dfe3a17fa419d9b5e6fa487","datavalue":{"value":{"entity-type":"item","numeric-id":1617670,"id":"Q1617670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedfeb36e2631c01ac399cc69efe478f82cdf9e6","datavalue":{"value":{"amount":"+0.7408279776573181","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":"Q354613$DAD66E84-B3D9-4686-A271-6CCECA754B0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof systems and transformation games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_systems_and_transformation_games"}}}}}