{"entities":{"Q2350605":{"pageid":2361348,"ns":120,"title":"Item:Q2350605","lastrevid":78593135,"modified":"2026-05-06T11:58:01Z","type":"item","id":"Q2350605","labels":{"en":{"language":"en","value":"A note on subject reduction in \\((\\to, \\exists)\\)-Curry with respect to complete developments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6450095"}},"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":"Q2350605$CC7C70FC-432E-4BBE-BA1E-B4282078E16C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea99ffa1543170b3bb840f8358374f37f61e2674","datavalue":{"value":{"text":"A note on subject reduction in \\((\\to, \\exists)\\)-Curry with respect to complete developments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2350605$809C9DF2-36FC-43C5-A404-23C06E3C4EAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd812c69cfaaddc4b9e2ee8d9fa82b05490484e5","datavalue":{"value":"1329.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350605$30230D33-5983-496D-B7E7-B0D0AE055587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$3E280B74-AF71-4F49-B393-A771BF2CEDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$B0A5C364-9AF0-4876-915C-B89F94FD7E24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$B76B9034-7116-41DE-BFB9-EB4F9E83DA98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d118b8ecba20bb8bb055e8776c8b61374bfe3149","datavalue":{"value":{"time":"+2015-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2350605$09ED97AD-7C54-45F4-865C-7466B548FFA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350605$5F8AEE29-1EDD-484B-9CD2-AFD8944770E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350605$394C4F8A-D287-4023-8726-8920C4969D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31bd41965da09aa88883e27831bbb1dd5926801e","datavalue":{"value":"6450095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350605$BAB49B00-293C-4744-ACA9-45C90CE338EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350605$EDB8CACB-CD45-4F09-B792-A364F8514803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350605$3340CF44-D998-4B55-BD06-B4D72141CF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4b279f02954f10f9c4d82ab67ccf864d5ad06a","datavalue":{"value":"existential quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350605$B3D10190-37F0-4659-920A-267A81C7B93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350605$7BBF5AA9-54D2-4314-8496-235AC991FFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350605$7B48A8F9-DF97-416E-8DC9-2380BA946B1D","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":"Q2350605$6F481F6B-856F-4759-B996-0D320E481923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fde54d011076b6f847b1f913c861bb9d60df9723","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2013.07.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2350605$4262C339-CADC-420C-AD75-440C51681C8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c85ce9f25b602e881fac28dfde72b35d147dbce5","datavalue":{"value":"W2024485337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350605$2DE4852C-724D-4023-8B4F-A18B13193218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$ECC5FA26-832F-4E0E-9738-58F0A945FC85","rank":"normal"},{"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":"Q2350605$EA45173A-946F-4D0B-888C-CFBE390E37BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46a04e996c6df68383cf21cf28b6b33c55e278d","datavalue":{"value":{"entity-type":"item","numeric-id":3637189,"id":"Q3637189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$D67C328A-8301-4BEC-BDAA-20486C9DE0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$9E953E72-BBFE-40B6-945C-9D36A57052E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$DBEA8908-BB2C-4AAB-8265-66D0CBEE0B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf6c0bc925b208e32fccb8ee27e2f61f45a4baf","datavalue":{"value":{"entity-type":"item","numeric-id":5758042,"id":"Q5758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$03DA94C3-6624-48B7-A019-68690818F045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350605$3851D6C9-1DD1-4DD6-B89F-D7C1805EA6DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1844d73df193494405db476be62dc8448eca5f1","datavalue":{"value":"10.1016/J.IPL.2013.07.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350605$0E0DDD8C-D555-4822-8052-7A545000C146","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1712cad8b54da03d50a32c455a0520e65436b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3647204,"id":"Q3647204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7340bf6bd78c031342aa8c39ac6f10f4651c47cc","datavalue":{"value":{"amount":"+0.7330203652381897","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":"Q2350605$3D99CAF5-6B09-420C-86AD-B6FAEE16AA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e14e2706f4f92d74ac35dfd53ead63a314d80a","datavalue":{"value":{"entity-type":"item","numeric-id":4362909,"id":"Q4362909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e0a90ab73ba8d864ee29ceef35ad45e7edf8c2","datavalue":{"value":{"amount":"+0.7224820256233215","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":"Q2350605$91D3212D-80B3-41D3-AC97-C36F52436BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a1602d54b760ceb3439a83153ad1f749ed4ee","datavalue":{"value":{"entity-type":"item","numeric-id":402117,"id":"Q402117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8332dc47ef4d578e8541d9a18aa5267281297836","datavalue":{"value":{"amount":"+0.7171958088874817","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":"Q2350605$08013F72-B7B1-479F-B321-5CF1DBCDC920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60555f4906e259ad831608991f1324f1979b2974","datavalue":{"value":{"entity-type":"item","numeric-id":3637200,"id":"Q3637200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e326189d2c9a92da1b1963309656aec6dbd06a96","datavalue":{"value":{"amount":"+0.7121504545211792","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":"Q2350605$FCFB24CE-B65F-4487-A034-F67DB4CD6C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435097cbf10b946af547dddcace077f5ee4893de","datavalue":{"value":{"entity-type":"item","numeric-id":3637189,"id":"Q3637189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bed25c23ba3fab883a570f048fe8646fda4719d","datavalue":{"value":{"amount":"+0.7102113962173462","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":"Q2350605$44F99B46-9F40-47B7-9B1A-1F02BE459D21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on subject reduction in \\((\\to, \\exists)\\)-Curry with respect to complete developments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_subject_reduction_in_%5C((%5Cto,_%5Cexists)%5C)-Curry_with_respect_to_complete_developments"}}}}}