{"entities":{"Q3499751":{"pageid":5529654,"ns":120,"title":"Item:Q3499751","lastrevid":50370323,"modified":"2026-01-13T22:08:47Z","type":"item","id":"Q3499751","labels":{"en":{"language":"en","value":"Characterising Strongly Normalising Intuitionistic Sequent Terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5282031"}},"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":"Q3499751$13E75D43-5CD7-43BD-B6A0-A0EF23DFE95F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83fc4dc414a584966d2163039e2926cb56b25921","datavalue":{"value":{"text":"Characterising Strongly Normalising Intuitionistic Sequent Terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499751$754ED2C2-AF41-4F68-9761-222A561DEB1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"335beca41c70b70b1dbc3e21935bdfebe0fd177b","datavalue":{"value":"1138.03323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499751$9B3A00A4-80CC-473A-BEF8-C2F8A05DF30B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfe878fbd0e82e43d3a4acfd9c9c6cfffb59197b","datavalue":{"value":"10.1007/978-3-540-68103-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499751$28A45D85-0B05-4747-B4B3-54380CD835E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$05EFDF30-CADB-4A8F-A346-81B98795D648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$957A3716-0653-45F0-A5EB-001DECBBB8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce0ce92a3ed785a05d622f72a3c118d17b9cb61","datavalue":{"value":{"entity-type":"item","numeric-id":1709699,"id":"Q1709699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$D12993AB-E1FD-4B37-9B07-9354959E2189","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":"Q3499751$0634C8DA-2D91-4E52-88F4-23E5DD347D14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88e4ba475cabd2d879ecee60d295bc12168aa5d8","datavalue":{"value":{"time":"+2008-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3499751$E4AD44FD-2F53-4138-84E7-21A28419A4D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"754ed6d5b73b8412f67eec28a76bbd69fa2ef0cb","datavalue":{"value":"http://hdl.handle.net/1822/11513","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499751$D6483C22-FB36-44ED-B4F5-27C39292A323","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499751$BA6DD10C-404D-49C2-A8D6-48B7E67B306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499751$063D0640-57A4-4119-BD90-CC114893E214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"640948115e3130564f542a54e20c6200c5567c3a","datavalue":{"value":"5282031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499751$06AE429B-9703-4A75-9D25-4535C240C7F4","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":"Q3499751$F26263F0-0494-4A41-9D9D-9F5681C25F36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d85d98faf3f44a469a829ea2c6cd129770427a","datavalue":{"value":"W1595352090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499751$EF2A19DB-DE65-4F28-B3BB-90ACE644DBB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$4448BB2C-41A3-4F69-80E3-BF2A3A7B0663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$E083A0CF-C138-4C16-83DD-E8BFA95AAFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$C571E2B3-2E7F-4BDD-A902-E466D0492D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0194dc0e328b9c2ed9532a0b7011e066f1844ad2","datavalue":{"value":{"entity-type":"item","numeric-id":930871,"id":"Q930871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$887646DC-4600-4C72-A83E-925478764FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f883f5a58653c920c606b57623dae3bf099e6cf","datavalue":{"value":{"entity-type":"item","numeric-id":2754180,"id":"Q2754180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$51CE3516-6786-496B-AA43-563E196D45C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1af344aaa64537d1e2473bf97f3d1054bcd467","datavalue":{"value":{"entity-type":"item","numeric-id":3612626,"id":"Q3612626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$1D45691C-01E7-4438-840D-417725CB544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2c29cfc2f6cf69387661eb43317351b89ab5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5432340,"id":"Q5432340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$CF0BCC12-3009-4E6D-97F9-87F7AAABFF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77536089bf8aecf643e5a119c751d95bc3f79740","datavalue":{"value":{"entity-type":"item","numeric-id":4457465,"id":"Q4457465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$40A164F0-D08E-4273-B2C8-A362C65378EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$9FDFF987-FA4F-4CEA-9A69-ACB71A71EF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff5899cb10d4648638b85deb045e4421cf26463","datavalue":{"value":{"entity-type":"item","numeric-id":2723897,"id":"Q2723897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$253C5137-8D24-47DD-A900-65A604848BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7397a9b15127ce09fbe63c0066d2a8d5805da035","datavalue":{"value":{"entity-type":"item","numeric-id":5432345,"id":"Q5432345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$47DA6D0E-FEFC-4377-9E98-60074D7E1FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$848B69FC-05B4-44A8-9E80-BA39446C3C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d72b1f486ce619d4334243a807b7206a5f803e","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$931327CE-37D3-4CF9-B662-5ADD43A4E1CE","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":"Q3499751$200BDB99-84B6-4735-86B5-AA5FF31246ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f416b5bcfc200e5c8ed939a8affe19aff4a5498","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$5246038A-2C2A-44E3-B2AA-23211486A331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926336abba0524ccb1cb3e54cc99d238b8657591","datavalue":{"value":{"entity-type":"item","numeric-id":4163188,"id":"Q4163188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$2AB701CB-216F-47AE-B277-2A130A4C2E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f2adbb2e2d11ec69ce4c61e0ae7f7b45e1dd84","datavalue":{"value":{"entity-type":"item","numeric-id":1275632,"id":"Q1275632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499751$A2F401E4-E4B5-4294-90A3-09A3FBDC6A3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad294ac104e314aec214589bb780ad8a88daf3f","datavalue":{"value":{"entity-type":"item","numeric-id":4903715,"id":"Q4903715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27d816659782ecc81c9303402e8f99dd89dd447","datavalue":{"value":{"amount":"+0.9633949398994446","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":"Q3499751$6AA85470-003D-46C3-9C0C-B4AE5DB03A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a609ae220d0a546b34a117528a953137cc7925e","datavalue":{"value":{"entity-type":"item","numeric-id":2842832,"id":"Q2842832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6491dec81849cc852e63b5c44726602e45f61a4b","datavalue":{"value":{"amount":"+0.8733376860618591","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":"Q3499751$055F2F2E-E273-47A3-B3F6-CE3609E344B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55cfa6f8279009629969d6b119d073bd5113682","datavalue":{"value":{"entity-type":"item","numeric-id":3044339,"id":"Q3044339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1674a0b2114ad6031acd329a0ef2f691499daca5","datavalue":{"value":{"amount":"+0.8298717141151428","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":"Q3499751$74D1076B-BBB6-4E5B-B630-FE6F1C0C6688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8233962fd49c5bd66fdd2bf3acc23a8f3975c30","datavalue":{"value":{"entity-type":"item","numeric-id":4993849,"id":"Q4993849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9d868238b6d305cbbb9aff2bad5cfe2da4f9dd","datavalue":{"value":{"amount":"+0.8269161581993103","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":"Q3499751$63EB7FCD-7088-4298-B174-D65854649666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a566b1d6a70d6aeb478a7fbe2b2db3c381d5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef092aaad70761ced9f034e30c08846c8b1ec50c","datavalue":{"value":{"amount":"+0.8131111860275269","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":"Q3499751$14E00DA8-056C-4555-BB02-5C98BDA5A5F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3499751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3499751"}}}}}