{"entities":{"Q5875440":{"pageid":7904991,"ns":120,"title":"Item:Q5875440","lastrevid":55905457,"modified":"2026-02-21T00:50:49Z","type":"item","id":"Q5875440","labels":{"en":{"language":"en","value":"Quantitative continuity and Computable Analysis in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649977"}},"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":"Q5875440$00124F99-6EFB-48A3-A9BA-6E2437FBF523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49dfcfa8cd920732536a9be9f44a4817fd658c63","datavalue":{"value":{"entity-type":"item","numeric-id":831998,"id":"Q831998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$585ADCEB-6479-46B6-A201-CE2952E56730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fa5da603477bed196262dce34c616a0a67c991","datavalue":{"value":{"entity-type":"item","numeric-id":742366,"id":"Q742366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$17C49DE3-EDDF-466F-8D02-DEA2670A04D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdee734ffa77906c36b38f540e8794957a5d4e2","datavalue":{"value":{"entity-type":"item","numeric-id":831999,"id":"Q831999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$E3354D64-578B-4F3A-9A20-88951C0F4151","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-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":"Q5875440$170BCFA6-5A5D-4D91-8944-CABD647C1D34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875440$DC6F5630-89C5-4E97-9A4C-FFB88A976E5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"917a3bd7459f331d8410db7395633a82ab666572","datavalue":{"value":"7649977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875440$71DB4C04-BFAB-4378-829E-C0C311563C3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875440$F6DF4F55-9514-4E9F-B2E0-CC26364CBABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875440$4DEF4F49-4003-4FBC-B73E-90B11183367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a1d770da4d17be2a5152bad5f47c54476907fc","datavalue":{"value":"contionuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875440$DB5DA2A5-4F11-4561-AF8D-9976A5F91FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0c64df3c95abee825fad74fc053780cd90a99a","datavalue":{"value":"discontinuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875440$0CB9C28F-2CC1-4F05-AEDF-6C98182C5851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8842d523f6d97ffce7f4990aa4ea49e95a398504","datavalue":{"value":"closed choice on the naturals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875440$0FA91397-983B-4822-A825-FDC2114999BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$072B2AE6-EEF0-403B-910E-E7F14ACDB462","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":"Q5875440$8EB4A1E3-68CE-4658-9104-E1A3F57721D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$1CE995E2-A7E9-4076-BA93-7B2CBB3FCAFF","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":"Q5875440$75193A30-3F04-421F-A49C-6690794297AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a9f2bc86bd979464f48c5c6c1c8e54d6176c95d","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-02426470","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875440$1CC47257-F08A-40B6-AAA2-2A324C742CF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26cf771d39c5efd7fa7c9ee2076d367e4b2d95f2","datavalue":{"value":"W2979066956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875440$A62AAFE0-69B5-4080-8876-47C0DE9BF5D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f118550f6bf0f7bc083dbca166fb2234a21c580b","datavalue":{"value":{"text":"Quantitative continuity and Computable Analysis in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875440$E1DE0966-9407-4EF4-AD32-2872D7A071E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76eccbf29b5c2db4c65b4ff3430c088287c06904","datavalue":{"value":{"entity-type":"item","numeric-id":5326354,"id":"Q5326354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$ECEAD210-5988-4218-B300-4FC75FD2ECE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591c700de7e870ec835c7ba0eca3f3b5580ab982","datavalue":{"value":{"entity-type":"item","numeric-id":1663216,"id":"Q1663216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$7F5FC0C2-59B7-499F-B5C8-95EB2CA63902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$CF16DE26-63DA-446F-AB23-4460CD4281C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42faa587d3ba365ee0ea4ef154f59ec9a4d7f680","datavalue":{"value":{"entity-type":"item","numeric-id":4532001,"id":"Q4532001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$29E32EA0-9429-4ECB-8CF9-D37DEEA47EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$5A7DB124-DCB2-4D0B-A409-19998C30AE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ecc4a9847b1757b816a66a2c8d99f5449bc756","datavalue":{"value":{"entity-type":"item","numeric-id":352952,"id":"Q352952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$D2EC5B0D-1902-4A08-868E-441D569EDE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab1fb3b741de6ad15a6cf3e725ed00bb86921b6","datavalue":{"value":{"entity-type":"item","numeric-id":5274886,"id":"Q5274886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$A5B33B8B-74C7-4AD8-A202-5CA6CEE0D9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95847a0c86eb35ba61d1b9189eb1ae3fd3529b5c","datavalue":{"value":{"entity-type":"item","numeric-id":864435,"id":"Q864435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$4ED73C8B-2A20-42A9-81A6-CBA59C56DD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$1BBEA146-EDB7-41AB-8D99-57EC431D620E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f162fd9ad0d4b2e5a67de22b30ac93aa5eb3c855","datavalue":{"value":{"entity-type":"item","numeric-id":4000472,"id":"Q4000472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$C040CE70-A028-4A36-94A6-805D9D20A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2d0d7411bbf4541292d45ce33d2f5b51845e6e","datavalue":{"value":{"entity-type":"item","numeric-id":2757444,"id":"Q2757444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$70ADB117-89AD-44B3-B27E-B679EBE860E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce5872413301e1ca2ee857b8c147a667845bece","datavalue":{"value":{"entity-type":"item","numeric-id":290639,"id":"Q290639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$6C9EADD1-1A2D-4692-9930-10C213D85B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7159c371bfc15cae487a21f97ca1235f317eadd2","datavalue":{"value":{"entity-type":"item","numeric-id":2396718,"id":"Q2396718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$891E874A-E328-42D2-9924-9D2359430CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8458499df3bb87047ad7df946123178916dd451e","datavalue":{"value":{"entity-type":"item","numeric-id":2319993,"id":"Q2319993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$0A0A685C-680F-491B-B80D-3E079D2C275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3d8fb3ea0608a30440ec139e9f2dbb425b2918","datavalue":{"value":{"entity-type":"item","numeric-id":3244109,"id":"Q3244109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$C3BD1AA9-EF3F-46F6-9926-E4A9D9BCCD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b6f4b63bc26052368e7b5944153c26fe1fa531","datavalue":{"value":{"entity-type":"item","numeric-id":2914756,"id":"Q2914756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$52F91144-397E-406F-8549-3D092AF9B6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db006d769bfa83ed88080615168698ac96f83ac","datavalue":{"value":{"entity-type":"item","numeric-id":4875448,"id":"Q4875448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$F86DDB23-7566-445A-8C71-11334D91A36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cdc9476abe34f714a9aab6e700eb2f2b4f4ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2947565,"id":"Q2947565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$9531B758-172B-4BF3-9849-2780FF59E431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e55698549203a710dc73f53d8efd7aa10bd9c0","datavalue":{"value":{"entity-type":"item","numeric-id":1799286,"id":"Q1799286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$90BA56FF-0638-4DBC-AA66-FFF668F7B46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b780c24896cd3b7162a8fdbdfe9a6a3d1c8e92","datavalue":{"value":{"entity-type":"item","numeric-id":2327485,"id":"Q2327485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$CE529BD4-7350-4227-9E07-71675BCB5138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860531763d18ed387e21c0f98b8b16b88ef9aadd","datavalue":{"value":{"entity-type":"item","numeric-id":4002474,"id":"Q4002474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$D4B2DB07-6922-4BB0-AA09-0E8419AB2925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9251abbeeef1649a55477f5e78c1544ddded1a","datavalue":{"value":{"entity-type":"item","numeric-id":4995603,"id":"Q4995603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$89DAB036-16B7-4C4F-9E49-9C6FEA5CBF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$F54F58EB-D749-4935-A86C-D36F8F40C287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14dd23e439d8a5676d55733e6e6fc2f64720ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1073022,"id":"Q1073022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$69B3EE11-680B-49ED-8208-8852A1F6799C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716b6be751142c36b684be26cc417e4302131271","datavalue":{"value":{"entity-type":"item","numeric-id":3261423,"id":"Q3261423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$7018DE00-9CFF-4721-A2CD-19470D865B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$3A25C658-EA13-4714-92EB-12C116455714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ca1ad5a27fe456694a945a44b283c828f80e86","datavalue":{"value":{"entity-type":"item","numeric-id":1000868,"id":"Q1000868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$F3046D9A-4D66-4630-8065-9932B416ACA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34776a41f104a7bb21fbef16d60bb8b4116b09d5","datavalue":{"value":{"entity-type":"item","numeric-id":682381,"id":"Q682381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$EAEB71AF-9CDC-4B16-9AF6-0EA397F908D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3790971f84a7b972ee9e0231ff1aa7d72170d32c","datavalue":{"value":{"entity-type":"item","numeric-id":5327365,"id":"Q5327365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$2A61F6F1-165E-4706-ACD3-7FCEF136C443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b27998c5b0d19a37253f270b442f162814b8f7","datavalue":{"value":{"entity-type":"item","numeric-id":1227276,"id":"Q1227276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$2E92F4B8-6C0F-4157-A6C8-B83581FB0E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f30365d42caf6766e6692a155b036d7f93a051e","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$2C99E962-A822-460C-81DA-DE615FA93E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dad5251e124c1357a13100ce9119b48d68ae8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2285136,"id":"Q2285136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$66CF9DD1-82B2-4073-80E3-02E78E0BF0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4ddddb5840ee99760e1c2afc56ab700e598c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5477659,"id":"Q5477659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$BF6F814A-DA2B-41AE-9753-B792FC15B06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08eca73f55fd7a9decf4430924e67399b44be9a","datavalue":{"value":{"entity-type":"item","numeric-id":2904453,"id":"Q2904453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$33BE7FC7-AAF2-49E5-A1C8-4BA55FD673EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1d0e25f195ef296004023c05f3e7005f2138e0","datavalue":{"value":{"entity-type":"item","numeric-id":5740207,"id":"Q5740207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$7E005E9B-2186-4263-9339-118A29AF8A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4533874d8dc6a1a04d7cea99bf663e739ae0d41a","datavalue":{"value":{"entity-type":"item","numeric-id":2930869,"id":"Q2930869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$EF7780A0-44B9-4EED-BC4D-2BB4DC2CF9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2c931176027a2e91972d8f217f89dea0b484e","datavalue":{"value":{"entity-type":"item","numeric-id":3994907,"id":"Q3994907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$81BEB54B-45DC-4B89-B298-01F3688EDDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8a45a2776e11e353b2654c9d9dc39e64443f96","datavalue":{"value":{"entity-type":"item","numeric-id":4085712,"id":"Q4085712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$D5102846-3829-48B5-A644-0D21B4B1137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e5b8f26d70323293b7be9d452732166a162fd0","datavalue":{"value":{"entity-type":"item","numeric-id":1607303,"id":"Q1607303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$B659ED93-D172-48B5-9529-C1407106E6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0baace4a8760aaed39b947700cfe486411adb104","datavalue":{"value":{"entity-type":"item","numeric-id":5144686,"id":"Q5144686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$A20ED129-8B6B-4D43-A27B-22E1099A64A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f75daf34201b11381352bf8464676d2b1a9e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4422786,"id":"Q4422786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$27FBFD74-D901-4C30-B62E-D90BA076C795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392afd0bebf068f71b8c1579435466d020e6a08f","datavalue":{"value":{"entity-type":"item","numeric-id":3159429,"id":"Q3159429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$B75F2BF2-5B07-4B24-A848-A99FAD18A438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc317b3d277044a699a7e1d7312b7e79571ba41","datavalue":{"value":{"entity-type":"item","numeric-id":4918019,"id":"Q4918019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$403BEB71-24DE-4054-A36F-53C95DDB76B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17c610b66d156b76e62a37325c965ffedff718","datavalue":{"value":{"entity-type":"item","numeric-id":4184825,"id":"Q4184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$20DB8329-3D2C-458E-82AE-F00111C91AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$A6321567-CF81-41FC-A65A-4D0437832547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$71D46DC7-FC7E-4A49-83EF-E439F4B1E9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba8934df744678f296d65df2505ca4669717fde","datavalue":{"value":{"entity-type":"item","numeric-id":5768086,"id":"Q5768086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$619CAE4B-F429-430F-BCD1-579143A5CEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cab8e9a607f9a4cfec39cad66f284bc668b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1802069,"id":"Q1802069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$17368E8E-FAFB-41F2-B385-DA07BC9CE58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875440$76DE5863-B452-4D18-B82C-A488B536CE64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb334bf2342afcf93c480f85bad7df022e3d5984","datavalue":{"value":"10.4230/LIPICS.ITP.2019.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875440$920D35CC-6B87-4DF0-B1C0-B4E4692D9918","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875440"}}}}}