{"entities":{"Q4372855":{"pageid":6402454,"ns":120,"title":"Item:Q4372855","lastrevid":89401073,"modified":"2026-06-04T17:16:36Z","type":"item","id":"Q4372855","labels":{"en":{"language":"en","value":"Well-founded Relations in Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097665"}},"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":"Q4372855$C97BC217-E71B-4D57-81A9-F2927AD41FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d50102ee4705697703ef8172555bbc380f2c975","datavalue":{"value":{"text":"Well-founded Relations in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372855$E30FA789-38AC-4E40-90F1-F276A0C2D731","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2a419539960c8870cc96f7724006108b2fba9c8","datavalue":{"value":"0894.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372855$BC455916-95E1-474A-9EDF-BE781413DB5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"213c8f04ca587c2315ada7211e5b5e2c44f08e71","datavalue":{"value":{"entity-type":"item","numeric-id":4372854,"id":"Q4372854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372855$07CE750C-6110-48D0-BF41-FD10F2A03E8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372855$BDDDBFD1-64F4-44BE-9DAA-B57CCB7623C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372855$312CA920-64FF-42F8-AD27-23AF83A98EA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fecbb6e218bd2989efc765a3f53ae5e598ee9f8","datavalue":{"value":"1097665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372855$58CED3F5-0D5A-4515-B443-6F2E567F4BBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372855$1522D652-B20E-4CF7-9058-5C7CDBCF1C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c4eb4a1dd79c5724db15a09e062a4221a39e53","datavalue":{"value":"well-founded relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372855$FD41422A-B52B-4E8E-8EE4-186DE890D4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c1c77882815072019a0f1a087e7e824f4091dc","datavalue":{"value":"ALF system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372855$2C2288EF-BF45-41FF-9671-FF40D3787458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20fcc71f4ac376fc5cfd2bb7aa8fab4aee65af25","datavalue":{"value":"well-founded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372855$E4676BC8-51BC-4C80-B909-88EE18328B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4d00175c26fd4259ca4fbd95fb41b33b7426b4","datavalue":{"value":"well-founded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372855$1A16D277-6461-457C-BE38-AB3F211A4292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372855$E9BF1C15-A5BC-4544-B43F-571B99B40750","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":"Q4372855$72B1A71E-DD63-4BBF-8255-4AB5185552C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb9d1887c5432e91097b0346e11cb25a3e0338ee","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.6.811","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372855$BAE159B8-EEA3-4B8C-AFCB-E41AAD86E8C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3775ec659c5350da8b69f9313f643c7e99361ce0","datavalue":{"value":"W2087163659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372855$F8D858F6-45D5-4B1F-A318-34F3FCF3C9D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfb80acab0c07ee851f50e01b9cd37b40cda731a","datavalue":{"value":"10.1093/JIGPAL/5.6.811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372855$B0F4F5F4-2B72-4CDC-A4EB-813754D2B336","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372855$BBB1AE3F-B3C7-4460-9156-BC790B5BCAAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e61c9806f592cf7e6bb582cded65ec23f8675e","datavalue":{"value":{"entity-type":"item","numeric-id":2754027,"id":"Q2754027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9de547815c9cea3c727b948f419b766712dbfe5","datavalue":{"value":{"amount":"+0.7971145510673523","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":"Q4372855$75E1CC53-F6FE-4BCB-B334-F276DA15B599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6a0f32513afc4c40ffe909ab7cb5cfcaec842f","datavalue":{"value":{"entity-type":"item","numeric-id":5394417,"id":"Q5394417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f05dc553054bcdc9e6bf3c2282e444c3f41879","datavalue":{"value":{"amount":"+0.7888016700744629","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":"Q4372855$F843E953-0540-4E61-A05F-8EBA01510C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0db32a0eeb8ee9439bdf174ebfff7c34439d59","datavalue":{"value":{"amount":"+0.7795997262001038","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":"Q4372855$FC388F5C-1898-4877-A05F-683D9BA0BF38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Well-founded Relations in Type Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Well-founded_Relations_in_Type_Theory"}}}}}