{"entities":{"Q3067641":{"pageid":3078357,"ns":120,"title":"Item:Q3067641","lastrevid":51170765,"modified":"2026-01-17T01:40:29Z","type":"item","id":"Q3067641","labels":{"en":{"language":"en","value":"Strong normalization theorems for quantized \\(\\lambda \\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5840257"}},"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":"Q3067641$82BDC7D5-5052-4033-A28E-448E5A739A55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d78f9eff753e657f53836ace9409f3c2e505e718","datavalue":{"value":"1218.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067641$05613202-EE29-4984-8413-0D31215094E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067641$1AC6FA2D-2B5B-4134-8389-D15A40072DE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-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":"Q3067641$64141752-50AC-4EDC-8189-E0F335FF1A34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26966ba01ff17863505759b58de15b9341c33ab8","datavalue":{"value":"http://pphmj.com/abstract/5169.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067641$3A3CB298-EA10-4E51-9C1B-340665EBBF0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067641$08B0A0E1-BDF6-495B-8823-8328126371C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067641$2F689D57-F244-4E90-86D6-66D9C4CCE48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067641$56312440-7296-44D7-B1D9-4EBCDBA2CD3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb38db15019dbda9c9ba8421f974775952d0aec1","datavalue":{"value":"5840257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067641$F924ED11-C6B0-415E-8624-99A721B06657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067641$A1CAC14A-08D2-4D10-8C58-658F04BEE9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067641$CAFB9F6B-455F-48A7-9D99-6982A9388F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067641$D246EE34-3F02-4A0C-B6AC-56DD00EC3007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067641$BB5A1F28-1892-4421-9577-8B64363945A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85475279985cb2c56d5ae22e6f4aa3f8f5a3dea8","datavalue":{"value":"involutive quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067641$EA6DE896-5F25-44B6-A482-D3C0971EEB2B","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":"Q3067641$A65ABDAA-E127-44C7-8640-D3BD7C921657","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3807dcb7ed967243532e238e81423ccca34c5a49","datavalue":{"value":{"entity-type":"item","numeric-id":1001367,"id":"Q1001367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06b1768b616872502d675f21e4c1e17eb3cd038","datavalue":{"value":{"amount":"+0.8121628165245056","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":"Q3067641$7F7903D1-6F32-43A3-BA3B-C02DF16C185B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd42ff58075b76d9ae013083aa487cd8f4fc1182","datavalue":{"value":{"entity-type":"item","numeric-id":2084572,"id":"Q2084572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff59f51b8653cb7077f9119aa94d07b771b9df53","datavalue":{"value":{"amount":"+0.8054068684577942","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":"Q3067641$8994F31E-8B20-42D8-A1CC-855D6CBD6908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731b13ffcfcd2791dd812dcf159bf727e2a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":4501146,"id":"Q4501146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4970732d98360ae36350897ff83ba9be285a590","datavalue":{"value":{"amount":"+0.7993326783180237","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":"Q3067641$125EFDB8-AF94-4FB9-8F8E-7ECD1402A4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0285b1c03c9b3972ae14ca8db863da41233c811a","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21f6edecd4d1a04f0813c9b169a3b9d70d920a2","datavalue":{"value":{"amount":"+0.7757329344749451","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":"Q3067641$FEC2468D-AA49-481F-82B4-4E050F82C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9e9ec6b2cede43c610c23b53e50d77f5e52021","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387e743d3dfcd1fa00245581ca1b1fa5095094c4","datavalue":{"value":{"amount":"+0.7691241502761841","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":"Q3067641$5D1A93AB-1894-4738-937E-57E8DF749CBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067641"}}}}}