{"entities":{"Q636305":{"pageid":638153,"ns":120,"title":"Item:Q636305","lastrevid":63167808,"modified":"2026-04-11T11:03:43Z","type":"item","id":"Q636305","labels":{"en":{"language":"en","value":"Proof and refutation in MALL as a game"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943612"}},"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":"Q636305$D689C6E0-1A60-408A-8721-39473079CCEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74434cf32d0e472ecdf32418961e2814b8c7d213","datavalue":{"value":{"text":"Proof and refutation in MALL as a game","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636305$5B7C37AB-E48B-43B9-945A-026BDDB572B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fbf4c51d96f3f994b69cb0462eac2fc6a2bf5db","datavalue":{"value":"1257.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636305$7E2E96ED-2ABE-4638-B4F1-9144761E680B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6d04e73ca41cc17a6a2426de7e9c39ae4625e29","datavalue":{"value":{"entity-type":"item","numeric-id":636304,"id":"Q636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$AF99F075-5F99-4E5D-8FD5-A6C052FB6045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$379A43DE-BED8-4D86-980F-92D34C130F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$40161A7F-F1B1-417B-8A44-FB3E32086BF9","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":"Q636305$B149DDC3-61C2-492A-9C01-ECFE7957EE23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636305$FC3035FE-17A1-4FB5-A27F-F3C8382EA319","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636305$3B61A417-66DF-4F94-81DA-84F6B46847B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636305$9B43143C-C331-4079-807D-A1D97D09BF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636305$55C43F5B-57CA-45D1-84D5-E3FE9CE02A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636305$A03E705D-8C01-4941-AB8C-91981AC5D6CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c3ad0c88a75e1f8a05ce04a1cada972df36fa87","datavalue":{"value":"5943612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636305$58483FC1-FE13-40E3-8770-5B68BF9DBF78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q636305$13E903DF-D73E-400E-814C-A0E8A2256E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q636305$4D30313F-99C2-4E6C-9720-62C043087067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636305$E55AD9E4-7296-4544-91DF-E7FC3FDD1350","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":"Q636305$F02AE714-C154-4318-94F4-9921731085F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b865f440e821c813aeba4b87f7199d444d8ac33b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.07.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q636305$F90CCE9F-DD88-43C4-9566-0192BCB08F7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab731ca8ec528728f70b00f563979a9818a2328e","datavalue":{"value":"W2106631406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636305$06045DFC-4B4A-48CD-9F93-AC7CF6071030","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$046F4858-D559-4233-84D2-B522E2895F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$647025D8-C599-444E-8D45-99777EF850E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$3BDC8500-2726-458B-A125-5324C3ACA5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$92F5F3A8-09A0-4B58-A134-DAEDAA41EEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$F3AEAEB4-7F53-4F3C-A891-AA983E12B063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15e20329e7aa5ad90521542316f2539c05c7ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4411840,"id":"Q4411840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$7926676B-D6A6-4B51-9E63-059A8C3A001E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fecc1cae86af7527d2bf5f4519470c4a693e30f","datavalue":{"value":{"entity-type":"item","numeric-id":2474440,"id":"Q2474440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$7F21EABC-20C4-48DC-B698-B9224C0D030E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$F10AF505-D1F5-4838-B4F0-0CB3F57A0665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c503eec55a1ac4f23ca138b62a55de1f3e0067f","datavalue":{"value":{"entity-type":"item","numeric-id":4263837,"id":"Q4263837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$B37D8530-B843-45BD-BB5E-0C46C9510FE6","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":"Q636305$179C58FC-F26A-45B3-B3B0-284D8F4EE6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$FFBEA55D-FEFA-4646-869F-A63A246E329C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa75a2a9d2bc0be13b915a63219211921806e3","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$73DEB006-96EF-44D2-A8AB-B54C7A47BAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$E03B54E0-699D-4264-83DD-0C9D261CD1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1d00a2136bd0f3d0105551f99a80d6150e1d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$DDEC8032-2FF3-41B0-A0BC-E35EE2BBDF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$B25378D9-1F27-48A9-9980-BE7813CFCB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$12E19072-C96D-45FF-9AE5-091938D27BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dd5459d0d15baef4d77d33de8211cce0b5483f","datavalue":{"value":{"entity-type":"item","numeric-id":2767019,"id":"Q2767019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$681AE05E-E2B8-4A2A-B7BE-5E7FE526618C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$D3E7680D-AC2A-4A1D-A139-7516E50ACF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473157de33e9daafb8a601b8d009c0cc6f89ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":2503039,"id":"Q2503039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$E5D0747E-401F-4BB3-B4A5-1D2BC414E048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4d3318c286766f6c9764c900b85ec244128ad","datavalue":{"value":{"entity-type":"item","numeric-id":2852368,"id":"Q2852368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$C49714F2-8A6B-4F93-911C-86259B0F36E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096d020d9cacb718bc76ea953077420460e0299d","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$CA86C259-3B40-4EE5-AFD1-FE69BA78156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47fe64ab5b090612d4188860876da904dba9bb60","datavalue":{"value":{"entity-type":"item","numeric-id":5504660,"id":"Q5504660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$E6192156-19A7-4ED0-A3AE-1C4F3B8086C8","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":"Q636305$2721FD52-BAD6-498F-8C2F-0558CA7E1622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad763e33fe47115b7aae8d11b49c91399b915876","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$93D8C939-0063-430E-AFC7-EC9BE2A4914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636305$E1EC2AD2-5A08-41BB-89A6-8E295B19857A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"838128f11dc567f408194b92e04d8fee8a0d7af2","datavalue":{"value":"10.1016/J.APAL.2009.07.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636305$5CD8E084-9189-4146-9DF5-9CD13BB1D423","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3a88331ccffb7f9225eda682324093981fedba","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65dc98aedf0cecfc1b659322f65dd6e7cd6c5a6","datavalue":{"value":{"amount":"+0.8775561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636305$11865A00-3616-4780-A5C8-317F6335608E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcfddd06bb87138404d949b4be118cc8b185c17","datavalue":{"value":{"entity-type":"item","numeric-id":2401854,"id":"Q2401854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9540614e7111fac37d80d56cbe917949420d3a7f","datavalue":{"value":{"amount":"+0.81360096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636305$B7B81396-4761-440D-A563-F128E3849D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23712cabc9bcdfff6776d12b1d0e9523fe27cb7f","datavalue":{"value":{"entity-type":"item","numeric-id":2942878,"id":"Q2942878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d11ecd02cfded34722fbc87d371cc608685e22","datavalue":{"value":{"amount":"+0.8078165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636305$015CBF58-4AB6-4552-92EC-5D7C83A23D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86957ea5cd9f52e92d0cccf236ce9e3b3df2e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":1339751,"id":"Q1339751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d658425186cf709a8a20df878f866d1500644736","datavalue":{"value":{"amount":"+0.8049805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636305$65935442-6C0A-4CC3-9C61-089A49FFE48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67e2e5395d4220ccebb5da76231f6df77d8d173","datavalue":{"value":{"entity-type":"item","numeric-id":3007292,"id":"Q3007292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30043d757b75b2bb23c565e585680adaacb4190f","datavalue":{"value":{"amount":"+0.7968445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636305$B9162690-4DD0-4A65-8F21-FFECD4525B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6ff3894a8e98dd74347b383acf901c6e31acfc","datavalue":{"value":{"entity-type":"item","numeric-id":2049890,"id":"Q2049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73311352bc15e7cf681c3326bb9c9c49e0ebfc50","datavalue":{"value":{"amount":"+0.796146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636305$A08686EA-4C9F-43DE-BA77-FB409C6178A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof and refutation in MALL as a game","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_and_refutation_in_MALL_as_a_game"}}}}}