{"entities":{"Q4357067":{"pageid":6386666,"ns":120,"title":"Item:Q4357067","lastrevid":46948710,"modified":"2025-12-25T22:08:24Z","type":"item","id":"Q4357067","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1070627"}},"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":"Q4357067$7E73DFD0-C40C-4C0C-ACDC-B48DFCF6F622","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d972798463014134e2c8fc7a3a995ad61d8d7807","datavalue":{"value":"0881.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357067$5250299F-AB7F-4632-BFC0-1A32227ABDE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357067$399FDB5E-58F1-4531-8565-DB511ED008EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee6dabe770d01c58d9d16642e2d2c925ba77d77","datavalue":{"value":{"time":"+1997-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4357067$C2F8F639-17A8-4B50-9717-F8CAA2BC4501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357067$6AD24A50-8F03-4C41-BC55-ECEBE026D755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357067$976A75D8-A3F4-47FE-829B-9E9221A26624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357067$0850CC83-3E74-42C1-915D-5CF17316D43A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39adabb001fda84d9675d36c22a20df33c6a019c","datavalue":{"value":"1070627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357067$0C4121CE-BF2B-49E6-97AE-3CBFF223264A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94561f03824da00e91628bdce51939c3a84e857c","datavalue":{"value":"\\(\\lambda\\)-calculus with control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$CB84BF53-A2ED-438F-9048-89ADF8E77EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17fe73731f935077ae4a264f772d4e0c752c5fc","datavalue":{"value":"call-by-value \\(\\beta\\)-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$817F9B5A-8DFB-4B1C-9030-A1816306FF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"663480377957f24e1e455df4539e882277dcf1ce","datavalue":{"value":"termination of normalization strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$A24DBC4D-FA98-4B3D-9EFD-4B367DCFAB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$CBCB741E-10D5-40D6-A67D-211453247FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$67329890-A2CF-4679-95C1-B86B626755CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c81a3b20596808c513d53f26f7a53abae59141a","datavalue":{"value":"continuation-passing-style translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$4D9F2A32-7136-4815-A031-AE9BF8F1BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"608a113b16aa3822ed26b828065d60b1cf0a8734","datavalue":{"value":"colon-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$B7A28E20-A8C5-4856-A2BC-A6EC19746132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$ECFB8BA4-3125-4EFC-94D0-01C5078C6787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e41466e48d43087da671e5a4da0df69f78816b","datavalue":{"value":"implicational propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357067$7AA30212-DC98-4FEB-A047-23ACCA2E476C","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":"Q4357067$B73CBBD4-A32D-4ABE-B633-9D550E89357C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae0ba9505536d3f0b78c45eebf87c11a1d7e89c","datavalue":{"value":{"entity-type":"item","numeric-id":845711,"id":"Q845711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31664c9cd2fcc7b92205464cce55929e8e20cec0","datavalue":{"value":{"amount":"+0.8213776350021362","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":"Q4357067$B1311FC7-782E-47C5-AA5B-18C38A6DF59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1ca4040b354cdf0d9ff0e3012f34bdce31cc5c","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d424742f596710ab64d9ea25605a5d8306ce6272","datavalue":{"value":{"amount":"+0.819790244102478","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":"Q4357067$FEDC6F5E-7153-4009-AFA4-9242436A94F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711dd7a3624c26147aae5bda2c74b485a53d387d","datavalue":{"value":{"entity-type":"item","numeric-id":4411843,"id":"Q4411843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9a616cc18018f391cf6a7d1b84a22822bc02ba","datavalue":{"value":{"amount":"+0.8106262683868408","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":"Q4357067$4172357B-91FD-4CF4-9C3F-6882451A8CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4584b4b8ecd236170bf80bc11cfdb348d2785b09","datavalue":{"value":{"entity-type":"item","numeric-id":4917068,"id":"Q4917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8ba5cf88e00a67005f5e595f7fd7da3b315ad5","datavalue":{"value":{"amount":"+0.7935166358947754","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":"Q4357067$A1B6789E-5C57-42DC-A719-BC1035911B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddf12d346b089d184f709fac62b414f45392d77","datavalue":{"value":{"entity-type":"item","numeric-id":1870488,"id":"Q1870488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50beecbbdc8bff8fc8e7ee4af4f37d3101ab938a","datavalue":{"value":{"amount":"+0.7908737659454346","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":"Q4357067$EE87207E-BF8E-47FD-AFDE-53D5D67145BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4357067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4357067"}}}}}