{"entities":{"Q3510443":{"pageid":5540347,"ns":120,"title":"Item:Q3510443","lastrevid":87284630,"modified":"2026-06-04T11:17:58Z","type":"item","id":"Q3510443","labels":{"en":{"language":"en","value":"Intersection types for \u03bbGtz-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5296694"}},"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":"Q3510443$2191D752-3FDF-4B7F-8995-2903C9F5F4C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ee2645c9d63711bdb2e6d2f6c040b698f7fc382","datavalue":{"value":{"text":"Intersection types for \u03bbGtz-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510443$068396CF-1AC1-49CF-884B-FE3281C0AAE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04743d17efa0dfc42424ce80bba2bd890cc6540c","datavalue":{"value":"1164.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510443$A9F4FF1A-D03E-484B-9052-BAF83F3ADA8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb84e8515fac392a959eda314e5abf7d85c357c4","datavalue":{"value":"10.2298/PIM0796085G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510443$27DB393B-70E9-4563-ACFA-89D21D2EE4E6","rank":"normal"}],"P16":[{"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":"Q3510443$A3DA4E8C-7A14-4E80-9A2A-E6FAE2D07A44","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":"Q3510443$81663381-1927-4044-A08B-581CB76E9FCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00034c34431941ef173c32ddaed6c9a7c9ade616","datavalue":{"value":{"entity-type":"item","numeric-id":2815240,"id":"Q2815240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510443$4C30E01E-46B0-4D78-8BCC-5597E1815C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03dc85bcb852416a69558ff26ee872119ad863d0","datavalue":{"value":{"time":"+2008-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510443$28EDC5E8-D985-422B-AACD-C6CA83D61C26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f0f06fe8ac5fa8a9014d2953bf0f14652a2285b","datavalue":{"value":"https://eudml.org/doc/130037","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510443$5909307C-3C92-4FA7-9BB7-5EE217F20B90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510443$239945F0-4F45-4291-89ED-735F5CE4FE5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25c9cc02fac48d0889a36655f0f6eba2e4f72703","datavalue":{"value":"5296694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510443$8632B8B6-B3A5-4E1F-A251-65E643979603","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510443$5BE35A21-B33D-4116-9CDC-C1A7E3C35E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510443$1FD07F1D-623D-4139-A249-AB43B81DE705","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":"Q3510443$DEF21E00-704E-4983-96E2-A8DA0FAB0B42","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"faf2005ef35138c4c6bdaf3a5a51c4c17c7cd065","datavalue":{"value":"bafkreiexyjxvj7cyioqjrtsqnw25hzlifif2m4oucpzctpl5a7wwyncp4i","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510443$F4A44ABF-B51A-467C-BDB8-916314F7C8B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2204287723a612ded82b31f10edd7420db0445","datavalue":{"value":{"amount":"+0.8534942269325256","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":"Q3510443$87DC5266-AA4A-4F67-B324-553F750C428C","rank":"normal"},{"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":"620b003a52446cd3f099ce764e12e332c255bf21","datavalue":{"value":{"amount":"+0.8468633890151978","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":"Q3510443$ACE5C474-F592-46AB-B667-8317F9550B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acb101caf711151f31c2701eee28a11adec539e","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ad56e0b94a331a62702713031aa153538d8e0f","datavalue":{"value":{"amount":"+0.8312903046607971","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":"Q3510443$B74BE1B3-6E66-42F7-8348-D96CC4E5D6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ceee692859a35f630d61c5116deb7eaf0e6a435","datavalue":{"value":{"amount":"+0.8294389247894287","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":"Q3510443$DE183444-FC20-43B8-A9B5-14529E851BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858618e0b7907e977165de74c7a2f92772f504b9","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e3e18cf1ba17fe59a09cf689bad84a1a7b17eb","datavalue":{"value":{"amount":"+0.8242098093032837","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":"Q3510443$1C2BD5DD-9C26-4DC9-930B-2C4C5BE77C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection types for \u03bbGtz-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_types_for_%CE%BBGtz-calculus"}}}}}