{"entities":{"Q3305634":{"pageid":3316342,"ns":120,"title":"Item:Q3305634","lastrevid":45912148,"modified":"2025-12-20T10:18:43Z","type":"item","id":"Q3305634","labels":{"en":{"language":"en","value":"Analytic Equational Proof Systems for Combinatory Logic and \u03bb-Calculus:A Survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229616"}},"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":"Q3305634$20E4A13C-DFD5-4246-A7D7-8C802A44190D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51136cfa2d6394d016c81306dde62120ed4ca034","datavalue":{"value":{"text":"Analytic Equational Proof Systems for Combinatory Logic and \u03bb-Calculus:A Survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305634$75E106D8-21B1-436E-BEA7-E93608BE702F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"513d09709d911a38581ba37b994c1399ee2a9460","datavalue":{"value":"1469.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305634$4FA2C86D-2071-4606-8757-42D9067F576E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b6ef87a9170c73b77dd60d56f92ceadc0a8697d","datavalue":{"value":"10.1007/978-3-030-20447-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305634$4B80F39D-1104-4DAC-BE39-01DFD4257400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$4F57BE11-6355-4C85-AEA7-F09BCEB8D1B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f60d256e5e9083c98526f6ab8bc547cb876a0aa7","datavalue":{"value":{"entity-type":"item","numeric-id":3305622,"id":"Q3305622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$845335C7-90A1-48EB-9457-7E7B09116B96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6eeac9bc08017af337b002c847426cefd8e704","datavalue":{"value":{"time":"+2020-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305634$A14ECC25-2BF5-4763-A26A-053DDCEB0FD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305634$333213B1-215F-4983-A40A-027E77C6349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305634$FD1FEE8C-54CA-4374-AD73-0A2E439C5B20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"844340e54cb7de94012a1bd0ab478ed0dd0487c0","datavalue":{"value":"7229616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305634$F554A1C5-C66E-4A07-8EA6-A15E01E9B20F","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":"Q3305634$B44AED98-D595-435C-B217-ED626FA2DD02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fcbc59e9020428b98eeee4a8aaa763b8517b28c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-20447-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305634$E192C433-CD6C-4C90-8A05-BE77B473B8E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20fde5299708f68e04f53de833dd17b016f153ba","datavalue":{"value":"W2968770011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305634$C39CB65C-FEFF-4E9B-B0B1-3B609DDA180A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$C0A66D73-50E3-4088-89A0-86284B0B8A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$9F60F2AA-8CD5-41FD-915F-2975EEE65165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8efec1eb4d5e480af5223674f86a8c68bade85","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$7AD7BF04-ABA6-459C-8E6E-C86EC5C6EFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0830af437384ce58d677e5295b485241789eb3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5590804,"id":"Q5590804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$5A53D28C-6B54-4FFF-A5E3-7A3DDF4040F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$8B1B42C8-F007-4AE3-B224-1DDED5156B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b762c456cea55c3597950cdbfd74b56caff7b9","datavalue":{"value":{"entity-type":"item","numeric-id":5532527,"id":"Q5532527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$EA2CE36D-09F1-47BB-86DF-D55001C50848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38670832f2c847dc614f98e3069395c17b45752d","datavalue":{"value":{"entity-type":"item","numeric-id":1879319,"id":"Q1879319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$DCEF2139-CE34-4CC5-A3BF-25E53C517769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85d9fb3b6404c9cdf276755bc581068fe7ef75e","datavalue":{"value":{"entity-type":"item","numeric-id":884953,"id":"Q884953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$760B2097-807A-472E-A2B6-7718575FD12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55df57038e612ae33f89fa719efa760e3e6cf271","datavalue":{"value":{"entity-type":"item","numeric-id":1014284,"id":"Q1014284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305634$E72C5DB7-D63B-4556-910E-0E7CE2F1885D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488f1db6e8a9dc02e715c3090f3d1ed4298b54f","datavalue":{"value":{"entity-type":"item","numeric-id":884953,"id":"Q884953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e52dc45356a1641a15f5bff14d255e1be4e7b9","datavalue":{"value":{"amount":"+0.90407306","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":"Q3305634$F3F93A2F-A624-4950-B3D3-2A43D713F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2faa735fddeaf6e8fdcbb0a47d4bf0f0d6107c","datavalue":{"value":{"entity-type":"item","numeric-id":2330501,"id":"Q2330501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f61a4fe7d66227a6cf72aa4d4848c09c5ef0958","datavalue":{"value":{"amount":"+0.90033334","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":"Q3305634$B179D2D6-048F-4E18-93D8-CB85387DA55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad894f0e4fcd4cc03c848bf583b58ab56e3b8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2753786,"id":"Q2753786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0748e49510bae9924cb28526722ba47d5272c83d","datavalue":{"value":{"amount":"+0.8837317","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":"Q3305634$DA41B935-164F-49D7-B6B1-E0B196EA6D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e81071e64ccc7c1d94893876ab0d13eb357773a","datavalue":{"value":{"entity-type":"item","numeric-id":4650577,"id":"Q4650577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5d3b10b497d4a048354ac829063fdf30327d26","datavalue":{"value":{"amount":"+0.8834496","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":"Q3305634$825D9527-DF3E-46AC-A1E2-53E0C9E93AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce96de72e1ffe859b11185ed8b5bbcb6997d4e97","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d828531fbdef3274113571e604ad2c0b96c6d1e0","datavalue":{"value":{"amount":"+0.8829682","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":"Q3305634$6A9ECEFB-557A-4F64-8A0C-9A93754BD522","rank":"normal"},{"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":"08763e78723b2f223151008da7f2b0549547f869","datavalue":{"value":{"amount":"+0.8826615","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":"Q3305634$F1FB2B8B-9BE2-402D-A307-7701336FE050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f19e6e014291f8fe3438ec97e9e4949c888ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990e8bf1e0e9f9e165c2da3d34ef1d20c92a5fd0","datavalue":{"value":{"amount":"+0.88204896","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":"Q3305634$F4864FEC-7758-47D3-98C1-5098CE2C7C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b3ccb70c81b2aa6d8fcb74bd82e8f8dfd51e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3224678,"id":"Q3224678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a77a677bed4a8303a6601bc9b4b21d364f38cc","datavalue":{"value":{"amount":"+0.8811322","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":"Q3305634$48AC1E08-2915-474F-B2E7-7C77D0DA1E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f58bba5757c0010947a089bb5540bd2b08c715","datavalue":{"value":{"entity-type":"item","numeric-id":4011724,"id":"Q4011724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4560a2a83f90bc0113dd644946684fb2d273ae26","datavalue":{"value":{"amount":"+0.8807365","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":"Q3305634$90555A9D-B20E-4064-BD6E-85D337AFCAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf8fda8c6313c06df19da93c145a4e5eb7b83ae","datavalue":{"value":{"entity-type":"item","numeric-id":5757935,"id":"Q5757935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b91d8fbab43fc822900b882045d1e5f0dcfd84","datavalue":{"value":{"amount":"+0.87782174","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":"Q3305634$FD07B2CD-E35F-47D1-8BC1-E4836344A0AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305634"}}}}}