{"entities":{"Q766167":{"pageid":768016,"ns":120,"title":"Item:Q766167","lastrevid":64169277,"modified":"2026-04-11T18:06:32Z","type":"item","id":"Q766167","labels":{"en":{"language":"en","value":"Refined typing to localize the impact of forced strictness on free theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6018091"}},"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":"Q766167$BF28C614-0547-4DF6-B741-B07990B2CAF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"365ad05a4c6dc736ff7e9577f4971016d86457e8","datavalue":{"value":{"text":"Refined typing to localize the impact of forced strictness on free theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q766167$EB576729-3336-4084-9999-03A17A2C0C32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d6ae4f51915623de9f8fb0697f1766154cd4300","datavalue":{"value":"1237.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766167$8F53BD7A-2F3F-4BDB-AC75-3576781B812B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dcb75a741097e430ac6ac4bd36034314214b9de","datavalue":{"value":{"entity-type":"item","numeric-id":649011,"id":"Q649011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$ADFCF809-B2E1-4D6B-BA40-8AE2CCFCC1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$4681EADB-B3B7-4318-BE85-9922C59A3225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$DF161B51-A097-4129-B94C-D8BAE5A26B66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e25ea026da941bf2415d8e8a4c5b808379c44bc1","datavalue":{"value":{"time":"+2012-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q766167$9C4C81C4-E07A-4D56-B311-2AEBC2D5D279","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766167$2594D5DE-3DC3-4BEC-95B0-BDB3997179F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00e4730505811923892b51ac4ef8567bdee23ff9","datavalue":{"value":"6018091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766167$670100D1-E695-411B-B0F2-3FB7E07A084C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2494365a54d433d4f95915450f7ea54d0c2835","datavalue":{"value":"parametrically polymorphic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q766167$79DA6770-658F-41EC-9D36-451FF1E4A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q766167$3407CE24-8FED-423D-A42A-07D587EB43AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d0e89c904b4336aa9c702b0f719264b030c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":14086,"id":"Q14086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$823F0AF8-15CC-4CDE-9CD7-524C4F8B5A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$41618B06-A00C-45B7-9000-465A2A9FA1A3","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":"Q766167$35BF0305-4E50-4673-8F36-101AB9042619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e22bd0c9163fb992b4e2812a5c8d48ac167d391","datavalue":{"value":"https://doi.org/10.1007/s00236-011-0136-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q766167$BCF4CF10-94F5-4681-A82C-19288F812B7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c17c3aa46a318e808b0fa946f5c1742f2a310d12","datavalue":{"value":"W1975913387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766167$7017B9D0-9C08-49FB-BB41-12EB0E304D39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac208b1e0960d954c41363d8a41cdec11188d24","datavalue":{"value":{"entity-type":"item","numeric-id":3558219,"id":"Q3558219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$2221DCCF-2492-44BB-83F3-CD1C99ED413D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$534E47D2-2ECD-4448-BF8D-B3A1F3BE161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9708abdfb525c833c65b615b807126dc23b5c080","datavalue":{"value":{"entity-type":"item","numeric-id":656871,"id":"Q656871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$2C94DD3D-08A9-4543-AA84-68D6693F4B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914c0c6edc5cdf0cde4428945012a8e1bf383439","datavalue":{"value":{"entity-type":"item","numeric-id":4461770,"id":"Q4461770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$4B52ACA8-A01E-4B04-88CB-931B2DBFF97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9496de230cfeaf8cd7d67a7de0dfe83790fb2625","datavalue":{"value":{"entity-type":"item","numeric-id":4675766,"id":"Q4675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$F06DCDE2-B171-4232-BB51-3CA7369222D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574b6ddda0bad034428bdfbc84a61f9b3f3a3c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5472909,"id":"Q5472909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$5CFB9D0C-3920-4DE5-ABD0-C9D00F2F7330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$7011E109-A059-44AA-A26C-7197A6CDE30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c4d1255450b605c6ca9f98e23e4e136f7353a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222938,"id":"Q4222938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$17B05186-6B9C-47AD-9AA8-17C5770CA12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$46FBFCFF-0102-4F1D-BACA-183558F79630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$F834F1A5-7705-45BA-83E9-EE27E8CF5992","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":"Q766167$E368430A-C4E7-4FD9-A4D0-AF9CD53D632B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$B35FBE30-6023-4637-9795-6912D06B3487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$A79CCE88-FEC5-4935-92B6-6ACDB38954C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c09d0c72347ea8db62d5cffa13b8ad5d67d1ba","datavalue":{"value":{"entity-type":"item","numeric-id":3558338,"id":"Q3558338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$6C07A7C2-6F01-4366-96DE-0252C71F5F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99f40b0b2d622ac0a1c1914f5fa2269832233f0","datavalue":{"value":{"entity-type":"item","numeric-id":2949199,"id":"Q2949199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$438EE721-0AA3-4D20-934F-FF5C29485DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97b1a596105f1c2c0a3c61f00bd4910631e8acd","datavalue":{"value":{"entity-type":"item","numeric-id":3189823,"id":"Q3189823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$DEB16046-EEC5-4A14-ABFB-A1E76FB26686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea20767c85c95a6d131b5f736880b29762f22e0","datavalue":{"value":{"entity-type":"item","numeric-id":5458435,"id":"Q5458435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$2EECA221-FC8E-4281-AF69-F9823C323DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d4471d7c84c4c613578df596ce30f1e5b4b0a3","datavalue":{"value":{"entity-type":"item","numeric-id":2936814,"id":"Q2936814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$74CDF3FB-C5BD-426A-A4CB-2AED50C2DF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482ed5e476fb0bb09574ad367858e7015bf35910","datavalue":{"value":{"entity-type":"item","numeric-id":5176938,"id":"Q5176938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766167$3853E576-FF3C-4A17-94C7-9C82F3961129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7593cfdedc20a7bcecaa64796d8d30d5f218d49","datavalue":{"value":"10.1007/S00236-011-0136-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766167$5155D18A-E15B-4276-8486-5D79CD59EA26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3666f5f41a06b204cfac09cd041d4579d9c1848","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c1f89ce5cd01ae5ff49eea0a84508ab183fca2","datavalue":{"value":{"amount":"+0.8323498964309692","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":"Q766167$73AB32C9-ABC6-4953-9965-A9E2DF3B03BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0a42ecf1bc9954dfca100d60def37db47fe49f","datavalue":{"value":{"entity-type":"item","numeric-id":5472909,"id":"Q5472909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea8665b5c3d6f7fdbf5d913d318bac81031947f","datavalue":{"value":{"amount":"+0.786637008190155","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":"Q766167$D4E3EBF2-C400-4254-AF72-A0C0EE65D920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932cec585e3aa0ab6d2cef9b15e89d98168f777f","datavalue":{"value":{"entity-type":"item","numeric-id":2936814,"id":"Q2936814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29c4b4956d68860f4e37efab9d653feae12b575","datavalue":{"value":{"amount":"+0.7820443511009216","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":"Q766167$3118B7D0-EC93-4DE7-A53C-1EE281F10137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76f3bbf2e4dbc198b27d1e5e6691993c280f12e","datavalue":{"value":{"entity-type":"item","numeric-id":2464947,"id":"Q2464947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1611e9638d7d5436048d74ccc81d468027d18a","datavalue":{"value":{"amount":"+0.7753707766532898","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":"Q766167$16085324-6219-4CB2-9590-A0843BF14030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a9756de8234864fd25811fd82eb300fec39d360","datavalue":{"value":{"entity-type":"item","numeric-id":5262947,"id":"Q5262947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7913a75bd98aeff814f08a0134049b14b027c77f","datavalue":{"value":{"amount":"+0.7707946300506592","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":"Q766167$2AA73269-6943-4710-A538-CB011B7F5534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refined typing to localize the impact of forced strictness on free theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refined_typing_to_localize_the_impact_of_forced_strictness_on_free_theorems"}}}}}