{"entities":{"Q4924545":{"pageid":6954127,"ns":120,"title":"Item:Q4924545","lastrevid":40725162,"modified":"2025-04-04T11:53:31Z","type":"item","id":"Q4924545","labels":{"en":{"language":"en","value":"Automath and Pure Type Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171459"}},"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":"Q4924545$06CF7B99-88C3-4731-BD7F-B637FB3301E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c1432184cbf4aec80917649c9add79d7396744c","datavalue":{"value":{"text":"Automath and Pure Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924545$68EFD5C6-F651-4E2C-B529-221E6E798BF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60fe7344571e0709b012295ae70367392b5b41a3","datavalue":{"value":"1264.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924545$04F89A7D-E857-42A4-A08A-83A232C835AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b407df3dea8897d9b0fb3508c8ff70b1e18d8a74","datavalue":{"value":"10.1016/S1571-0661(04)80756-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924545$EA261781-1950-4C64-836A-8B180AE82D2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$1B0D4892-9248-404A-B03D-F6B4F486C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5833a50b9b6136fe4d80f55956accec8d2089eb","datavalue":{"value":{"entity-type":"item","numeric-id":195252,"id":"Q195252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$717A70F3-E609-4CEF-AB31-C3C0621E72D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$DC7208B6-45B1-42A2-AA41-CC22FEC715FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$3F908AD8-FEA1-4AFC-A1CF-3C18FD796116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924545$49A402D0-8D73-4403-9668-B7484C6D3F17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924545$8D3C80D2-699C-4BA1-8D83-1A16CDBD6030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924545$517A2BFC-E84B-414D-A15F-F8A92E3E3D57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"122d9578ed933ac8be274ae712262a493249e99e","datavalue":{"value":"6171459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924545$0CCBCF84-C178-4EA9-A215-0EB9CA2CF5B0","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":"Q4924545$169F6AD5-F8CD-47FF-ACC4-04F723A218DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$14DBCDF8-5F12-42A6-8272-C1CDC44F982E","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":"Q4924545$EF28EEAD-AFFB-4F64-9BB3-DB18C8AFD40B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$E0B383B9-92B8-44F1-AFD5-87A4E5503C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5928533f1a1251f0d11dc18c7b4ce473f48af9","datavalue":{"value":{"entity-type":"item","numeric-id":4187337,"id":"Q4187337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$B31381A5-2403-426E-AEC4-533C54C7617F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494d4e4ed60b0c479ddcb5a7f505faa8dd66ad12","datavalue":{"value":{"entity-type":"item","numeric-id":5563103,"id":"Q5563103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$0A241ABE-D1CA-4D95-ACC8-233CB1BDB768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$D835F1D5-CF4E-49E6-A890-6D1C6ECC716C","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":"Q4924545$42A72619-7D4E-481E-A869-50D371EA85C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$2A7913F9-8A41-40F8-9A9D-2F2EB748A945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52270262e84696f8a598067b9875a7449203def1","datavalue":{"value":{"entity-type":"item","numeric-id":1302298,"id":"Q1302298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$167E1C19-4F50-4D99-9335-580BB02B6475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9576d0c7b047dd364d35464353cdaf196131ed5b","datavalue":{"value":{"entity-type":"item","numeric-id":2763649,"id":"Q2763649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$A5811FE0-1E29-4837-8B73-5BDFC00ACE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e78b1eaecd1d9cb6f85e226184aee0e88c8dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1394989,"id":"Q1394989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$80238080-DC2E-4020-9F12-EDA147928EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528791b2d72341145ead8443ceec77b79252da3","datavalue":{"value":{"entity-type":"item","numeric-id":1365680,"id":"Q1365680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$576C23D2-B260-4A43-AAAC-9FA232112C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc7d191e2576ef225d93670ed4f2a780ccd2100","datavalue":{"value":{"entity-type":"item","numeric-id":4354787,"id":"Q4354787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$4E6A4BDB-4BEF-4447-8186-03E3098E6D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$E01F702F-3D74-40A2-99CD-645DC6E9F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$B0F79FEB-02D9-4BB5-843A-9EF2B05EE8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9d21c37671b9be618523ed9cacc13864ebd66a","datavalue":{"value":{"entity-type":"item","numeric-id":4501161,"id":"Q4501161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$BDB2E4FB-926D-4CFF-93FF-8BF210499F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351af9b0edcfa5d3d0e05df9fe9f49badbf149ce","datavalue":{"value":{"entity-type":"item","numeric-id":3877069,"id":"Q3877069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924545$2F05D249-9D08-472E-B494-F0F626257E00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4076a8e50d25461d898a5b53311626889e2bc0e","datavalue":{"value":{"entity-type":"item","numeric-id":4664921,"id":"Q4664921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2fd790f010a4a80787f585fb91177396313b1b3","datavalue":{"value":{"amount":"+0.9148699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$D87D029A-94A9-46EC-B7AF-74817F25222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a8612493e6b5a2b4d78fc816cee4538696a4ac","datavalue":{"value":{"entity-type":"item","numeric-id":5170829,"id":"Q5170829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3de2c516ae040aebc11242ec9a316a05b9cdf1c","datavalue":{"value":{"amount":"+0.9098391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$62D599E7-1099-4144-A88D-94BFC82103AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3955d4a18f216a9a4a55d420e7f725d4bf97cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3795649,"id":"Q3795649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979030306495226c15878ef3faf644665ba51984","datavalue":{"value":{"amount":"+0.9089885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$4A7D8B15-9F9F-4A14-A48F-B4C1EFDCCD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d998d3ad8e8d7b70bd59f3167c0b503140110073","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1b57a2eed5e2b331ae431e8333adc7cea96ca3","datavalue":{"value":{"amount":"+0.9037797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$FF8B46F8-9AE0-4253-AD84-13088DCAFC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4f613c616c4820d2b7036be13b590f1a0b613c","datavalue":{"value":{"entity-type":"item","numeric-id":4664919,"id":"Q4664919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2562d23235fc5c5e95f702002c604144e99d4296","datavalue":{"value":{"amount":"+0.89573115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$C8BF73AE-5D92-4AA3-A437-46DDD892CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa95a76da18aefbe59498be52f6c121ba2a8737","datavalue":{"value":{"entity-type":"item","numeric-id":3024903,"id":"Q3024903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6880064745268527025811cb85d8dd0c957aafda","datavalue":{"value":{"amount":"+0.89181316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$83370EEF-785A-48F6-908E-84BB588CF538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216c10823f945c5500445c1b46f8f1332dc39cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4263883,"id":"Q4263883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60a8de8e7adb8264e3eedead11bab773ba1b3b6","datavalue":{"value":{"amount":"+0.89079106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$F35EBF65-B53B-4435-9BA6-8613672DD8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7adb9526da39fdca1865edc78c64195f811bfef4","datavalue":{"value":{"entity-type":"item","numeric-id":5438966,"id":"Q5438966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a374220ebffc022ff4ad019008ee81c7316556","datavalue":{"value":{"amount":"+0.8885149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$40417B0F-51AD-4FC9-A25F-4FBA1BD05BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd34f784ebf777742449a1a890f3271c0fbdbe5","datavalue":{"value":{"entity-type":"item","numeric-id":2565990,"id":"Q2565990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e21b390577f826dc9faefd3c3591c6a74bca8f","datavalue":{"value":{"amount":"+0.88774264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$EDD06393-808B-4433-BCF2-86D21906FAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee6f886ef0705827062d0a4c87d655476ba33e","datavalue":{"value":{"entity-type":"item","numeric-id":4204148,"id":"Q4204148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7faa926294c78723b621c254e0f15b309ae3d7fe","datavalue":{"value":{"amount":"+0.8872299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924545$BD0A1039-5F54-4988-9C82-5E885C6C4A34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924545"}}}}}