{"entities":{"Q6083689":{"pageid":13217996,"ns":120,"title":"Item:Q6083689","lastrevid":102556820,"modified":"2026-06-06T04:45:40Z","type":"item","id":"Q6083689","labels":{"en":{"language":"en","value":"Checking algorithms for Pure Type Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774589"}},"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":"Q6083689$8B5D1D38-DB31-4368-8E06-8D13AD166C64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27744e5e7cb391ca0951f6c403339aa1cd4e8399","datavalue":{"value":{"text":"Checking algorithms for Pure Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083689$A089B96D-9833-4EDD-A937-6959BD6AF07F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51d225d50b166327f96408e95daedf4000d6adb3","datavalue":{"value":"1527.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083689$AD681667-C54B-48D3-8F2C-C6AAD2FA7633","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cb1f22ca11c519de028308ee0fb885cfb58ff2e","datavalue":{"value":"10.1007/3-540-58085-9_71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083689$42313AC9-4561-4735-B53C-44A271E06E41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$BE5D9D08-D28F-4F64-93F2-81C2F2E7B49E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083689$EA5384D8-78E8-4BBB-8158-FCBB016B5D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083689$DB72D3A9-B1B5-4196-8DA7-6773F878A40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083689$A1D00F14-8794-4DFF-ADBB-A07FCDCFED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083689$2E257419-E50D-4E1F-B2EF-4F0A52A9DBBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cef843b89ef35c52b93faf967ac7b5631f38b038","datavalue":{"value":"7774589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083689$1B7E935C-E40F-4A2A-8892-8D84B959ABA0","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":"Q6083689$200FDB09-53F0-4F5C-AB19-8BB73A3CEC6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$E45EDBF1-A2E5-414F-B13A-200D0B5DE726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$469E1CF3-9ABB-4D6E-99C4-54BE9FFEF298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$6DD79CB0-FDA1-4685-A433-D80717BF0337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7ab0bef98f3dafd356831c56f39b6e31577416","datavalue":{"value":{"entity-type":"item","numeric-id":3612441,"id":"Q3612441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$2C4FC532-6CEB-4C74-A1EB-42F900CD0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad80344fc1eac9869a64dbac310f2d1dda233df0","datavalue":{"value":{"entity-type":"item","numeric-id":4939698,"id":"Q4939698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$68480F3E-70DC-4243-A6DA-72D3A8E7A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f30c6cdd0a8b5aaa2cdaf8b0347f3258eaf5e4","datavalue":{"value":{"entity-type":"item","numeric-id":4012878,"id":"Q4012878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$208F9F40-0A3F-4AAF-B176-C40CC3EB652B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$CB55ED20-C4FF-4422-9027-AD6891BA6FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9b21e92d1e385b1aa703cba49bf61d8d21f05a","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$55ECEA23-C960-4EF9-8135-0C0DA630CB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5743769d17c4634b87dd26b48de6330e5067dd8","datavalue":{"value":{"entity-type":"item","numeric-id":3992564,"id":"Q3992564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$79CC425A-212C-4F60-AD11-2B5B0FAE21E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$33B73546-261A-403F-A861-321738805B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$123ABAD5-5CEC-4B00-9F77-85F9FFBF1849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$4A7F0D6B-F269-497F-B384-AB024CDA0988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$06B9AF0D-BA08-4437-97F5-189585DAFF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67e2e2d02ae6d35f2a2689bef6339892adf0815","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$804FBD3B-3647-4D86-848A-14FFCDEBFA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ad42be65af5dfa9e512f666229d02ed5041b60","datavalue":{"value":{"entity-type":"item","numeric-id":3856127,"id":"Q3856127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083689$295CAD26-51E3-40B3-BE4C-13169F410D93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking algorithms for Pure Type Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_algorithms_for_Pure_Type_Systems"}}}}}