{"entities":{"Q2026804":{"pageid":2037546,"ns":120,"title":"Item:Q2026804","lastrevid":54004331,"modified":"2026-01-26T01:51:39Z","type":"item","id":"Q2026804","labels":{"en":{"language":"en","value":"Moessner's theorem: an exercise in coinductive reasoning in \\textsc{Coq}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350309"}},"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":"Q2026804$58440777-6390-4E7E-BAD8-83D3C0B142CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c76300e2fb6690e986c64970f4434bd620a63e7e","datavalue":{"value":{"text":"Moessner's theorem: an exercise in coinductive reasoning in \\textsc{Coq}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2026804$047D2DCD-C755-403A-8434-BD2FF55DA289","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be7e277151d93195f668baa74635b84c770297e4","datavalue":{"value":"1475.68456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026804$7E033D74-7A87-4F88-BCBE-E486878A499B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"988b9823e6e8abd48086d8982bc430a4b1ebc4f2","datavalue":{"value":"10.1007/978-3-319-30734-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026804$BED062DE-B9E2-4034-ABC8-F0CE212945A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026804$9FFF835F-2B5E-49CD-A35D-74084E969484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c4b117a9da9e46d4d6ff5de6a8da751b235f808","datavalue":{"value":{"entity-type":"item","numeric-id":1623128,"id":"Q1623128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026804$0DF32180-14B8-4559-BF52-3279F51887BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026804$208846F8-CA98-428C-BC5A-5A652B21A317","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2026804$F0C813B3-5E51-4BAF-8801-D015FADD2259","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026804$E022520D-D907-4664-8928-122920392577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026804$6B0AB71B-7A2C-4180-9E4F-7D7F902800D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3335a9e17af520703faca35c1b93f6ecb34253","datavalue":{"value":"7350309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026804$3D0519A0-787E-44E0-BF1F-0583885DE3DE","rank":"normal"}],"P1463":[{"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":"Q2026804$361CF06E-EE0D-4355-B3F7-E47C37744788","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":"Q2026804$9C7D6544-B9EA-441C-9DE3-EEB76FF42D55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f7826b64f98a64c0a412673779f8f768afe7956","datavalue":{"value":"https://doi.org/10.1007/978-3-319-30734-3_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2026804$7A3E0F0E-3487-4EE3-AD23-652F29BAD7DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21fdccd47d00dc5b095544243362b1f49126ef1d","datavalue":{"value":"W2418306939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026804$9133B965-C52C-417B-9DC4-F3BE52A9ED00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350e80ac38b97a84934225206f63abf8a9d20d86","datavalue":{"value":{"entity-type":"item","numeric-id":1929334,"id":"Q1929334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1591143f7fda7c9503c0c1077bf9765bc81d70","datavalue":{"value":{"amount":"+0.922690212726593","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":"Q2026804$A8886F3B-A128-43F3-942E-B609FA1F2DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab78597cf8ae2c562e6f9e41be849461372a902","datavalue":{"value":{"entity-type":"item","numeric-id":4921852,"id":"Q4921852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28b038c150830dacea48b370a0c147c9c7377dd","datavalue":{"value":{"amount":"+0.7784395813941956","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":"Q2026804$CA2DFC81-2C84-4E62-912A-C7157AD82F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e7ca5838e4c55c068ff34d1f27529880e01f89","datavalue":{"value":{"entity-type":"item","numeric-id":2253190,"id":"Q2253190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b9170a7533fd02b7d2b49b311082f40edc5932","datavalue":{"value":{"amount":"+0.7701881527900696","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":"Q2026804$D88E32D4-2BAC-4618-9D10-944546158E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e49efac56cb67d5bcd2de93c355c65cda5eb76","datavalue":{"value":{"entity-type":"item","numeric-id":3557847,"id":"Q3557847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99520f7eaad24e13d0704cf9ea65a080f5c6e0c","datavalue":{"value":{"amount":"+0.7619373202323914","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":"Q2026804$77D66F1E-C811-4F37-9D0F-6262FAB56692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa67a88b4c1688cae69004056b9e5c1a6d647ae6","datavalue":{"value":{"entity-type":"item","numeric-id":750485,"id":"Q750485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cb05f11c82e5674e90effd389874447fd6f396","datavalue":{"value":{"amount":"+0.7353640794754028","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":"Q2026804$E3F59775-6A2C-4DBC-B0F0-81D768FD860F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2026804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2026804"}}}}}