{"entities":{"Q3070767":{"pageid":3081483,"ns":120,"title":"Item:Q3070767","lastrevid":80037806,"modified":"2026-05-06T15:17:54Z","type":"item","id":"Q3070767","labels":{"en":{"language":"en","value":"Formal polytypic programs and proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5841874"}},"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":"Q3070767$793A07DF-F687-4996-AC92-5EE35F223C63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77007290780b77272270bb503a9260a4fcafaefc","datavalue":{"value":{"text":"Formal polytypic programs and proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3070767$F9314098-AFF3-4EDB-BE5C-98EDB405161C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7925ebb8d69346ecd19ed642211e80a628aa2d7e","datavalue":{"value":"1208.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070767$FF1C2311-ACFB-4175-BFDD-F1D23BC52E1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef2039009244f3b83617f0173e5c4adc2cd74d62","datavalue":{"value":"10.1017/S0956796810000158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070767$8D77F60D-5DF4-4DD0-9475-07A6EA39DCDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a35f67e437293f1ebe7c298122ec2dc4dfbd84e","datavalue":{"value":{"entity-type":"item","numeric-id":3070765,"id":"Q3070765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$E123BE7A-9A14-480C-98AD-41D1DDDB0337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71e05dc17eeec091dd9dbc6387cb8ab9169003fe","datavalue":{"value":{"entity-type":"item","numeric-id":2937683,"id":"Q2937683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$D8929722-9EF7-4FC6-B97F-3D8E9C219B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07620f78b2b1817435c51dab40ef14d785469197","datavalue":{"value":{"entity-type":"item","numeric-id":3070766,"id":"Q3070766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$E4BE5D35-116E-45A8-BAE6-5C772B71F0BD","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":"Q3070767$C04FC224-86F9-4BB2-9648-154111565721","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2038371eafd43652aacf16f8dfcf8b987db49707","datavalue":{"value":{"time":"+2011-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3070767$AAB055B3-E2B8-417A-8AFD-CF3815883770","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070767$DADCE986-33D0-4CD1-A127-C4559ECCF75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070767$16785BF4-E3C5-4C27-9C12-05ECD074556C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6dabfc58d3e55ccd3496b83f77ff9c987e5e5fe","datavalue":{"value":"5841874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070767$E6A1204E-843A-4C38-B207-75CDD2C19F0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070767$3AE197F0-AA1A-49C0-8E15-4F926B80567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d8b3cfbe1df729da553e136c6135276a3e6504","datavalue":{"value":"polytypic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070767$80820F31-4752-4638-B1E4-892B277D96CD","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":"Q3070767$3F3B8956-419F-4B90-8737-A2A74E9C4BD1","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":"Q3070767$8BE09452-1A81-459F-9342-05C0E76562E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$5EB00CD8-DDFA-4254-AB51-E92BCA024CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59633133d1df245e047426ed24b145eed8a2ace1","datavalue":{"value":{"entity-type":"item","numeric-id":3620616,"id":"Q3620616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$2A2155AC-EE5C-4BDA-A344-A6A28A051D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53981ee945d1daafa78321b5dd26edc0bcd5d3d","datavalue":{"value":{"entity-type":"item","numeric-id":923883,"id":"Q923883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$4B63116E-DC36-41C6-9833-4A5B066EAA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c52ec8d7a769fecbeb6e9eb7e9cf0c37315768","datavalue":{"value":{"entity-type":"item","numeric-id":4500365,"id":"Q4500365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$CFCA5993-7A23-4EF0-BF2D-72BE2FBC8FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62952827b65adcfbdb658bf4a88dcb63d7865607","datavalue":{"value":{"entity-type":"item","numeric-id":4921511,"id":"Q4921511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$290DFD37-BFAF-4417-A548-05C791333F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99eb14aa10ffe617316a7799f362887b4c561b27","datavalue":{"value":{"entity-type":"item","numeric-id":923888,"id":"Q923888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$1BBF699F-2408-4471-B3A7-CA092DA2F8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e1efde56ba9f1a15c2e47d4885fc73a7d675cd","datavalue":{"value":{"entity-type":"item","numeric-id":5482280,"id":"Q5482280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$B4637CAB-E5BA-46C9-85C3-002D8B3BB062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9b21e92d1e385b1aa703cba49bf61d8d21f05a","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$1613FCD3-B51A-46A7-973D-6C9307C5E9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d081a3183fffc4fc614babec26bb3a44f947b76","datavalue":{"value":{"entity-type":"item","numeric-id":5501473,"id":"Q5501473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$FB25ED3E-CABD-48D6-AE1B-DAE4BD756D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f5f00376ce40e7c5e95eb21ebf38fad1c6f5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$4DBCB35D-B94F-45FA-AAA3-A1784B8CA312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e8f349b9d040399464f58e77fd5e3e98ad4608","datavalue":{"value":{"entity-type":"item","numeric-id":2936831,"id":"Q2936831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070767$CE36AFBD-6EED-4F7B-8713-3AF31A600ABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b22966b1a2704c315082d7608da491f0c28146","datavalue":{"value":{"entity-type":"item","numeric-id":4945203,"id":"Q4945203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfae0f8e17c854976bef187ae5fe0a2eec9e2515","datavalue":{"value":{"amount":"+0.8400010466575623","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":"Q3070767$D8663C2A-B516-4F37-A92F-F7B919196880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47222a1bc76a6ad497eda23fc5fe83499427252f","datavalue":{"value":{"entity-type":"item","numeric-id":3559762,"id":"Q3559762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8669a836c3e59e1cfc0fb85d139ef3213d8bfb4c","datavalue":{"value":{"amount":"+0.785546600818634","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":"Q3070767$30908A62-7990-4B0D-A915-5B256846DEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d9db1e16522eebeb84ab99f66088873a3fade8","datavalue":{"value":{"entity-type":"item","numeric-id":2703708,"id":"Q2703708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a667f2aac32bcf8d28ce5bb6f78ede3f7e8782f","datavalue":{"value":{"amount":"+0.784869372844696","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":"Q3070767$6F5B21E9-F59D-4A7F-9723-7BE3E5E29DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f973892b4b6f9e96fd00524440a220c98899cbe","datavalue":{"value":{"entity-type":"item","numeric-id":5466584,"id":"Q5466584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ca17c19885c35e4509a65d9c7ad3cee6d894bf","datavalue":{"value":{"amount":"+0.7751301527023315","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":"Q3070767$DE00ED43-BBBE-4CA4-A872-0F3EEAD9F0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60785d38add43367d5ff460c7240014af47c3ff","datavalue":{"value":{"entity-type":"item","numeric-id":3618812,"id":"Q3618812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449b54d503727297871ea721233c495262d66b31","datavalue":{"value":{"amount":"+0.7639744877815247","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":"Q3070767$9F2C1728-ABFD-4201-A6E8-64BE0D9E5F28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal polytypic programs and proofs","badges":[]}}}}}