{"entities":{"Q3824285":{"pageid":5854191,"ns":120,"title":"Item:Q3824285","lastrevid":54227396,"modified":"2026-01-26T12:20:46Z","type":"item","id":"Q3824285","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4099256"}},"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":"Q3824285$8FA6DC18-3479-4E25-B02F-97211D904354","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf1db1c4e81b49c617c1eec5a871ea5500fff9d1","datavalue":{"value":"0672.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824285$72E1374F-08BC-48EB-B9B3-7EE7E8C815AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824285$68EBC14C-83F0-46E9-81D7-FE96B0AE2C77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3824285$5D0A5553-BA91-4FD5-887D-E6EFC8CFD1A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824285$B9C0FEF9-AAFD-41DB-9C51-635FE24192F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824285$59CF7397-8027-4F2A-B25C-9079E8579053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b20f679b95ee1fe590a4fb3104520e2073d7e72c","datavalue":{"value":"4099256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824285$CD6ABABF-BD1E-407B-BE12-CFA1197A53BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5907ed38d4372c65ffffb842db7415cc2c11751","datavalue":{"value":"Boolean operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824285$C6ECBDC2-1FD7-4A5A-90DA-687266647988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d367796d655a9c758bfa9cf61d854a4951f4f193","datavalue":{"value":"lambda-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824285$93C406C3-E758-46D3-8BBF-4EEC7952BD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aafd77412ac69c6499a5f74bc8aa922b1bebcce","datavalue":{"value":"representation of","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824285$0C3F58B4-BDCF-4100-90EE-A9170AD0C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2084e31d09691442266e0da744e97ab4c585034","datavalue":{"value":"higher-order Boolean functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824285$E3D9714C-3BBC-44D1-881C-392F97333E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e608bd00454dc58edc2b5ec0d036e4ed23f97e6","datavalue":{"value":"typed \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824285$87365984-E79C-4F7F-AE5F-EDBD59970B69","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":"Q3824285$60067B1E-E88C-426E-B6E9-A4A7B9FA4053","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0ce204e76458cde863da45e38dad6c603c8ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3803086,"id":"Q3803086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93666d990736d596c14ef2ef433d32a42a58e3b2","datavalue":{"value":{"amount":"+0.7645217180252075","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":"Q3824285$20D17300-0727-495C-A911-2A4A6A3784A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c157d287acc914ff18cc4d6032a75c4ca6c06a03","datavalue":{"value":{"entity-type":"item","numeric-id":1099156,"id":"Q1099156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f0c04b2700936ee7ab1b287db4201e30cbcec3","datavalue":{"value":{"amount":"+0.7638136148452759","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":"Q3824285$12215844-964A-4764-AA00-C23E578CE175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ad432a7c4c937f3e7513e7461c48d27a05f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4952053,"id":"Q4952053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331cd4615fb27c28ae9a69f06afc3816195a9a1e","datavalue":{"value":{"amount":"+0.7597205638885498","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":"Q3824285$FAD8FC86-368C-41ED-BB6B-B30E89A2A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4ecda17fc99ddd769dbd1cdbc44b6c0cc7aa08","datavalue":{"value":{"entity-type":"item","numeric-id":3975176,"id":"Q3975176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac4d3d51722e89bb2d16bf64826edbc117801a4","datavalue":{"value":{"amount":"+0.7558696866035461","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":"Q3824285$A6457A41-8AAD-42F0-816F-BC9F6EDC278A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02da89f4a0fe91e9ef5b801448543c2f1fc999b1","datavalue":{"value":{"entity-type":"item","numeric-id":4032312,"id":"Q4032312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154b60f3518117f41295d9fcc626d500122db08c","datavalue":{"value":{"amount":"+0.7540982961654663","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":"Q3824285$722C2F0C-4623-4A2E-B957-8E3828235431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3824285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3824285"}}}}}