{"entities":{"Q5111300":{"pageid":7140874,"ns":120,"title":"Item:Q5111300","lastrevid":46185292,"modified":"2025-12-24T00:10:41Z","type":"item","id":"Q5111300","labels":{"en":{"language":"en","value":"Displayed Categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204424"}},"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":"Q5111300$A6DF8E71-5058-4786-953D-653AC4A0E5E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0dd5e0e126f0dfaab25df1ead6dfbbd850f92aa","datavalue":{"value":"1434.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111300$8E6DC525-FE94-40B1-AAB1-5BE473CF5459","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdd912b169a139b5481c76e8978f5a1ad20396","datavalue":{"value":{"entity-type":"item","numeric-id":2319988,"id":"Q2319988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$BC191CF8-C898-4FBA-88F8-A173ACB60EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e0837564dfa9a6596ab14ab5ec88f3e83b3911","datavalue":{"value":{"entity-type":"item","numeric-id":1785778,"id":"Q1785778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$D6295C9C-E9C5-4D52-941B-F19165F34736","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111300$C5BE1E8F-8109-46B5-BE6E-8423D104B80C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111300$10DCCD84-BF1D-4AC7-B100-D7C4D119E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111300$822CDC08-BBA8-4362-9AB2-1CAEFDA89151","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e985d29633dc0e7167131b2557db155702bce505","datavalue":{"value":"7204424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111300$94A10418-B701-4380-9759-348F9BA72DDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111300$31F683F3-932B-47B3-BBBD-D3DC36BBB6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111300$9A7534DE-3590-46C7-8922-7C834BF49ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37d8cb94a7066207cd67ce6dd8f79c3b1ec1bff0","datavalue":{"value":"computer proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111300$55421092-A334-4017-A166-8D877BA9A7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111300$D8E6478E-69CE-4EAC-A2DC-34B2A334511A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eff47ad0db4818bbe1ec9e1e7ed230b27030590","datavalue":{"value":"univalent mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111300$AA36FDF3-9DB3-47F1-8CC9-907391F313B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b69ae52d53a05f3f4bf4d99cc0f83e03b73ae561","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$2009C514-3822-4BCF-A4A4-E09335CAF899","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":"Q5111300$B695F988-B107-4CE6-B263-F06A6A7B1215","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":"Q5111300$9AFABA4E-55FF-4BF8-92A8-1E0C8F678549","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":"Q5111300$D45F6993-E320-45EF-AF1D-61AA66AC4255","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$7B8AE5A4-38C2-4B2F-B8B3-0323706AA8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bcf33a5f992d181e7e78bbd8db6166cca7b5d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$22F74FEB-24BD-422F-A4D6-80DE97DFB11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f975605fa1957fb39a45906128baa7014ef10af","datavalue":{"value":{"entity-type":"item","numeric-id":5111175,"id":"Q5111175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$E67BD2D7-914D-48F6-8578-EE0260285A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$2000BF03-5E50-467C-A6C6-8BAFCD8A7F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$64AE23CE-8F17-4695-B1A0-AB5A3CED6359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1d062d881e28f4fc6b4153c0765dec6b39a1b4","datavalue":{"value":{"entity-type":"item","numeric-id":5170245,"id":"Q5170245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$EEB703FC-24D0-4C26-A97B-1079098DC7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111300$360D0D99-DF9A-4B04-B589-4BFA79782584","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"087976c3a5f02f6241651a7a0672612bd4b90ff6","datavalue":{"value":"https://hal.inria.fr/hal-01584770","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111300$A1F4CE29-CF49-4899-8CA0-0FA7661BF104","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1004e07cae02f0829a67fe6509fb963b81d571ee","datavalue":{"value":"W4298363923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111300$D3495888-AA8B-4FFA-ABC8-959219375356","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"073f20b079388c24436ccf053e942432c2f75b84","datavalue":{"value":{"text":"Displayed Categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111300$ACB7009F-6235-4342-8587-DAE90C371B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa787334da0bea53e29fb9f948a477257cad17e2","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111300$AC39DBE1-EE8F-4156-9396-F512069BB123","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc48277a68bca795f928f2e0d86a47b88fd1ace0","datavalue":{"value":{"entity-type":"item","numeric-id":3121521,"id":"Q3121521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da1d54e901fad5ece6ce260342ffd1769ffc9cf","datavalue":{"value":{"amount":"+0.9964756965637208","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":"Q5111300$A9215471-4E8F-4EA9-A576-52D7CDA492D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb55b45fd738a7f8ba4abd1f09661a1e19a56d2","datavalue":{"value":{"entity-type":"item","numeric-id":5055496,"id":"Q5055496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fab7a15fb12d760596416cd1d25504579429d0c","datavalue":{"value":{"amount":"+0.7369663715362549","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":"Q5111300$F79B15A5-577F-4109-88D0-DDB3F8B0BF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083990f7ee27b0059415afcf550190e33bb0297b","datavalue":{"value":{"entity-type":"item","numeric-id":2221495,"id":"Q2221495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0156a7aa9366d55068688514becf78da29cdc390","datavalue":{"value":{"amount":"+0.712494432926178","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":"Q5111300$1205E8DB-BBE4-4CA2-BC14-CA77302CDF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1141a5de5fa0a2e051608eadb67fd39b9457b6","datavalue":{"value":{"entity-type":"item","numeric-id":512135,"id":"Q512135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6e5e2ea80cd92bd81dc496a47b725b6221f05c","datavalue":{"value":{"amount":"+0.7120307087898254","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":"Q5111300$1B919E80-02FB-490E-8E31-F51BDE1FDB4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111300"}}}}}