{"entities":{"Q4933315":{"pageid":6962897,"ns":120,"title":"Item:Q4933315","lastrevid":90988790,"modified":"2026-06-04T21:58:30Z","type":"item","id":"Q4933315","labels":{"en":{"language":"en","value":"On strong normalization of the calculus of constructions with type-based termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798906"}},"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":"Q4933315$E14980EF-9A7E-45C2-936A-A98EFAE8A64D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33bdfd00d21ac66cb7dc91d886ee3d9f3e3075ca","datavalue":{"value":{"text":"On Strong Normalization of the Calculus of Constructions with Type-Based Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933315$8A0B2E2C-E3F7-4CF4-A271-02524F719625","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e16b76a72259597a7c06d07f9ee1261e607a7f84","datavalue":{"value":"1306.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933315$91486CD6-F314-414A-9D05-9B2E568DD991","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a18afa05edc8bc5602e7377ff9ede8058fba4bd4","datavalue":{"value":"10.1007/978-3-642-16242-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933315$AFB20378-DA5B-4DCE-AFB6-5007B3361B8A","rank":"normal"}],"P16":[{"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":"Q4933315$2FCFAE19-D40D-40E6-A9FF-BC69AF9EC60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5e0f8abfb3f1ea506b254bad83c448ab10e6b6","datavalue":{"value":{"entity-type":"item","numeric-id":3638244,"id":"Q3638244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933315$21520A20-F26A-44F3-8303-B9D4BA04FB5E","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":"Q4933315$1BD7D674-3E49-413A-AAA9-58B3459CECBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933315$654A4BE2-B478-45F6-BAC5-E2EC585880B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933315$5C508215-FECB-4265-A8F9-398FC24E71FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933315$FAD2D5FD-2147-4C95-8C63-5211C06AFD17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1819dc0debd0bea15a5af1c11e038384dc848842","datavalue":{"value":"5798906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933315$007D9B96-FE4C-47C8-BD17-52B9CD51F9EB","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":"Q4933315$1259C1C3-0323-41B4-84F2-0B515629E26F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbb998fc230c2762dbee60cc639e70cbe72a37e0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933315$2F685915-1E5E-4D05-9539-7040B8A0A209","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62f6c036a4f29a1b8b55dad43194eb181d5a045c","datavalue":{"value":"W1572791825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933315$3C45B838-9C3B-486D-B883-E1BCE1F71229","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0503abb6bd0008b433cf5d77598473609f227dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"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":"Q4933315$65DDDDCA-E6CA-4879-950D-83A7E34A556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387cce94216297b66f69d2aa4feef49d02d8cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":4681362,"id":"Q4681362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c485e73984c1d10f0b484566c21e7375d0858b6","datavalue":{"value":{"amount":"+0.8051275610923767","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":"Q4933315$55D66F9E-DBA0-488B-A78B-028CE85F7E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d97806b501a6680b73f96c77eb5c3ffb588d78b","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b83792b50f31757fcd7fcef13960201699976b","datavalue":{"value":{"amount":"+0.7973514199256897","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":"Q4933315$31265795-9501-41C5-BD4E-C1102FF68388","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":"253db05176781e574003963978767756a6fe7afe","datavalue":{"value":{"amount":"+0.793716549873352","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":"Q4933315$E7A4FFE1-AAE3-4CC1-8646-61C87F22715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34be2662826ba3932304951a0b3c661047bbf58b","datavalue":{"value":{"entity-type":"item","numeric-id":4659886,"id":"Q4659886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62be60e2e00ac9efa2753a15cac7519375c231c3","datavalue":{"value":{"amount":"+0.7894115447998047","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":"Q4933315$64BD231B-F06F-4A65-BBF3-4BF79585D8D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On strong normalization of the calculus of constructions with type-based termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_strong_normalization_of_the_calculus_of_constructions_with_type-based_termination"}}}}}