{"entities":{"Q3007654":{"pageid":3018378,"ns":120,"title":"Item:Q3007654","lastrevid":51269480,"modified":"2026-01-17T13:07:46Z","type":"item","id":"Q3007654","labels":{"en":{"language":"en","value":"Higher-order dynamic pattern unification for dependent types and records"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908714"}},"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":"Q3007654$361255E3-67A3-45A1-AEC0-3D039F926ECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fee708372c5e153921a2f15e4083bcae5752a54","datavalue":{"value":{"text":"Higher-Order Dynamic Pattern Unification for Dependent Types and Records","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007654$C9D6EBDB-480B-4892-9D3F-D9C631E75F11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a39f45e622adf17a4195190054a98cb7d16e94f8","datavalue":{"value":"1331.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007654$B4B41043-FAF6-42EF-827C-5092E83DA540","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c7ab1b2e5291e6beb9e0a822fa32820dc2ea530","datavalue":{"value":"10.1007/978-3-642-21691-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007654$B33CD065-7C16-4835-8F5F-757DA7AB340A","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":"Q3007654$E31CD02D-C9DA-449B-B76A-F7F52D7ECDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$686514BB-2318-4E78-A4F5-D080593E3FE6","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":"Q3007654$FAA1A214-063B-4A84-9F03-B6447A76BD4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007654$978AE75E-C5E2-4674-9142-472BB4B0F556","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007654$86D0BCC8-2926-44A6-AE22-C76DF7C412EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec6774a09cceaec7d803df3859be61561886a78f","datavalue":{"value":"5908714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007654$C947BED4-47C1-4CAC-91FD-8E2279C7AF69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86fd017762a2cc84520acf70ff19531594c257aa","datavalue":{"value":{"entity-type":"item","numeric-id":33173,"id":"Q33173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$9734DA05-FAF8-4621-870F-9423E13C3B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$C9AAB597-BE0A-4D82-86BA-4A06621ECD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$0D2BF925-8E5D-47F6-AEA0-FC732D9AF349","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":"Q3007654$2C9AA81D-8A9F-495B-9098-3DD1A8594E74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"181fa3d4db63eb4f3dcbc1ebfbc4bd1c040ddb54","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21691-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007654$87B22217-F3C6-487A-8562-885FC8A80CDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97d9ad76c1b4da4a4a23b07ee60e7ec409af093b","datavalue":{"value":"W2120226337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007654$11FB8A6B-F86E-47D4-83E4-794EA1030299","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$7591F2C9-F229-4C80-B67D-42F3E8693F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dfff62635f570967f8a1905ba5609cb1e1ea4a","datavalue":{"value":{"entity-type":"item","numeric-id":1274966,"id":"Q1274966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$F18C8C15-01A4-484B-BA27-7A149066BA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125d8478324e74503ed55ef90ba0e23247dc7393","datavalue":{"value":{"entity-type":"item","numeric-id":5705901,"id":"Q5705901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$F66005BE-53D3-443A-A93C-A37FAD5DAB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$3D1458B0-74D9-4EDB-81AE-E03FBA388B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$B2079206-0DA3-4B23-A7FF-6CA2B37799AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783eeff4fefb7d3d309527adb5e1675a1a875a35","datavalue":{"value":{"entity-type":"item","numeric-id":4812964,"id":"Q4812964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$F6ACEA75-BED2-4870-ABF0-BA35B6366995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007654$8BC4EF20-51F8-485C-B68D-46696682C087","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":"Q3007654$D2340D74-0DB6-4173-92CC-B43A009C4AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2f0bb38b56f759cbb69a7dc3cbce032e16f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e1e94284a004f182044c3f609d3da63e7899ec","datavalue":{"value":{"amount":"+0.8077443242073059","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":"Q3007654$5BF1BD41-244A-4CED-AAB5-EABB0D41D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fce87e1e4581922017d2f5560c916cadcfe98fc","datavalue":{"value":{"entity-type":"item","numeric-id":5055872,"id":"Q5055872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129495eb882312491eb45d11de6da6fde9b7ac2f","datavalue":{"value":{"amount":"+0.7912708520889282","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":"Q3007654$1905A366-BA50-47CE-B101-82BF21A98FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2842a69ce505d76f527982e81a57a0ca07074c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7ea3f36e977df420a309e57aafd0c90cb3cb21","datavalue":{"value":{"amount":"+0.7831107378005981","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":"Q3007654$15754621-F77C-473D-9FB1-D2ECED22E4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d5f1c1bb7734a5372db4065473b9b681b37c58","datavalue":{"value":{"entity-type":"item","numeric-id":5900734,"id":"Q5900734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7ea3f36e977df420a309e57aafd0c90cb3cb21","datavalue":{"value":{"amount":"+0.7831107378005981","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":"Q3007654$B482A272-3AC9-4519-8F4A-8AFA3CB7A3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357040841b6bd18fb9d302a090c8f4eddd701d05","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cbdfd333f8d124999f84580a992b630340908c","datavalue":{"value":{"amount":"+0.7771028876304626","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":"Q3007654$CFC121BD-1850-436F-B82A-E094BCFC46AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007654"}}}}}