{"entities":{"Q1595916":{"pageid":1606656,"ns":120,"title":"Item:Q1595916","lastrevid":47573971,"modified":"2026-01-02T03:02:46Z","type":"item","id":"Q1595916","labels":{"en":{"language":"en","value":"Investigation into combinatory systems with dual combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1565445"}},"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":"Q1595916$B4914607-2FD2-4DC4-B70A-49B0D60FBBDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ef1433a1d1f2abc7b2958780ea674ad461c8d8b","datavalue":{"value":{"text":"Investigation into combinatory systems with dual combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1595916$0E647FCC-482B-4E5A-BD90-92F70CA27D7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fbcd67b13f88fd3c66e0e061b96200bcb45e796","datavalue":{"value":"0963.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595916$D2744130-1F01-432B-8C17-6B4F12B4309B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14cb8c92087f5f0f041b5182881ca0799d2c2f40","datavalue":{"value":"10.1023/A:1005252431462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595916$575010B0-4E46-4A9B-BE25-887D68B78A11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595916$30BDA876-7E8C-4A2A-B4D8-2A1997C1CDA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595916$7F44C33E-CF0B-499E-AACD-F010F9022D13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8d78bbdd3da8fc3032632626b45818e0358b86b","datavalue":{"value":{"time":"+2001-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1595916$019477C0-3C39-4999-A129-8B4A7428504A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595916$B443AD90-DD2C-4F7C-A73E-D70C50542D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595916$724F0602-8399-48E4-8926-938F71ED1265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f439a45ade12da5ea7ea9968d8c46529bcfef69","datavalue":{"value":"1565445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595916$CB0CE7AE-4D32-4D8E-B8FC-ABCFFF680874","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595916$8C604AF4-64F2-4697-8F2D-A1F613784F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db599a54ee4377ddd57dba20105ed739773e8452","datavalue":{"value":"dual combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595916$A0378E93-71AE-494D-A34D-FA8438FAF7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595916$19BE3BEE-F923-443B-90E2-95C11F3B42AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d43c23d70b49f5a3a5b218fb036ff324b83fb2","datavalue":{"value":"symmetric lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595916$A0DEB7A6-E5B3-4E97-885B-FF822DAC7D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595916$CE6D2B1D-043F-401D-8CBF-A623712F84C1","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":"Q1595916$EDC7EAD3-693E-4D2E-A0C9-347785EC220A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fdfaa6993277eac0ffd4710f57f24e9fa507a07","datavalue":{"value":"https://doi.org/10.1023/a:1005252431462","type":"string"},"datatype":"url"},"type":"statement","id":"Q1595916$F63B70A4-09C8-4FA0-8814-FC910A5865DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ec14d539dce3ac82424430b02fc86ce030d9fa6","datavalue":{"value":"W1599456589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595916$D595D979-21BD-4FC5-AAA4-0D1A75C92BB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb66796ebb5d6fd026e0d576e50220ff0462de6","datavalue":{"value":{"entity-type":"item","numeric-id":4457728,"id":"Q4457728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b39febe178e4d46d5db4ec2dc90b6e1eeaa9ea8","datavalue":{"value":{"amount":"+0.8480468988418579","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":"Q1595916$6CB35CEE-6F53-4019-B9B8-77901E0697CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a2e66ee80a86ee09578422e25f092503e5dc99","datavalue":{"value":{"entity-type":"item","numeric-id":1826434,"id":"Q1826434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8c0b9cf67511712e85d6d4b3d7dc3d358fbe24","datavalue":{"value":{"amount":"+0.8255040645599365","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":"Q1595916$8D8C860D-F800-404B-80B1-77CEBEDE2A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930efb2740a28f6fd14c8e0f71afd074a4549066","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e032c8f500a828e28e86f44e33e80dac57d4cffb","datavalue":{"value":{"amount":"+0.801051676273346","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":"Q1595916$24DEDEED-0CF9-48B0-8636-7E74BDF678DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973595157d4a9c973debdd266ea66471d4416593","datavalue":{"value":{"entity-type":"item","numeric-id":5718674,"id":"Q5718674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218cf6171f264f2f95e5d7a55e0d684544a1a4d6","datavalue":{"value":{"amount":"+0.7951102256774902","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":"Q1595916$7E310D62-9493-4BEA-8D4A-21030A2C421B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf50e02f69cc92ca4515d09baa026e7ef50cb21","datavalue":{"value":{"entity-type":"item","numeric-id":2642518,"id":"Q2642518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716600e1dc88684165ec27e539112bfc13c283b9","datavalue":{"value":{"amount":"+0.7448562979698181","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":"Q1595916$030125D3-48A3-4800-BC03-BB084234E54D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1595916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1595916"}}}}}