{"entities":{"Q5387897":{"pageid":7417471,"ns":120,"title":"Item:Q5387897","lastrevid":50366492,"modified":"2026-01-13T21:58:35Z","type":"item","id":"Q5387897","labels":{"en":{"language":"en","value":"CIC $\\widehat{~}$ : Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279579"}},"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":"Q5387897$2DFFE0D5-DB93-4C49-ADD2-2FCA296AA6BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"641058b4e92b32dc96a88ebb14d118fa77615529","datavalue":{"value":{"text":"CIC $\\widehat{~}$ : Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387897$8C297FB8-2B62-4381-B203-EBBAE686AAE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"544bf6880469736d4532457eef876829f30287f4","datavalue":{"value":"1165.03322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$D20B956E-8806-4778-B8BE-FB321C4C73CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaa384d0e332bb5430eadfbe78c9b9c269c66daa","datavalue":{"value":"10.1007/11916277_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$31926340-E0C4-4CEF-9912-26F8AFD74BD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387897$9A362575-EB6A-49F6-879E-DC826CA37B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387897$076C82AB-FB59-4258-A8FD-51A93C7705E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5ea6a73dd1cbf4b818a0eac804bb75331b34073","datavalue":{"value":{"entity-type":"item","numeric-id":2635506,"id":"Q2635506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387897$47ADFEB0-515C-4C5B-A307-B1DBB87736DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387897$B5021E43-3F6F-489B-B32D-FD3BFB5259EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387897$3D2FAA08-D20F-48F4-A0F9-7D698E641316","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$B7C48644-1193-40C4-96BE-45B0FC785774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$2CA9A53A-AA9F-4E48-9E01-951055CC857F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$DAB5A59B-4F7A-41C6-953F-2B6D050A7C05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32cd3ff98e9075813496149a458a7aeb40365366","datavalue":{"value":"5279579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$B16390BC-D9C9-43BB-8386-D5BE16D8966F","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":"Q5387897$449C3BFC-DE0D-4C45-84D2-C4F14B2AEB75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"647227d4a549a1868009aeb9bbb2a31da643ed00","datavalue":{"value":"https://doi.org/10.1007/11916277_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387897$EB476E96-EE36-4ACC-A1D4-29370F96C640","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc4ee5b0f21864561d14d702d0ae6b29513d1e2d","datavalue":{"value":"W1845410252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$B5235D79-17E0-43C0-BA46-090D8659A0A0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f58520180a1705392e02257ac71ea6c719c4a3f","datavalue":{"value":"Q62042540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$FF15E12A-AB05-4FAE-BFC1-ACB2E492CF21","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b0de45abf9e0aad848ad73a315037d4e15340f98","datavalue":{"value":"conf/lpar/BartheGP06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387897$56C88912-7A51-4921-B49E-15D03DB6F306","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec79b7bcb0519a393589e45de16888be2026b88","datavalue":{"value":{"entity-type":"item","numeric-id":5170709,"id":"Q5170709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc247f8a75cb2e5f35a4db1fa660f4873eed9e6","datavalue":{"value":{"amount":"+0.8419052362442017","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":"Q5387897$32CD2944-DBEF-4D74-8AFB-7F64FADE7FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541e68a6f314c069be7c658f925b039484ec628d","datavalue":{"value":{"entity-type":"item","numeric-id":4933315,"id":"Q4933315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f157435f768144acdc113a445bb3ca15d44a252f","datavalue":{"value":{"amount":"+0.8380069732666016","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":"Q5387897$4CF1824E-2383-4390-913A-F6D047AF999E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e653ab9ed0ff7b3ffd9b36f177ae4962a3d979","datavalue":{"value":{"entity-type":"item","numeric-id":5191089,"id":"Q5191089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8988068b9fa2f395be3cb679443c384dc7c62aae","datavalue":{"value":{"amount":"+0.8335458040237427","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":"Q5387897$869104BB-C74E-49AF-A26E-9C14CE7BBFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fec648d54e88a7b65d0a8f4bd3f5c2ba89659f","datavalue":{"value":{"entity-type":"item","numeric-id":3540199,"id":"Q3540199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac11b0b6826e4b6ad1e59076393e9ec5b5f8d830","datavalue":{"value":{"amount":"+0.8257697820663452","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":"Q5387897$5BBA1326-B2C7-496A-8F93-0A36BF98E45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950536c60c978ca974d38c7ed845a6898429c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5901478,"id":"Q5901478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c1bfff97788998e0aa713c139d1092633b0b87","datavalue":{"value":{"amount":"+0.8161631226539612","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":"Q5387897$F5BA43F9-F83E-41C7-B7D8-6C3AACC242A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387897"}}}}}