{"entities":{"Q4644473":{"pageid":6674054,"ns":120,"title":"Item:Q4644473","lastrevid":53313341,"modified":"2026-01-24T17:18:29Z","type":"item","id":"Q4644473","labels":{"en":{"language":"en","value":"\\(\\eta\\)-conversions of IPC implemented in atomic F"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997864"}},"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":"Q4644473$DBA3DA57-A144-4DDE-A9F8-5DAA6D200E0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69ba63aa27146867e1c4a4ae13c7f5cdb8c4cf0c","datavalue":{"value":{"text":"\u03b7-conversions of IPC implemented in atomic F","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644473$02BBA1A3-B537-4E37-9F20-CCBCD283705E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73c2efbd4e360f88b2cb049bfbbbf3e4bb3bf767","datavalue":{"value":"1405.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644473$DBE5EC80-8CF5-46AF-B4B8-C987A8FC7176","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644473$7EF8FCEF-FD91-44BA-9C1B-15315EC9CB5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644473$7B663989-0387-414E-BB08-2CF895F17285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"720b16bc832f9745dd9620147cfdc4a86868a7e5","datavalue":{"value":"http://hdl.handle.net/10400.2/7091","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644473$0D38AC56-012B-41F9-8C59-01899C40B921","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644473$BD39A424-3DC1-4C5A-8F59-07AE6616F51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644473$19EA06B4-A224-4BF7-AE26-97DB8AA3F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644473$684A97C9-10D7-49CC-8237-336A95313C84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"421342be21e2ad428869dd1d33773a6f880b0e00","datavalue":{"value":"6997864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644473$9951756D-0ED6-4CCF-A940-B2538E5F22CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c434c6d59561158223b2d318a71b4638dde922","datavalue":{"value":"\\(\\eta\\)-conversions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644473$2D510CA2-0B4C-4628-9128-5AFCD2BB29CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644473$F8F856F2-CE1C-4F8F-8505-0C5FFE3B55FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644473$20765629-F385-4AC9-ABF8-4C93715B861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644473$DB85957A-B135-4DEE-9E9D-9B9F30F3EBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644473$1A8AEA8D-859C-4E63-8663-2D479A7D1765","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":"Q4644473$8BEFC17D-9785-4B09-AC97-D097002770A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17bb71e9d2db1f081ee75ef98a5e33e52043212b","datavalue":{"value":"W2469665705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644473$EE9C3B09-DBE2-4D85-BA16-4954E304AAF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"993680eba22e3ad983f3483552330f3054d3d4f3","datavalue":{"value":"10.1093/JIGPAL/JZW035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644473$0E5A3BE7-3255-4653-9EB6-22E4BD152A47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644473$9D5D962B-7EC0-44C6-B229-33DDADCCDF28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afde209622b91024c7baa2b68f142d4a557d278","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199c9bb120236098909f829ea8f0a8a4067c6fef","datavalue":{"value":{"amount":"+0.8550809025764465","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":"Q4644473$FF983024-F067-48DF-BE51-AF936864F9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b087ef49692900107f01c9a6e780b22849ba6a","datavalue":{"value":{"entity-type":"item","numeric-id":3617369,"id":"Q3617369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cc1ec97f44012e193e1ac05c6e054ba8c7d59c","datavalue":{"value":{"amount":"+0.7930238842964172","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":"Q4644473$8A936ADC-3A2D-43F0-A3CF-2BFC7CE29C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e2272ff914c60a7165e491e5adf7f7ae297c0a","datavalue":{"value":{"entity-type":"item","numeric-id":897484,"id":"Q897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5db08fdf7e65b3fcad5b64ab9ad1f8a0defe22f","datavalue":{"value":{"amount":"+0.7702665328979492","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":"Q4644473$27D016DA-52D4-4179-8DFD-22A4742978B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb234f7ca7d1e070263eb9800aec279648345a5","datavalue":{"value":{"entity-type":"item","numeric-id":2186692,"id":"Q2186692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713a685b2dda4667afabcbeb582eb6bdc516ae25","datavalue":{"value":{"amount":"+0.7696195840835571","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":"Q4644473$4B60F0DD-782C-46A1-B193-56505CF67845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef442f081c9fc360f125e03e3ac575e7b4fbe05","datavalue":{"value":{"entity-type":"item","numeric-id":2957669,"id":"Q2957669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f981e6fb83a8b267320f554a2f5ec62168304988","datavalue":{"value":{"amount":"+0.7596271634101868","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":"Q4644473$52E5CA61-9249-4DE5-8E70-A9CFE01191ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644473"}}}}}