{"entities":{"Q2787453":{"pageid":2798191,"ns":120,"title":"Item:Q2787453","lastrevid":83328875,"modified":"2026-05-07T07:14:48Z","type":"item","id":"Q2787453","labels":{"en":{"language":"en","value":"First steps towards cumulative inductive types in CIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545751"}},"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":"Q2787453$3A229FCF-3767-44A0-AB21-44D7CC021F0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b60c3cffeb36f9982627908759dd36f0fa66afe4","datavalue":{"value":{"text":"First Steps Towards Cumulative Inductive Types in CIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2787453$0ACD868E-B0CB-41BA-B4F4-C0A38E28DD27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e75d8db2a1507a2750fa7fc788d131d4710e4659","datavalue":{"value":"1471.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787453$6ED40C9D-DE43-446A-8A2F-6EF8D7358B1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c41b08fae37adc986e7341e7f08e05cc56d774a1","datavalue":{"value":"10.1007/978-3-319-25150-9_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787453$88AEC0E2-E3B3-440A-842E-EE080998CAC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52254dabb8af5997f12cdfe0722d50f0619c8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":2787452,"id":"Q2787452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787453$9B4039D6-5EB4-447A-8E0A-A4AC8F8EF59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5752556f406c77522d034bef951c1f6e960af3fa","datavalue":{"value":{"entity-type":"item","numeric-id":6770822,"id":"Q6770822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787453$2DCFD859-6D12-4AE3-A1A2-5CC23F829A4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"29f4257b03367012cbb1c618842dfbd25e3bc715","datavalue":{"value":{"entity-type":"item","numeric-id":2787411,"id":"Q2787411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787453$ED8A6643-42F6-4566-B445-C0B171BA4D4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b711090eb2dd20f1569e188bf3cf69015580f99","datavalue":{"value":{"time":"+2016-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2787453$35C209B4-F75B-4366-9685-2F5ED9E31230","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3319a0f5d5b52b387b9b237e9ebadd9301179f81","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/513812","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787453$E7640649-90C9-490A-B38B-797225528C42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787453$E048FD6D-DACE-4FCE-95D9-C2DB0835B5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787453$7CD49CE9-088D-4148-86B8-BD70FDAA0FF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d7e335e041505402bdb3b3953fb93745a8470a9","datavalue":{"value":"6545751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787453$A2C443E9-6317-4705-AB9D-0E75050B8044","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":"Q2787453$72B1462F-C908-4464-BDA2-4630A13982C5","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":"Q2787453$02937531-5920-4BA9-808C-42F530F01586","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bc8f95218845e344088b4781f9ee464ef4196e8","datavalue":{"value":"W2401046173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787453$D04195B6-7AC4-45AF-A819-3436CAE56EDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb902c0537b60f3f972d7c131ae52cd1c1fd2cb","datavalue":{"value":{"entity-type":"item","numeric-id":4993361,"id":"Q4993361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8774ace51562d388648090fbd57e0a3ab913e7","datavalue":{"value":{"amount":"+0.91434907913208","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":"Q2787453$D083FDAB-1587-45C2-A240-F9A334DE931D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea9de8d016a1d49557bfa69a14fa567679694d2","datavalue":{"value":{"entity-type":"item","numeric-id":2879272,"id":"Q2879272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d39e95e27d0f03734f7a631cb1e02d862c19e3","datavalue":{"value":{"amount":"+0.7618246674537659","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":"Q2787453$BBB31705-B579-429A-9FDF-B0AEE8081032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fe00dd16f83f29e78f1f29866c0bdd4cd88a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ba6eb18c5ecc058038e60f58a704a5cd711d05","datavalue":{"value":{"amount":"+0.7499749660491943","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":"Q2787453$5737CD98-7144-40BA-AA77-6EF08F37CF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a502128cfa1431cb223d8c606c833ea6b2bbaa6","datavalue":{"value":{"entity-type":"item","numeric-id":1193601,"id":"Q1193601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9122b65cb182260707d6de5f8bb3d652b0bbb7","datavalue":{"value":{"amount":"+0.7198358178138733","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":"Q2787453$B1ED862F-B7D6-4C9A-A201-1777E38104DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3722808259257067adc4e3890595504a77d4fda1","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025aef0079a0708ac91c0679ac81ed8a36d91242","datavalue":{"value":{"amount":"+0.7190185785293579","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":"Q2787453$D3FAB80D-324E-4E31-B889-057EC7F78368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First steps towards cumulative inductive types in CIC","badges":[]}}}}}