{"entities":{"Q3384162":{"pageid":3394865,"ns":120,"title":"Item:Q3384162","lastrevid":58148874,"modified":"2026-04-04T00:23:47Z","type":"item","id":"Q3384162","labels":{"en":{"language":"en","value":"An existence theorem of Nash equilibrium in Coq and Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445157"}},"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":"Q3384162$7ED7F2DE-9AED-4DFF-95A8-521339FF03AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dbc81a396d2455fac41e1adb416b438fc6e7245","datavalue":{"value":"1483.91014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384162$EDFCCEB9-6CE8-47C5-A5D2-FEAD5A788953","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fc8a6bce42d803eaa16dfe814a69df07873961e","datavalue":{"value":{"entity-type":"item","numeric-id":326848,"id":"Q326848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$F5CC0573-E370-448C-B30D-962AC0397808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"232dbbf2f85a77956592acb3d7bdc0a70d26a60f","datavalue":{"value":{"entity-type":"item","numeric-id":331613,"id":"Q331613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$AFFE8942-7B71-4776-B11F-80F25372F11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94641c8c41609ae12c24fccaf13910d4ca73205e","datavalue":{"value":{"entity-type":"item","numeric-id":2723917,"id":"Q2723917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$06B04365-F89A-411F-9B87-F04CBFC3BB9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-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":"Q3384162$E5EDD56A-220A-4BB5-A669-CCB1AEABD94B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d485a3c934b0a150b92cadaa94f29fef6cabc398","datavalue":{"value":"https://arxiv.org/abs/1709.02096","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384162$DEBD621E-2DF1-4E83-8F25-0B7B99050BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ebad917fe95180e7c2238533970df2ea9dcaada","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384162$660653A4-A3B6-429E-B73A-3F8FD4918EA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a7dd7003e1269b5b10ff3f935da8af9e44f172f","datavalue":{"value":"91A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384162$08FC978D-A164-474D-ABE6-26515AA6CB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384162$AC072D93-CD31-4692-8643-70F81829B08F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"821bc4f4366aedbb515405035b871c1889a3eb8e","datavalue":{"value":"7445157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384162$7DE51558-F365-4C22-A978-6CEF9C4BD143","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$08462F39-A904-4235-B617-96CDC53E9FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$3AE256A1-FE3E-4DA9-B23D-12986D28D10A","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":"Q3384162$6DA563B9-0855-42E0-9F32-F1D67972FB8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"084d5b51507cddab426108c0b9aceb5564bf000c","datavalue":{"value":{"entity-type":"item","numeric-id":1230791,"id":"Q1230791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$5C209A61-C13E-4771-B487-AF8FBBDF1780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ea600785a73a962b2f54a81ad8665053be0986","datavalue":{"value":{"entity-type":"item","numeric-id":3569732,"id":"Q3569732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$BFDFD259-41CE-4FF5-9254-8C9655BDF6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$F37A471A-09F9-4E2B-877B-B1781BF81D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b3a63191708fcbef13555df7dd8e686610d49c","datavalue":{"value":{"entity-type":"item","numeric-id":854165,"id":"Q854165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$E534786F-2082-4970-B747-D21D0053A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c70fd9026cd6411e893674389783cb361acfa96","datavalue":{"value":{"entity-type":"item","numeric-id":4090165,"id":"Q4090165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$081A2B5E-F297-484B-BFD9-F5BC1FF7C490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$346C941D-CA35-4386-AEA7-9B32839233FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a6ee5460b30bef808c798caee8e99c1632e539","datavalue":{"value":{"entity-type":"item","numeric-id":4103355,"id":"Q4103355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$B934A1E0-8DA3-4E93-9CEB-AEEA69F350CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1b1ca5d530b7e1f4ad8c4fa7bdb0c8f7b083c9","datavalue":{"value":{"entity-type":"item","numeric-id":3821979,"id":"Q3821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$4C6FF137-5CD9-4D97-91A5-9525E0DA7D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877d47b5a68833b40336ae79952ca95bc15be14a","datavalue":{"value":{"entity-type":"item","numeric-id":3183536,"id":"Q3183536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$108DD1FF-85F0-4EB1-8868-B8840FFD01EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28119572d0ce85023cd1bbc1b4d8dfb7eedbcd62","datavalue":{"value":{"entity-type":"item","numeric-id":2922499,"id":"Q2922499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$86768102-E11E-475D-8A77-FF8C552994DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7e365e592a0bbd1e5a9bb373943f2002fb5237","datavalue":{"value":{"entity-type":"item","numeric-id":715039,"id":"Q715039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$58A407DF-A8B9-4137-BEAE-8153345DACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$22101D27-0DE9-46C9-8554-BFD60DFC1335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0c703be7502274e597c042f70f9395d05e4749","datavalue":{"value":{"entity-type":"item","numeric-id":1162428,"id":"Q1162428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384162$31FF6B30-EF73-4493-B2E4-125548B6FD38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43cdf774c485652d5f1f2f4ef7f3af82edb29ef","datavalue":{"value":{"entity-type":"item","numeric-id":1045892,"id":"Q1045892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6945bd95bb3580f6bc8a1e5ffa03521f72bcac71","datavalue":{"value":{"amount":"+0.8694561719894409","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":"Q3384162$596E5F9C-53DB-46C2-A673-9CF2F281A689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250f5eba131549a3a8b7e50d178d66eafaa5dd14","datavalue":{"value":{"entity-type":"item","numeric-id":3183536,"id":"Q3183536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960ad6168d5375603d44e2220e2f8fa0fe5a57c2","datavalue":{"value":{"amount":"+0.8427969217300415","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":"Q3384162$E17E5D05-823C-4D01-A9AA-057CC4AAE4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8535086847bfdd345ca4f502bed298d5a3e729","datavalue":{"value":{"entity-type":"item","numeric-id":458483,"id":"Q458483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557f4733d69d559a266ab6e8bfd22d21760d0a7c","datavalue":{"value":{"amount":"+0.8082479238510132","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":"Q3384162$3F24F4E6-F972-46C8-BEE4-12A358F29A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e11c5c7255c3c0c7f03c5e5a3b9eac2e6e1fb42","datavalue":{"value":{"entity-type":"item","numeric-id":408489,"id":"Q408489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae94d9dad0840c537c0a85d4a89a61d2803a9703","datavalue":{"value":{"amount":"+0.8008335828781128","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":"Q3384162$0AD1A01F-513D-4CDD-9A80-686FD1525808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cfce535a2a44482b8cf1884f742d7689679751","datavalue":{"value":{"entity-type":"item","numeric-id":2922499,"id":"Q2922499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9d9a0c7f8433ace662c95a25beb2388f0ac0c6","datavalue":{"value":{"amount":"+0.7834444046020508","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":"Q3384162$0043750F-579D-49AF-805C-2EB02C1108FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384162"}}}}}