{"entities":{"Q3444656":{"pageid":5155776,"ns":120,"title":"Item:Q3444656","lastrevid":50109956,"modified":"2026-01-13T04:09:33Z","type":"item","id":"Q3444656","labels":{"en":{"language":"en","value":"A module calculus for Pure Type Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5161060"}},"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":"Q3444656$DDEBB4EE-C467-4427-8AB3-81384ECA6591","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c7fb20b023cdb52f4978f33ee81105221e106f9","datavalue":{"value":{"text":"A module calculus for Pure Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3444656$517F3F39-A788-45CC-BB97-E747B6FF1A71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"878a36a17de254870640d6b72621b328128c94cf","datavalue":{"value":"1118.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444656$4BCB9C8D-566D-4C17-844B-CFEDE5F0A921","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e47f83e9b1c1d238fb72c54dab8964668d2afa2b","datavalue":{"value":"10.1017/S0956796806005867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444656$460450F4-29F9-47A0-8987-68C85354F1BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4170a3e2534aff8edaabacf06fba256137af22c8","datavalue":{"value":{"entity-type":"item","numeric-id":540677,"id":"Q540677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444656$04EEBAF9-1F47-457F-8D7F-2F9FEE503997","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444656$22D69CF1-B0EF-4F00-9BED-24381D13B567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36245292ed3f481a9afbac2e0b7b7fcb988329ca","datavalue":{"value":{"time":"+2007-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3444656$0286A39A-F06B-4C4A-8562-2D0F632F20C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444656$08450564-291B-468B-85AB-1DE84E8F475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444656$87F4CC85-7018-483F-8C8E-8DC282D415E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"034d0b25dad115c57da12dbc3fdaedbf0d77a886","datavalue":{"value":"5161060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444656$03399CA3-90B4-49DA-8B28-64207C0F9CD6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444656$AB73E0F8-F565-47FD-900D-C8543B082309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444656$DAA24B19-048E-4902-A360-C03C477B08D3","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":"Q3444656$E3DF4316-89B2-4E02-9D4F-C30B1276FA77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"095ed080e4ee16cdb001e8b84d0bbf242898cbee","datavalue":{"value":"https://doi.org/10.1017/s0956796806005867","type":"string"},"datatype":"url"},"type":"statement","id":"Q3444656$9B7FFCC3-D81D-4D4E-9300-0D91A4ED7252","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73b1df2a998baf2bf13ad83bf85f3df46291913f","datavalue":{"value":"W2130303109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444656$AA0A9427-5487-49B5-95F0-345CFFE5A5B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa95a76da18aefbe59498be52f6c121ba2a8737","datavalue":{"value":{"entity-type":"item","numeric-id":3024903,"id":"Q3024903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21efe03d7181702deac37c454ce799a6ea24564","datavalue":{"value":{"amount":"+0.893553614616394","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":"Q3444656$DC544CA7-6EB2-4B2B-8BE9-E82CDC20F123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21f430b679a2e7239d313e45e0c7db947686e5c","datavalue":{"value":{"amount":"+0.7485302686691284","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":"Q3444656$AF16D114-6508-4B9F-8DBA-AFAA141EC75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc61f049f8d0b30109ea2633d86e084029eda8b","datavalue":{"value":{"entity-type":"item","numeric-id":2751370,"id":"Q2751370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1f4893f9b1fab0fe249a5fc4a716399efb458f","datavalue":{"value":{"amount":"+0.7349724173545837","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":"Q3444656$A8C47909-D3ED-410D-B0F7-B539E37B60D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8139ef8a91aaf6018642a73755c3a644f2cfcb1","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb3c039be40875e45708a5444ed482ff5e7fb59","datavalue":{"value":{"amount":"+0.7188606858253479","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":"Q3444656$DD6706E8-9D8D-4E73-987C-16982FACD4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb659874dd1c4dd244645c9a91fd0be0b9cb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696bab193fcf68271b929e27782719b19347897e","datavalue":{"value":{"amount":"+0.7155189514160156","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":"Q3444656$DB222295-A7B6-42BD-82E8-B613F98EDD9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3444656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3444656"}}}}}