{"entities":{"Q3520143":{"pageid":5550047,"ns":120,"title":"Item:Q3520143","lastrevid":50428247,"modified":"2026-01-14T01:01:08Z","type":"item","id":"Q3520143","labels":{"en":{"language":"en","value":"Strong normalisation in two Pure Pattern Type Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312441"}},"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":"Q3520143$DFC5930D-EA10-4444-96FD-1F5756F58BCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1bc9cd90822465189253c14d62e729c738ffdc8","datavalue":{"value":{"text":"Strong normalisation in two Pure Pattern Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520143$968717C5-CEC1-464F-A471-F4FA49C6EC2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c9c92c9faa129f268aae843523399e2f3f9fe8e","datavalue":{"value":"1153.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520143$2B9A6148-DCF2-4267-8FD2-B73A444B3406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaec4c7b08930d0e743da0a60578e9af58b6f7a2","datavalue":{"value":"10.1017/S0960129508006749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520143$95BA17C4-6AF0-4202-88FF-496A3D5CB441","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ededf455668b12324b97fced421af3583ca8fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":2844064,"id":"Q2844064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520143$0046396A-DD06-4419-879E-3D23CE788919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e708c3837dd01826e990d479d06ec21c45976b0","datavalue":{"value":{"entity-type":"item","numeric-id":2873777,"id":"Q2873777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520143$CAFF2444-E6A2-44BC-80DA-5EECF34776D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520143$EDE8257F-42B7-494B-B6CF-C3127099BCD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-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":"Q3520143$78CC84B3-0ED5-499B-ADC6-D76BBBF3FAF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520143$FE80648B-57CF-45E7-AE48-E1A0AE8EB7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520143$A4C227E4-F9D1-483B-A96C-2A962387C66C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f69c438f2003fe8ed2489a1cd63e5f9b2cbeebf8","datavalue":{"value":"5312441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520143$DA1BAD29-B9B1-43F5-86E6-4659F492D26E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520143$68D05B8F-A244-4FF4-9E87-E86D6A7EE9B1","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":"Q3520143$8C8AE6C8-9D98-4444-A605-F1D758F7C173","rank":"normal"}],"P223":[{"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":"Q3520143$EBFBC1FA-21D5-4037-9879-B178AAFF8632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520143$1CC0BFDA-57F0-46E6-9E82-357601049FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2585040e6058cc953401d05dab4a4741915708eb","datavalue":{"value":{"entity-type":"item","numeric-id":1908354,"id":"Q1908354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520143$40F0D173-B39F-4781-A250-6B9E4199967D","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":"Q3520143$E7BB56D4-368E-4841-8290-2C84BFFF8FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233dfe42cf26367619cfadc069d894fa4a12e740","datavalue":{"value":{"entity-type":"item","numeric-id":5958292,"id":"Q5958292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520143$6009D2D1-2796-49B1-862A-E0D10920507C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd043b3642e93111b86d90f238c370fa1011fb","datavalue":{"value":{"entity-type":"item","numeric-id":4673438,"id":"Q4673438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f31d97518f861eeea98cb6896072f29283652d","datavalue":{"value":{"amount":"+0.9511920809745787","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":"Q3520143$CD6FF969-0CC9-4D7D-95A3-6D4CBBE5AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb659874dd1c4dd244645c9a91fd0be0b9cb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127e1a6cc2a1d6ace3a32e766e541b453f41d10e","datavalue":{"value":{"amount":"+0.8389511704444885","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":"Q3520143$97762D24-ABDB-42CF-989D-C43E1F0B05A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b84e7ec6d03c14228d6ecf6a5fcac07ec6fee4","datavalue":{"value":{"entity-type":"item","numeric-id":4246950,"id":"Q4246950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917e0b86ca66e8bf434cdca906d667a424f33180","datavalue":{"value":{"amount":"+0.8056495189666748","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":"Q3520143$469AE091-2B5C-4FAC-8144-CDD09CC39235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893d50981d95c064d474c78f21d9d521b98e6b69","datavalue":{"value":{"amount":"+0.7746867537498474","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":"Q3520143$CA80879D-7355-4F5E-8B31-1C44919A1092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da3f06971b0a5c5e1545510a0e13f468a663910","datavalue":{"value":{"entity-type":"item","numeric-id":4501161,"id":"Q4501161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93f72ec411d2546b9578b286f45d61f1ffd8294","datavalue":{"value":{"amount":"+0.7689059972763062","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":"Q3520143$C0145655-81CB-4C04-9D7D-8649CE073002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520143"}}}}}