{"entities":{"Q3449463":{"pageid":5199571,"ns":120,"title":"Item:Q3449463","lastrevid":58184004,"modified":"2026-04-04T03:44:22Z","type":"item","id":"Q3449463","labels":{"en":{"language":"en","value":"Games for dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504578"}},"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":"Q3449463$D4E77654-B3C4-4FBD-AFF9-5E97A5D716D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2f952ba35650109d2405dab9c1dbe5c06f6f4ee","datavalue":{"value":{"text":"Games for Dependent Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449463$B02B454B-0133-4127-81F7-030F380EEB5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd3a7782d9d7930e796afe805379fbfe490e864f","datavalue":{"value":"1395.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449463$3F951F5F-3D9D-425E-BD46-79407AED5C3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4099d30ef7072a522800e8bf7e3d009645dde54a","datavalue":{"value":"10.1007/978-3-662-47666-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449463$490C36E2-B2F5-4E4F-8931-A60A02113080","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$3E19301B-291C-4B68-AAC7-184D3FFD9CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$2B71BAEC-B710-459E-B91D-3F1D50EBD7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09c4ab2f85ec3a6c147a24b8fa181cc0bd032c75","datavalue":{"value":{"entity-type":"item","numeric-id":1641013,"id":"Q1641013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$C9644516-6F8F-4B27-9161-0E8682F35439","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$8C1CA71C-6531-4683-944D-29BA2D40AEA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3449463$EAEE3CA0-6330-4E30-A412-011B5A2F95ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e36c8063ab4c958c73fade35efa21d7d9875f367","datavalue":{"value":"https://arxiv.org/abs/1508.05023","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449463$E7C995AF-69AD-4AF6-821A-74F95B4E093C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449463$42EA4FB7-DB08-4747-992C-1D91A512D231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449463$E4415A85-6B59-4A00-815B-35F10CDA8BA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abe4a544f8eef819970577127a8a87271190ddd7","datavalue":{"value":"6504578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449463$28C17EF6-C752-4B68-9377-8C804371CF58","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"40bf94631462c4a2873a8b6bfe0b87e40d9d6381","datavalue":{"value":"Q57006413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449463$2FAB3451-DDE9-4AF5-B58F-E2F8D68FECA7","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":"Q3449463$497C2360-DFAD-4DE7-ABD9-9326DAC7B160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f26854241dfd19b2b3a13a30a49d07c28bd8a09c","datavalue":{"value":"W1863499813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449463$2F011902-353E-4424-98CB-03BC40BB26B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$AA56243F-8C46-4DF4-8F0D-5ED17F27B656","rank":"normal"},{"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":"Q3449463$A00C20CA-10AD-4636-B90C-F0F999E36975","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":"Q3449463$3F3B8671-528F-493D-B836-97441F0D53A0","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":"Q3449463$A4BFA8CC-1695-4FFF-834B-EDA915D5A41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1122bc32db5efae3e398837caf67b0f34fe3b04c","datavalue":{"value":{"entity-type":"item","numeric-id":1772770,"id":"Q1772770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$F4F5BCDD-010D-4337-8F92-A12678645B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$2CA7BA71-EF83-40C7-84BB-980835FF8C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$DF7B71C0-E3C1-4AAA-998C-CBE487A5372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$AC95B31D-F9EA-495D-860F-A89F54DC5771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6956a12199d710944333687ed9f973870967e27d","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$C62A9AA8-13AE-448C-8CBC-754DC541F74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7b6faff42cc72d9e20b7c81c969d3049411ca1","datavalue":{"value":{"entity-type":"item","numeric-id":2805155,"id":"Q2805155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$32D43B51-2440-4128-A1B0-F20717E009F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1375d9fcfe42e7891c55cc1977c75bca65ee4a05","datavalue":{"value":{"entity-type":"item","numeric-id":2948554,"id":"Q2948554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449463$6458D246-F914-4190-981C-8AC46C49DA88","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"18e44112d601fdb9ec978ab3b250fde962e705e7","datavalue":{"value":"conf/icalp/AbramskyJV15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449463$0979443B-B786-4C5F-AE8D-935731A936C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ba4b3cdb331bb4d2bf512bed3569ae341ee045","datavalue":{"value":{"entity-type":"item","numeric-id":1641014,"id":"Q1641014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4275620c77154cf5fe74828f935967626430514f","datavalue":{"value":{"amount":"+0.9640450477600098","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":"Q3449463$092D1869-5A7C-400F-AFF6-BE8C503B0C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de288d75e5ba5f26ddf973ec4765e76957ceab9c","datavalue":{"value":{"entity-type":"item","numeric-id":5145281,"id":"Q5145281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff00845a31bac3af49ddeb5c814bb8e7b0f2342","datavalue":{"value":{"amount":"+0.7989171743392944","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":"Q3449463$22087724-F7B5-4AFD-BBAA-3EB0FFAA5A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2773845f860dbaaf9ed0db5cc2f765e2fd9ed4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4417848,"id":"Q4417848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a5f6110bb6bb021a4a48a3478e073363afddc7","datavalue":{"value":{"amount":"+0.7405498623847961","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":"Q3449463$A9D63657-1F51-4DF9-B1CB-553D939BC628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df284813d85477ea847b837d5831ef7f5ee82ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a5f6110bb6bb021a4a48a3478e073363afddc7","datavalue":{"value":{"amount":"+0.7405498623847961","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":"Q3449463$6643859D-BDC0-43AA-BB8A-CCDAA3C88F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb868d9d7af9c9dfb8f64f6ce5cb5b4615b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2cbecd5db05d9392d14e2c2a5bff84dadf70c6","datavalue":{"value":{"amount":"+0.739233136177063","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":"Q3449463$2CEB3EEA-E4EE-47A5-BA20-B22773E962AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449463"}}}}}