{"entities":{"Q4247311":{"pageid":6276912,"ns":120,"title":"Item:Q4247311","lastrevid":46825845,"modified":"2025-12-25T16:21:41Z","type":"item","id":"Q4247311","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302066"}},"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":"Q4247311$4DFF60C9-EB8A-4E5D-AD32-16F1DD6D9FBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89ceadb7fb60dc37a340bb67844d628bf7bf36bc","datavalue":{"value":"0930.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247311$E94193E4-AFB1-41DA-BFFC-95DD943A39BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247311$88B76423-9D17-442E-81F2-2D0B18E454F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247311$46110569-8ECC-4E8C-91DA-A70C8672DD62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37e86a8ec72027f48e17380798b8fb620b27ac54","datavalue":{"value":"1302066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247311$121C5070-E94E-45B1-B5A7-106E9D7E42B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247311$8B290181-CB72-4306-B6D2-49545C5A2851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428e7e7277eaec85d8bf5ab18ecdbfbc4c60e098","datavalue":{"value":"JFM 50.0023.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247311$E078564F-C104-44A7-BB04-F013AEBC001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e540bcc73fd7706cdf03743e4a0ff7dd2963403","datavalue":{"value":"positive implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247311$6ED97CC0-F8A2-4235-A03F-7C15E41091E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247311$B51C513B-10F6-4F65-BBE2-D13075A06F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc96cb010ae64a4cbca413b44d72eed4151b2a46","datavalue":{"value":"general function type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247311$693D5F88-264E-46E2-935D-C4B582FDA287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfeac8d48d887e67e0a216de6eb0de2662692b1e","datavalue":{"value":"disjoint union type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247311$63EB9DC8-9B4F-4AD3-9214-661B434B5CC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"760745bbc6b5c9a1a5cd89c9feef2726e8d06aec","datavalue":{"value":{"entity-type":"item","numeric-id":2500812,"id":"Q2500812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247311$46C3B101-8062-4655-8283-9952AFD90DAE","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":"Q4247311$05CAD57A-FC73-4241-9D3E-9096AD219477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a40b525022ec1dccaba201ae6fd7476bf823c4c","datavalue":{"value":{"entity-type":"item","numeric-id":4856946,"id":"Q4856946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71213a115c343620f47d442b766bd9bc8e31476","datavalue":{"value":{"amount":"+0.7785732746124268","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":"Q4247311$960C8B80-F534-4C17-A8D9-1F408200844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd98e77500cd36eea7ad32beab17ebc6ba613b6","datavalue":{"value":{"entity-type":"item","numeric-id":3576002,"id":"Q3576002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a1ee4fe0afffd98ff9034c13fc1ff846116f98","datavalue":{"value":{"amount":"+0.7751550674438477","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":"Q4247311$97A2F3F1-0374-4C65-BBD5-9DEA78F13729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ac2d9848e4e703b2d0a89e26f8e8232c9a4ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4867412,"id":"Q4867412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2236b49e0e2803f18a1a1b8b0e05da89bf44c06","datavalue":{"value":{"amount":"+0.7672643065452576","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":"Q4247311$5424DF8E-A409-4572-AA6F-E94C43400E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a88b820879f2cbeec29ad4d4e38baf04bad2edd","datavalue":{"value":{"entity-type":"item","numeric-id":3024833,"id":"Q3024833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffdeaa5ef6228623f1acf00a60e7aa7e4d6ea1d","datavalue":{"value":{"amount":"+0.7583841681480408","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":"Q4247311$53340CFD-5B7A-4DDD-A252-0C50A8C23D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae07fb74213ca8660c32d4638ccb5492853216","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b15dc3d877e5bd4b0382afcc215bfb31c8f175","datavalue":{"value":{"amount":"+0.7452101111412048","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":"Q4247311$1DAF43F1-39E7-4161-A8D5-741F4D6C1E2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247311"}}}}}