{"entities":{"Q4219052":{"pageid":6248653,"ns":120,"title":"Item:Q4219052","lastrevid":28440359,"modified":"2024-03-05T13:49:48Z","type":"item","id":"Q4219052","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223736"}},"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":"Q4219052$CEB82EDA-102A-43B9-8F9F-507BDF13AE0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b1598895c30c85eb919063ab2a320f91f69ea0c","datavalue":{"value":"0914.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219052$C291916E-785B-41E9-9294-1EAD7AC27ED5","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":"Q4219052$671316A2-AB4A-41DC-BF6E-579244107B23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"434673b5be884fc3474ad3e71a8cb592da1960eb","datavalue":{"value":{"time":"+1999-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4219052$5369FE58-0AE9-4E72-91FD-9E57A0E8D211","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219052$D1D42CC6-EC65-49E3-87E1-7ACB06C2407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219052$443F0D3A-8319-4917-BE89-DFB8CDE796F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219052$A8BA40A2-0AD9-4EDB-A139-9938B02FDE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219052$81042C5D-C401-433B-B9F4-9A046FAD9F75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29de27febaceb2836716e73ea0450aa69e13a736","datavalue":{"value":"1223736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219052$521995B9-AEDA-458E-8B03-F2B205CDADF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219052$BC932746-A72B-4E5F-9334-112AD285B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"369d809faf45cd7c2feadd7217eb1a0d072ebf93","datavalue":{"value":"proof-irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219052$003CA930-E923-47F9-9621-9D813EB8CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219052$3D677E83-A6CB-483D-B26D-DA9A9CEF5E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219052$AEE2C3D6-D03E-419C-BA06-0DD1B270533F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd53482d6ed3587534fef380c603669e353dc1d5","datavalue":{"value":"extensions of the calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219052$3CC51DBA-7DB7-40CA-9F02-EB17577B1ACC","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":"Q4219052$624C6901-E0B2-4C45-8C4B-D1D33DE0FD63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4219052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4219052"}}}}}