{"entities":{"Q2915181":{"pageid":2925901,"ns":120,"title":"Item:Q2915181","lastrevid":79887905,"modified":"2026-05-06T14:56:24Z","type":"item","id":"Q2915181","labels":{"en":{"language":"en","value":"An intersection type system for deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085052"}},"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":"Q2915181$C9BC4087-B663-46B8-9246-254E7DB8878C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdfefe21b0cd7582b5d8377a5cacf8098f562eeb","datavalue":{"value":{"text":"An Intersection Type System for Deterministic Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915181$243B9E00-F730-43BF-BF4C-EB0B9155A231","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"223bd29a0ff4ebe0f199d0cb660725b1655fae3b","datavalue":{"value":"1362.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915181$D5CD8C24-7E47-45A9-9448-DF730FE929BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4a1367e93c9c3a1e9a7a67ee3454f9496e35753","datavalue":{"value":"10.1007/978-3-642-33475-7_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915181$4AA1060C-BC3D-4D43-B9D3-ADC4C1C3E4C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915181$601BF6A2-D740-420E-98DF-6CA16F912956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915181$10716A53-4C4E-4D68-9DBA-E1655A003FDC","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":"Q2915181$0BB317B6-789A-40AA-8EB0-F579412034AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915181$5EB64197-3E85-44A5-BB23-6D20C0F323D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915181$3B5BC183-84AF-452C-A1F9-669CF7E9BAB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a36678dad26127cbd812347708b59dcae1ddb4d","datavalue":{"value":"6085052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915181$2B91078A-819B-44FF-92A9-6F256F719172","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":"Q2915181$043733D1-EE32-4BD2-8A1B-4FF04F207A17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26b98d17d52673766ef130b8eae6f7d181e13c18","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33475-7_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915181$BC552D67-358E-4233-A97B-00E333EBB5C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"000f710c7589afbc46ec7ec75438e7fc12580cdc","datavalue":{"value":"W89746087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915181$DA1E4DB6-7AC4-4725-9731-49F36442115A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faeb5d6db39988681d02c7df7e73072214b31cd3","datavalue":{"value":{"entity-type":"item","numeric-id":2817405,"id":"Q2817405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d46c72a4c1c7ba81ff08608be8944b9f33db079","datavalue":{"value":{"amount":"+0.7961152195930481","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":"Q2915181$47EDB152-0DF5-42FA-BA26-207F1A831436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8359af2e78eb136b74e64f155be428cf0c2f4b5f","datavalue":{"value":{"entity-type":"item","numeric-id":4330728,"id":"Q4330728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09583928ede9fbf92cf197ed0cdc9442649b98c5","datavalue":{"value":{"amount":"+0.775361180305481","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":"Q2915181$78DC208A-F049-43BD-8E86-AE0968FCCAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c30aa140a1f9cf04253e106a1d5c61548c487b","datavalue":{"value":{"entity-type":"item","numeric-id":1978515,"id":"Q1978515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64f3a075bd091b59cbc6bb7d8b76d3147b169e2","datavalue":{"value":{"amount":"+0.755674421787262","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":"Q2915181$55419A09-0FB8-495B-AFE8-232CE694577C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51201624ff77b6f101ee883ba26ade47eedbfbb9","datavalue":{"value":{"entity-type":"item","numeric-id":3637217,"id":"Q3637217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ad5e1cd40105e84a62aa822af0d4fb8fb6b83a","datavalue":{"value":{"amount":"+0.750889778137207","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":"Q2915181$1A430495-EEA8-4B0D-8346-6B2680EBC8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7678cca52cde5a2eac96fe8a55066bb8143593d9","datavalue":{"value":{"entity-type":"item","numeric-id":3086239,"id":"Q3086239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3566789660af0c8838172747eb68a073fa18311d","datavalue":{"value":{"amount":"+0.7506306171417236","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":"Q2915181$F3F1DB19-BAA1-40AC-95F4-586FD977B9C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intersection type system for deterministic pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intersection_type_system_for_deterministic_pushdown_automata"}}}}}