{"entities":{"Q2799101":{"pageid":2809839,"ns":120,"title":"Item:Q2799101","lastrevid":44693646,"modified":"2025-11-25T03:28:44Z","type":"item","id":"Q2799101","labels":{"en":{"language":"en","value":"Interactive Coding for Interactive Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566659"}},"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":"Q2799101$96A7C428-9E14-4300-9B29-29C0A0AAE36B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e3ae63d3b8249c42e9a12d42e74423534ae918a","datavalue":{"value":{"text":"Interactive Coding for Interactive Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799101$DA8652CB-2BED-4CE5-B3B7-89880F7383D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dbd45655eea23358c75541a6a7c4e7fb2d8e2ee","datavalue":{"value":"1382.94068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799101$400E2A8E-6FA2-4ECE-A7DD-7FAF861A135A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b0c2b4ccd0e49c2d4dddb9b078d75a01d9f0e84","datavalue":{"value":"10.1007/978-3-662-49099-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799101$A7C3955D-77A8-45CA-9CF9-C4CE8C1A04CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da8084193c9b46adf57f9e2dd516e5f5b46e750a","datavalue":{"value":{"entity-type":"item","numeric-id":776014,"id":"Q776014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$6C1559C8-36DA-4243-827D-A5197A393705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b56e951f37f665efa9051711bf99436b7b07b02","datavalue":{"value":{"entity-type":"item","numeric-id":1648792,"id":"Q1648792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$9F214AE6-F64D-4833-9FB9-452A0A985972","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68112eaa93e12413c3143a6d55dee273a898891e","datavalue":{"value":{"entity-type":"item","numeric-id":2796114,"id":"Q2796114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$3276D080-79A3-46E1-A039-CD525FA7C112","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86ea1a94e09e929f8289e34f06858aefd9bcd2f","datavalue":{"value":{"time":"+2016-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799101$7E2A40C2-31EF-4C75-A899-11CC30AA8350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799101$F4636C5A-397E-490B-98A0-913757B054E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799101$D4A4C523-7ED1-4AAA-8CE9-5CACC7DC285E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ede6f2f67e6d7157c696095ea4a07df4ccbffd10","datavalue":{"value":"6566659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799101$568B02AE-598D-4385-9B4B-ADC3A888B2AD","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":"Q2799101$F0CB617C-B6F1-4DAB-B488-CEEAEE8B594F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2431d0c853f1bebbdf635d0689ea62dd08f4fdb","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49099-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799101$F5B5CF9B-7218-45A1-844D-CEDF4E195FA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db7c7d934fe65be799b076418a63eeb32dc51d7f","datavalue":{"value":"W2293295602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799101$D45E6067-B4E0-4688-A0D1-E344A650C23D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a3c4a236e1a86a9306468a70629484f76019f1","datavalue":{"value":{"entity-type":"item","numeric-id":4014640,"id":"Q4014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$C1A3C40B-07EA-4227-9DA3-8C263B56F3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1a24af0d6b3f7fceb104e5162364109d876a2c","datavalue":{"value":{"entity-type":"item","numeric-id":1321030,"id":"Q1321030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$1616E3AF-2CCC-4D6E-83E1-5F932988C0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5236821d74a3b1b3d3e0b266064e904a896e0d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2826052,"id":"Q2826052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$7807A570-7837-4DEB-B774-42C02847DF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a7fe5a6e08fd46e63cf2497f80dfa51f64a1ca","datavalue":{"value":{"entity-type":"item","numeric-id":2968158,"id":"Q2968158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$0B3B40D0-CF88-456C-ACAA-F3191C601503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04716fca3661abfce383a6c6b949e661519d35b7","datavalue":{"value":{"entity-type":"item","numeric-id":5419085,"id":"Q5419085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$DA8C69A5-39C4-4F81-8512-6B37392DC19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a88798188f38afede549ad30819572e7fe9676","datavalue":{"value":{"entity-type":"item","numeric-id":3408185,"id":"Q3408185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$1A2C9428-9150-48F4-8602-4D5ED400178B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9283475f3cf4d9c4baf2c6bf27eb54c0562ff693","datavalue":{"value":{"entity-type":"item","numeric-id":5495041,"id":"Q5495041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$6DD00212-5B44-4292-81B0-84676923F4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587b31d42fde58bbff8b8fa19dd8fc9ffeb61104","datavalue":{"value":{"entity-type":"item","numeric-id":2988873,"id":"Q2988873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$E0CF3229-933A-46EA-98EE-8D16AA5A4546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ae0aa43495a551eaa28103e866399864fa1acf","datavalue":{"value":{"entity-type":"item","numeric-id":5259615,"id":"Q5259615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$E2DF5882-CA41-4D25-AE00-34D2114CB3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e021774faf57f958111e98c4340b9b9441889e","datavalue":{"value":{"entity-type":"item","numeric-id":3549691,"id":"Q3549691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$34D89FF6-9541-4FF0-9849-23950758F299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93f15fc0e2812324ad43d63cf83cdb7dc413dca","datavalue":{"value":{"entity-type":"item","numeric-id":3408184,"id":"Q3408184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$72FC3B32-04B4-42A6-861C-96EBED4DE505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101d2a208d3cae6ba488f21ad6bdc10331e25940","datavalue":{"value":{"entity-type":"item","numeric-id":3137711,"id":"Q3137711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$EEBDAF17-F57E-4612-81FB-1116DA0B00C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614a2f8011affdacd559034f4f245472c7550e03","datavalue":{"value":{"entity-type":"item","numeric-id":3549641,"id":"Q3549641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$0BB9BDD4-862C-4AB7-9760-EBEB42F4FBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e26784c1039a7f52572f86a2b42b61d9790c91","datavalue":{"value":{"entity-type":"item","numeric-id":4228447,"id":"Q4228447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$309F1243-32E5-477E-AF4E-BB5E2F2DA0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec0487b12c89b289cbc515cbe40d196537e5ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5248546,"id":"Q5248546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$646C9FE9-BF4C-4E51-8FB3-F873B0241E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef730e64f84d71c605ceb6434c23fe65d599137","datavalue":{"value":{"entity-type":"item","numeric-id":3129462,"id":"Q3129462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799101$A6DD6A0F-D22B-44CD-BAC0-A371E25E6D9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458bb54e0dd0faac2e5309faed1306a0a679ffa2","datavalue":{"value":{"entity-type":"item","numeric-id":3830531,"id":"Q3830531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e33cf272a0f111629d17cf24b4cf63ed542276c","datavalue":{"value":{"amount":"+0.92103934","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":"Q2799101$4741AA5F-DBBE-4ED0-A403-D6AF1535DD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d02669fdf51b16e1d5ef7cfdab3e5eb16deaaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4011253,"id":"Q4011253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11edd0bd84337934142a7e6d0614c3b959e34c2","datavalue":{"value":{"amount":"+0.91852754","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":"Q2799101$A218CE13-1E6D-40F5-9435-751B971D79E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df98aae22bb1683b064165c2fa3cf3b0d4f27c56","datavalue":{"value":{"entity-type":"item","numeric-id":5428268,"id":"Q5428268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acd9bcf13129d1a5d2d253b141f99f40128c827","datavalue":{"value":{"amount":"+0.9075788","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":"Q2799101$F7456F73-30D5-4C23-BF72-30F48C13C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df99d60289cd870363d4d75901b57d184ba9338a","datavalue":{"value":{"entity-type":"item","numeric-id":3181021,"id":"Q3181021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7453cea472c488c4c49fd1de2b6e7795a22951a6","datavalue":{"value":{"amount":"+0.88797903","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":"Q2799101$8597344E-83AB-4E39-A8F5-D97C91C07773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef476b6e9f92d21b9e2dd87111ddd904f4837c06","datavalue":{"value":{"entity-type":"item","numeric-id":2151405,"id":"Q2151405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ad2c09534c327370f2fd8e887ed42177c8b7c5","datavalue":{"value":{"amount":"+0.8832827","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":"Q2799101$366CA119-100E-4E71-90C8-C1A0CFB26823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209e48917fd84091488eb19cfdff912f10b1e410","datavalue":{"value":{"entity-type":"item","numeric-id":5872872,"id":"Q5872872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d985fac637a8f18f0bfcf1a8fabedfa8563db96","datavalue":{"value":{"amount":"+0.88328266","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":"Q2799101$60455AA0-49F9-47E4-86A0-50AAB38395EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e4c851f4908632f165ce4f91d3fb87f44ce5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1577488,"id":"Q1577488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f61ab1850850a42e1dd9a42d5694ca5dd87b694","datavalue":{"value":{"amount":"+0.88258797","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":"Q2799101$729A8BF6-A49D-4E13-AB12-7F58E47884FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea349871a95e3aab8afff32d430ce5dac7abae75","datavalue":{"value":{"entity-type":"item","numeric-id":4302792,"id":"Q4302792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c456576045d576d8769a7fa3304b50eea2438ef","datavalue":{"value":{"amount":"+0.8804554","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":"Q2799101$05275736-87A5-4F6E-9908-ED7848AAEC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614487cb47e59cce59f524ce1224856b50debccd","datavalue":{"value":{"entity-type":"item","numeric-id":1413647,"id":"Q1413647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a2335043bbed3abf6c263c06ea52ee986c98dc","datavalue":{"value":{"amount":"+0.8744262","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":"Q2799101$926995F9-02E7-44D8-889D-1CEB54161253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680a1df87692e166430862efcb0c638c7dc6f080","datavalue":{"value":{"entity-type":"item","numeric-id":4525694,"id":"Q4525694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a9bf3600d9ed8acdaf8a66ba848dc40ed5dd56","datavalue":{"value":{"amount":"+0.8742895","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":"Q2799101$6292BC1E-F5B9-4EB3-A253-779D4E4635DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2799101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2799101"}}}}}