{"entities":{"Q4870067":{"pageid":6899647,"ns":120,"title":"Item:Q4870067","lastrevid":46452831,"modified":"2025-12-24T19:47:48Z","type":"item","id":"Q4870067","labels":{"en":{"language":"en","value":"Partial Applicative Theories and Explicit Substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856907"}},"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":"Q4870067$E066AD18-0DE8-434A-809A-C9D21168F938","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e479e31d837114f0093ad5b9c4e580334085103","datavalue":{"value":{"text":"Partial Applicative Theories and Explicit Substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4870067$F3BFB224-CEFF-4A83-932C-F088E8BEE1F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eb56950f3c5009b83cd4f2709b648f90d13ebf8","datavalue":{"value":"0841.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870067$9FF0FBBD-F50C-4D10-8AEC-C37F84B94B4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4870067$E21DE3C1-3F7E-4926-ACD6-ED884FB2F09A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c7015cd9eb94582f8fb82ad2221db7253c7259","datavalue":{"value":{"time":"+1996-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4870067$262B01F8-DE5C-4C23-A5F3-365765574833","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eee586cbe0c3076c5cd301aa82bc6019e59f506","datavalue":{"value":"https://boris.unibe.ch/115274/1/6-1-55.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4870067$9ACF183E-FCCE-410A-BD9B-FFF0BB0436B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870067$84D7BDD8-AFFC-446D-B199-F93D6F147D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870067$5D8E8BEB-8C3F-4683-9541-43E6699B236B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33ae76e696e29a462168d5727174cec55ead4680","datavalue":{"value":"856907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870067$B85A4A72-273B-4FD4-A4EA-23180595F389","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870067$97DCE3C8-05AC-4605-8BCB-DCEEBBFE7286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f661599f62849e447e76ea12310841b60c86f1a6","datavalue":{"value":"logic of partial terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870067$8A8F51B7-5A63-45C0-AD3A-A1079C4D7D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44504a0aab1f587a39e31c638a935aa1f500519a","datavalue":{"value":"partial combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870067$78AB5ABC-4650-4772-8305-64C34FBDCF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e679c36796f54cc87e2e34b6242ba93bfb8fb842","datavalue":{"value":"partial \\(\\lambda\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870067$C61205BC-413E-4C1C-AC79-84B88A23C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870067$782AA533-9DA8-4B74-8078-775F65CF94E3","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":"Q4870067$286A92F2-879D-4462-BA10-9CBB9ED18878","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1438f2fc3dcdff21109817d41d9b0181741a5f04","datavalue":{"value":"W2021694631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870067$43574B3E-FC23-42A1-BA09-76626A992E4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c7f0a8f2bc3a6ed54f64df78b2b2496bfa5122c","datavalue":{"value":"10.1093/LOGCOM/6.1.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870067$ACF9735F-B604-48F9-AA78-BA29A4AD43BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4870067$F3B485D3-4BA1-45B2-B092-002597FDBCF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb23e5f10a2a9a9b3345b7ab134967cf0804ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4501671,"id":"Q4501671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8bfc850689bda919a2d6afbaeb224bfd4dda36f","datavalue":{"value":{"amount":"+0.7841366529464722","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":"Q4870067$CC495A65-0B51-4F8B-BB54-2AA4714841FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f73f4390c337f2e0ede50d85c757f7b18d342ff","datavalue":{"value":{"entity-type":"item","numeric-id":4941991,"id":"Q4941991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbd191a3368bf829d637ca69e634037f5a58eb3","datavalue":{"value":{"amount":"+0.7788715362548828","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":"Q4870067$C3CF1065-C45B-4A2A-A442-C61CDD093236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9781348b725a12d124a85d8bd2ee4bdc833b3c26","datavalue":{"value":{"amount":"+0.7782860398292542","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":"Q4870067$1C491153-D645-42EC-ADFB-7DF4F3144496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ff9d0fdfad37cb8d495f4c771ebe802989bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4219051,"id":"Q4219051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1ef1f589ebcb0cdd3a749e48d4c59ec9b782ff","datavalue":{"value":{"amount":"+0.7704602479934692","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":"Q4870067$56101F26-1BB1-40D8-8C6F-30B72AFC76F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4870067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4870067"}}}}}