{"entities":{"Q4249224":{"pageid":6278825,"ns":120,"title":"Item:Q4249224","lastrevid":46838886,"modified":"2025-12-25T17:00:37Z","type":"item","id":"Q4249224","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302672"}},"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":"Q4249224$C7D349FA-6F61-4E00-90EC-1415F132176C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0debef4dcda857ec94f8f2573db8145f46dad339","datavalue":{"value":"0929.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249224$E249DE40-E11C-4E13-8E65-F8D557C12A9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249224$C912086E-2B97-4FC1-996B-AE982237342D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249224$02D21A13-87CB-434F-8FAC-9AA47CCDC35F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b8a44eabc410e894bd523b7d8a0d88522d90972","datavalue":{"value":"https://eudml.org/doc/208918","type":"string"},"datatype":"url"},"type":"statement","id":"Q4249224$89055A10-E196-41DD-9A67-2C87DC63E00B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249224$69FA52B8-807A-4294-8EAD-331821E68C56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a58e32c8e9f3ac732bc15714cdb78c2734c65be","datavalue":{"value":"1302672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249224$10977869-E96D-4F7F-9A4D-09419FA253A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c56a066cb69a716c104762bc554c5d09030ec70","datavalue":{"value":"\\(\\beta\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249224$4E936048-319B-48FD-89D4-3463F73D74E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beeb0014d73aa323a1e98f0c0761b0e8242e166c","datavalue":{"value":"\\(\\beta\\)-strong normalization of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249224$30E3BBEC-8F3A-4F9C-9DA3-F276D39B8ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249224$D628EF5B-752B-40D8-BF07-AC49E28AEE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249224$3ECB7B2A-E726-4BA3-B0FE-0B5717CB4E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249224$1FF6E407-0EC8-4655-8BA2-E46EBB5D6E0B","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":"Q4249224$4EA14B2F-EAFA-449F-857C-5D62DE7F1109","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b843bbe05d7ec04b9e7443f833ea1e8de9fee8eb","datavalue":{"value":{"entity-type":"item","numeric-id":3708774,"id":"Q3708774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbc5deb7b6171ba88b40235c5a32dbb71a120d8","datavalue":{"value":{"amount":"+0.7933145761489868","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":"Q4249224$2FECFF9A-C82B-4BE8-AF3A-0274BB9D0721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378905a4e763ddc542c0601e8ca673be62d7c10","datavalue":{"value":{"entity-type":"item","numeric-id":4411845,"id":"Q4411845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32eb275a238ded9d1ad3265b79364c597f6cb04d","datavalue":{"value":{"amount":"+0.7906453013420105","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":"Q4249224$302A4CE8-E808-42C5-A033-B0573ED8A6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ded6dc1c98bf86743d12afb475edc0ef078641","datavalue":{"value":{"entity-type":"item","numeric-id":1340967,"id":"Q1340967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924af5c3d227445a627a461c4b2bc7dd6da2dc2f","datavalue":{"value":{"amount":"+0.7904051542282104","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":"Q4249224$235EB0CC-FC2F-4690-B07C-D7F5B7CCC1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff3e9d47b4998a80945f7b604e1447625228f15","datavalue":{"value":{"entity-type":"item","numeric-id":2456577,"id":"Q2456577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e1c67001046b2f2a56d544b10405e0a8209c45","datavalue":{"value":{"amount":"+0.7896314263343811","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":"Q4249224$5EEEF0B5-3504-405A-BA25-6D865D8C8E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e4fda4dd295d5e1fd362ff8368829164096e30","datavalue":{"value":{"entity-type":"item","numeric-id":1274966,"id":"Q1274966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d16dbfe73d8821573dd11f8c8ae25d9069aa127","datavalue":{"value":{"amount":"+0.7888797521591187","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":"Q4249224$C9649305-10BF-4CEB-ADEB-1BCE35F40A0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249224"}}}}}