{"entities":{"Q4856946":{"pageid":6886526,"ns":120,"title":"Item:Q4856946","lastrevid":41637253,"modified":"2025-05-06T16:04:29Z","type":"item","id":"Q4856946","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 823591"}},"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":"Q4856946$1539276D-F183-468D-B2B1-12F06DD73740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d61b1c3a3c0f4b30b459065844ef13a0000d5a81","datavalue":{"value":"0856.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856946$EFC15BAC-64A7-4D67-88DE-82ABC8D49BE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa360f30920960578a9b36c78501bd4fb481df93","datavalue":{"value":{"time":"+1995-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4856946$40B240AC-7EEA-450D-8393-5E1B9251F8DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856946$A8499BDC-4A4A-480F-9265-7B2F3C48FB7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6577162de9e67404de78c27a967fed9a86b149a5","datavalue":{"value":"823591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856946$F08DCD7B-1437-4E86-B813-40284CEA52DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"970ea7b604da2cc8ecf16084a23ac84157bbb264","datavalue":{"value":"lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856946$3262B90E-11EC-4FE8-9ADC-F6732DE9DED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856946$BDF1868F-D1E5-4ACB-A46C-0591EE6AF916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856946$66905C2E-C6E7-46B5-9DFF-6C0FD3500B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856946$E34E4CE3-EB6F-4554-B930-7C48C43D1E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856946$C95172B0-5C77-4D1C-B096-E003227BD8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856946$35B047D7-F758-403B-B021-8F01130549FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d733af2f7cc1c582d2f43ac32fe8c3ec046ef6","datavalue":{"value":"proof transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856946$E9AB994F-DCFB-4708-B821-0740049F7E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856946$F8107E2B-2FD4-409E-ACDD-22CED15EE0AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856946$29F6D7C1-48CD-4DC2-BAEA-3377F0234C04","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":"Q4856946$73F6B8B1-4DB2-4FC6-8A7B-AB279475CFAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5769f620bb98b6476f50b95e4b054f5c296ed9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4449007,"id":"Q4449007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510cff085279a6a473be777532f158174f783811","datavalue":{"value":{"amount":"+0.93422914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$E4A65A44-4687-447E-B5E6-B438B19911B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556399aeb9e065ea54334d17b429ac3ba8cbfdf9","datavalue":{"value":{"entity-type":"item","numeric-id":2144609,"id":"Q2144609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b709d150bd56f83f2330ad19d53ef0ccc4cee6","datavalue":{"value":{"amount":"+0.9301973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$2C77E4C1-21A1-483C-AAED-699A6C0A36DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4149079e333e9d5d431375275d4ce081e133b30b","datavalue":{"value":{"entity-type":"item","numeric-id":3019505,"id":"Q3019505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c3aa6860405e75d073c72958425c4618f7fa0c","datavalue":{"value":{"amount":"+0.9286396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$54876077-A164-48E0-9E58-B8E1379FC783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe9e22684671de6b490667c5366106496076ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3451bd0b19d8a90b37844e71a1c928d5031d14","datavalue":{"value":{"amount":"+0.9276782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$F3D97771-AC4F-4746-990F-0594E496A619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a64f9fd6f1e5409551a26ee49cd56f091134dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e16f066410321e0270adb4951e68c30672ff352","datavalue":{"value":{"amount":"+0.9183421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$0FF70248-4E8E-412C-84FC-F404315283DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5071a321d9ad45c10f41a9a40976a18b7f80a197","datavalue":{"value":{"entity-type":"item","numeric-id":4794047,"id":"Q4794047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc09ad6742dad4a0c47c508144d7bf0bfc29bca1","datavalue":{"value":{"amount":"+0.9171311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$2F54749C-B15C-41ED-BF94-629CFFCD9A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1ab5b4b8ee64bb40065351c58b8f75607601c8","datavalue":{"value":{"entity-type":"item","numeric-id":636367,"id":"Q636367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2587c62dd17f61dfb9350598f9a8c1fb3c638d","datavalue":{"value":{"amount":"+0.91666836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$F850BC49-2267-41F6-A0C9-632510D04920","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":"2d621722896a26a31850b7f26b3dec6095c142b5","datavalue":{"value":{"amount":"+0.91613066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$AAE2DC84-7AD0-484C-A213-7968715E612B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e8c1dceea20d5bd28a5edda639da0c349c0790","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538bdb68434070e399abf01645da67faa0dd82ae","datavalue":{"value":{"amount":"+0.91514784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$8212BF02-5DE1-40F5-91C7-355A6467FFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090c7f1df58d9c25198f3dbf945015c18259729c","datavalue":{"value":{"entity-type":"item","numeric-id":3714051,"id":"Q3714051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301e249f3cc63681dbb4513ec027dd67353fc607","datavalue":{"value":{"amount":"+0.9146373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4856946$16D5C4D2-288D-480C-9AAF-6C115CBA3886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4856946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4856946"}}}}}