{"entities":{"Q4993349":{"pageid":7022926,"ns":120,"title":"Item:Q4993349","lastrevid":91075577,"modified":"2026-06-04T22:11:37Z","type":"item","id":"Q4993349","labels":{"en":{"language":"en","value":"Index-stratified types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359415"}},"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":"Q4993349$3E387A24-1398-450C-84C6-3680063583EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3343fa0ece24d9686165afddd0d5f2178d27bd6","datavalue":{"value":"1462.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993349$E9532F1D-9B01-44F0-8477-325035BCA031","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e191a5705bb7351bc4cd265bba7792689c67917b","datavalue":{"value":{"entity-type":"item","numeric-id":4993348,"id":"Q4993348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$8C640143-D712-4A24-8842-166DEFA57A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$852DDCD9-CAE1-4737-A54F-2A263DA686D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737d28b070ce0e465798910a7ca8a8d691df24ea","datavalue":{"value":{"entity-type":"item","numeric-id":2931779,"id":"Q2931779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$E1CDABBE-BB9A-432C-8370-5D1FCD6B83B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993349$BC55A30D-9484-4434-9BF3-BAA0F83F2DFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12f0072a4716e24cde0e72ce254ab412b83806de","datavalue":{"value":"https://arxiv.org/abs/1805.00401","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993349$119307C2-2FB2-4943-A013-DD0508A523DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993349$60410B75-1220-4B13-97D7-91A060EB4678","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b51a741c2edc34a988b4ab1c2a0ef0385f09aa9","datavalue":{"value":"7359415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993349$392A9228-6CA0-47E2-8BCE-7770DB4FF441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df07575b5d4ffce33836b06873261242de97edbe","datavalue":{"value":"indexed types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993349$87F74747-E96D-403F-9D78-7170AC5C02AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1434ad6ff12ba69f16e12d02d447715754c13384","datavalue":{"value":"(co)recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993349$52B5BE75-54A9-4381-AD5E-DD46C62BE5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993349$5F790AB3-79F6-4112-95E7-B4543898CDFF","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":"Q4993349$CC21EABE-C805-487E-894A-A978A2FB895F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8e358264bd4fafb5ae8fe354ce3b216cca1b18","datavalue":{"value":{"entity-type":"item","numeric-id":5311256,"id":"Q5311256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$2ACFAAF9-8BC0-4A95-881C-4BC1F6FE92EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57fc7b22af8e6004390bb7ebe110448fe365d81","datavalue":{"value":{"entity-type":"item","numeric-id":2986786,"id":"Q2986786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$E9E9962E-48F5-4747-9FE7-D66B0F60270D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228e40236d38aec5a149d907ee03718626a60ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2942890,"id":"Q2942890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$67FB37AE-EBB1-4B2C-83CB-F23E05B63277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$836D792B-792B-44C1-97BC-BCFDF637D394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$E5122909-6EB6-436F-8115-92DCE03A0B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b1b6d321e9061de1263bc9768b7050048e21ec","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$D6D601D8-0173-422B-BFA2-C04E22F6E4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a5362203b0e3c8347ebddbc722eb15910d45b","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$E66C6A92-6C9E-4DBC-B233-75340D243614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$45267803-2169-4CF6-A15A-BD8CA0AE5C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$E517B260-8734-43AE-A536-BB6E47E4D28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db64b11464b9db48e2a389bd15fbba45af72595f","datavalue":{"value":{"entity-type":"item","numeric-id":5277845,"id":"Q5277845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$5959A7DE-02E3-4725-8972-E0DBFFADA8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$CC56D51A-3C13-413C-8136-DA8CC864940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca7d3d7743469415e0b8a942df4c8fb49dca870","datavalue":{"value":{"entity-type":"item","numeric-id":2985784,"id":"Q2985784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$1093B7CD-1347-4B94-9796-285756E0C372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ebab847b01b9bacaa8b90b8bef29f7149bd2e2","datavalue":{"value":{"entity-type":"item","numeric-id":2908525,"id":"Q2908525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$22DDF944-C6AE-4502-8569-3FE0C2CCFF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c8c114ed91e2eb27d97fbae8c341950e41db76","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$230473A3-C372-4D2B-BEB3-9E8F69FD845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993349$310E5089-2CA4-4690-AE73-1072EEFF5FB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"941540214d64e31c94444dbf9d0bb08bf685b7b6","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993349$16FEEE48-E3BC-4CB1-A8A2-B57E0F2B9574","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6255af84d0c712ae05495eab8247881ede12cc7c","datavalue":{"value":{"entity-type":"item","numeric-id":5854726,"id":"Q5854726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64167570772f993de808d3601103739bfb7b083","datavalue":{"value":{"amount":"+0.7189776301383972","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":"Q4993349$038CF84A-B251-45D3-9544-4711557B3072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e727e7d235de42e10bf5f7d4aec72844f85888","datavalue":{"value":{"entity-type":"item","numeric-id":4436029,"id":"Q4436029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33032404fda6d1a6cb04574327d8cff17ca77a94","datavalue":{"value":{"amount":"+0.7031077146530151","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":"Q4993349$2AFD7E4C-4CF9-4E86-9968-9044A115BCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941255af1156caa8f0c80bb23c5f0fe65fc60b95","datavalue":{"value":{"entity-type":"item","numeric-id":5170819,"id":"Q5170819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33032404fda6d1a6cb04574327d8cff17ca77a94","datavalue":{"value":{"amount":"+0.7031077146530151","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":"Q4993349$829E8EAC-9300-48F5-AB13-5A1658DDF0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c87b88d27a4713667e6227a0d48b0127ed9e68","datavalue":{"value":{"entity-type":"item","numeric-id":2942890,"id":"Q2942890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4a7756f961f867dabdba81c1a6f79421b20ece","datavalue":{"value":{"amount":"+0.7030962109565735","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":"Q4993349$3D3ACEC4-01C2-4CD0-8E5F-44AAB769F1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9060d6e58f3abe9651a3bef1b7bd0afd802d6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2931797,"id":"Q2931797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd34e413a990086c6ffe1f4342aeca20c3fc52ef","datavalue":{"value":{"amount":"+0.6942397356033325","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":"Q4993349$14A8A6E5-2CA5-43DD-91A2-40356900F164","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Index-stratified types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Index-stratified_types"}}}}}