{"entities":{"Q3540196":{"pageid":5570100,"ns":120,"title":"Item:Q3540196","lastrevid":50499233,"modified":"2026-01-14T05:22:28Z","type":"item","id":"Q3540196","labels":{"en":{"language":"en","value":"Syntactic Metatheory of Higher-Order Subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369513"}},"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":"Q3540196$1FFABFBA-480A-4DB6-86CB-670E89E68D69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"180270d97bccedb8f64a85fb2d6cbda287f666db","datavalue":{"value":{"text":"Syntactic Metatheory of Higher-Order Subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540196$958B3456-47CE-4E74-8C66-31C80D1189B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4af572395de794e3339e419b547fa163ebac9690","datavalue":{"value":"1156.03311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540196$5DFA7744-301A-4297-9782-E49662ACE6B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9106fbffa816216989bc85a9084e3666bb959ceb","datavalue":{"value":"10.1007/978-3-540-87531-4_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540196$DDFC0425-8D03-4A7D-B6C8-568BBCED723B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$6FE71780-607F-4712-9553-0B1B42C5E665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e01a53a1853a34e4715241077bf7811b06df7a79","datavalue":{"value":{"entity-type":"item","numeric-id":2891465,"id":"Q2891465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$21A387F9-21B0-4B60-B873-4A9B5E932C0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$5B5131FE-E0BB-4FDE-BF5F-2A66C998D33F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540196$EB875A0B-3E9A-410D-A9A0-DF590D9255D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540196$974A2616-5C97-4AF1-B125-3E9BB39DBC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540196$B54B7DBE-1A17-4780-BBB9-E1E4149FC2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540196$126ABACA-3B81-4B78-A39E-10AA63C1BBD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6742fc75ce5d32bd178da8bd49768a32ff3e1c74","datavalue":{"value":"5369513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540196$218873C7-1843-45DE-B76C-7B56414C93D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd19552506f8fd08e6c85f9ccc68c9069d85a6c5","datavalue":{"value":"higher-order subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540196$7A9A8993-8388-494D-AA63-4F25A02EBFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3d055264c78dbe5aaa44e69c341de12cdff13d","datavalue":{"value":"bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540196$E131AF4C-F8CD-464E-B39E-4F4F2D0F508C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c9c06b9ba1e0a3ccb1141dad164f189df1889e","datavalue":{"value":"algorithmic subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540196$AA31627C-8641-48F5-9969-3A6AD7452BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a211d86cdf69e98f06fba3eac26e8b75b010f606","datavalue":{"value":"hereditary substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540196$84EFCC26-025A-44C8-8FBD-C5C5590BD859","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":"Q3540196$47E1E0B7-9D8C-4498-AB4E-A47FD4B97B34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b66586624fd7e1f337c6b8f076b90a2ab1bab35","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540196$68F5C2F3-5ED9-498D-9543-2523F705F65D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64936b94adf283443907d0cd0e9fa4b5d11015b7","datavalue":{"value":"W2115318924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540196$8BF1E239-EBDE-4D65-B318-95275CD6FB0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42645e68a60128717df0f895886dd341b3855f26","datavalue":{"value":{"entity-type":"item","numeric-id":3638918,"id":"Q3638918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$28DBF828-3E04-4404-8B0A-6A43B5623C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2423c9186c9682fd8d966fe4d344073a0c2498","datavalue":{"value":{"entity-type":"item","numeric-id":3434712,"id":"Q3434712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$08B7FDE4-6A23-4009-A482-9B8D21A21DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$CD0D4DB1-09D2-4EAC-A09E-DCBF2A83C92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7180bb9012ca387c7432e11ae515371cc2f05004","datavalue":{"value":{"entity-type":"item","numeric-id":5712301,"id":"Q5712301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$27243D6C-A3AA-4BE1-8BC5-7E476E9333DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23d8d107cc484ffc2be9d341cdae3571364725c","datavalue":{"value":{"entity-type":"item","numeric-id":1401950,"id":"Q1401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$A109068B-66D4-4BD8-A226-4A2CDF32538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1973aaed55a4e2d3fd84ece3e4faef40c3724266","datavalue":{"value":{"entity-type":"item","numeric-id":5466793,"id":"Q5466793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$B8DA8E2A-886A-4F0B-88F2-B8C79C024AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ec3e64915f874238ef3f6b18be98c3977bea28","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$8EF1E678-329E-4BC9-994D-97E04DB5FE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$A0ADFE48-F3EB-412B-BB5E-C0860AE3D329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$D1252F14-588C-4C1F-AE9C-F183F99FB7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6063e4a144bafe1447ae8b10555347d26c418f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$A0D692C2-4B3A-4F0E-B0C8-4A69E58DB161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$282B9632-3E9F-41B6-9B2F-9DD8F038578B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$2A352544-CD71-4443-854B-D6B3E6C5DEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb425e19efa9e5decb07e9dd177882dc02eb9359","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$283E54C9-4FB8-4076-A597-3CDB438A7225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540196$A0F8ABA6-0A25-4D13-9618-F38977E66161","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790897a634ff228c62345ebe53e81490c04b6b06","datavalue":{"value":{"entity-type":"item","numeric-id":598199,"id":"Q598199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37784fd7c8702d49f66fd7b258ea86018f05647d","datavalue":{"value":{"amount":"+0.8270062804222107","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":"Q3540196$FFFFEC49-BF86-474F-AAD8-98E450CE08EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843dd023fef806969b5b822fbbbdfbd02483bfd6","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ffdfdac62c82ba62f5bee87e3313cb6b55ffdf","datavalue":{"value":{"amount":"+0.8160439729690552","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":"Q3540196$B9C64F40-6BA6-42E9-A511-72BE3F1BD987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5c49e676c41aa5ec4011d82699145efeda181","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d540a88a3786f3b9084971266c0bf9caa6b968a7","datavalue":{"value":{"amount":"+0.8109027743339539","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":"Q3540196$FC02FFD1-C4E2-4924-95AC-2CD92A0E1CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82e5b905f8bde35b35880fc337f3c8c35157c1e","datavalue":{"value":{"entity-type":"item","numeric-id":3434712,"id":"Q3434712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba482401a649ce2159e9ccea4b8c1dd9af2b6511","datavalue":{"value":{"amount":"+0.7756795883178711","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":"Q3540196$5DA938F6-5885-4035-929D-2661AB1424C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d67781a2b1594d496e2aed983a222f588375e53","datavalue":{"value":{"entity-type":"item","numeric-id":3535676,"id":"Q3535676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0503ec432e0a26f6b497c492f44a46a2e89e522","datavalue":{"value":{"amount":"+0.774137020111084","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":"Q3540196$B6EF9557-5C2E-4BF3-98DB-C26649040789","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540196"}}}}}