{"entities":{"Q4964695":{"pageid":6994274,"ns":120,"title":"Item:Q4964695","lastrevid":98315033,"modified":"2026-06-05T17:12:31Z","type":"item","id":"Q4964695","labels":{"en":{"language":"en","value":"Interactive learning based realizability and 1-backtracking games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317227"}},"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":"Q4964695$BD868B06-7890-4C5A-BFED-D6C06936CEF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ed8421a7a2de83c896576fb99a457222c42671b","datavalue":{"value":"1456.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964695$E531A2DA-3913-4CCC-91D1-34D71C8A14F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964695$30E9AE44-8F30-4755-B36C-F57DE74105A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964695$A253418B-057F-4F8B-A9DD-423F1382E8BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e0fcc9be77d43cf02547468c2340bfa5e6d847e","datavalue":{"value":"https://arxiv.org/abs/1101.5441","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964695$EAA13D6E-B58A-4F98-854E-C582C1161C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5244f4a32ace643e09cbe0b2ba984806f54eafc3","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC10.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964695$E3CF9961-C64D-4ACE-BD7C-5D648407AB17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964695$F6B01553-4394-47B7-A357-53EFB7C3E5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964695$99D23C51-7F54-44AA-B833-D80D21B62C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964695$701FC680-C1A2-4439-B992-424C5DA1B47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964695$D0D2E5C4-C4DF-4262-A214-566B345841AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fea831f86a2a028b357eaea9159f3cfd3ebf3ed","datavalue":{"value":"7317227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964695$53FF3586-7364-4C06-B3A3-B250E7CA5409","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":"Q4964695$265A0EFD-6621-4BE4-A814-0CEDDFB861EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97ed9fc3bacdb0b98adc91b8ad5a012c0dc0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":1946669,"id":"Q1946669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96ba2b759732d0cb1df6706a2fb28e6598b5401","datavalue":{"value":{"amount":"+0.9050883054733276","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":"Q4964695$E144C30A-7497-4096-84D8-19BC1C6D6CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eee761d350055cecaf5aeb7ffc1e23fab36fb66","datavalue":{"value":{"entity-type":"item","numeric-id":3637184,"id":"Q3637184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffa64dcf06e01db60d7b80c205fbc3aba2a8740","datavalue":{"value":{"amount":"+0.8039280772209167","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":"Q4964695$D3293734-1E85-4E6A-86B8-1160BDA5B991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5836db08dac9b4f207bdd9a241cb401d2c9557f","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968e5a2cd96408a3eb37d4b0ac995b32205be6ec","datavalue":{"value":{"amount":"+0.8017207980155945","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":"Q4964695$6F6A7237-27C7-4DA9-BBFC-8C64E31E811C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea18e8ea28d3cc5ad02cd232c358ad298d95025","datavalue":{"value":{"entity-type":"item","numeric-id":4649536,"id":"Q4649536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55d9952221f9f9d3bdf9d9551e5d1e0c5952818","datavalue":{"value":{"amount":"+0.7910712957382202","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":"Q4964695$42AF3E2D-CEE0-4756-86A7-1BCBE9917D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6372b8a24cdca7c3de059415eb18caa3f796d520","datavalue":{"value":{"entity-type":"item","numeric-id":2946659,"id":"Q2946659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4855be431891740b69f966aedcb137f00ec4828","datavalue":{"value":{"amount":"+0.7885745763778687","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":"Q4964695$A7050B70-7FBF-4B37-BFB6-E2B0E05AE8F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interactive learning based realizability and 1-backtracking games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interactive_learning_based_realizability_and_1-backtracking_games"}}}}}