{"entities":{"Q5414955":{"pageid":7444529,"ns":120,"title":"Item:Q5414955","lastrevid":41608462,"modified":"2025-05-06T08:06:49Z","type":"item","id":"Q5414955","labels":{"en":{"language":"en","value":"On Residuation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6293302"}},"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":"Q5414955$71D1716E-029D-4FC0-8343-8C108AD73A11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d16dde15963226f066bd76f157c847d88890c3b9","datavalue":{"value":{"text":"On Residuation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5414955$380E9A50-3E92-497B-BD83-62A4B60CF1FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aad2fc226705bb8a8ad56ecbafad2e21803e667c","datavalue":{"value":"1285.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414955$67968996-8B08-4A08-B2F0-183672E5D24F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae9ff42fe9ebaf34b6184a25d20c3c3224dfe572","datavalue":{"value":"10.1007/978-3-642-54789-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414955$3DC14D34-0AE8-4E9D-B714-7AB9BD3AE6E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a4e43a8ea1ffc31e3009aa955d277e7dfb7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":280841,"id":"Q280841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$EF81F36D-7788-47CB-8918-958E5560BF53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$CE83BCD3-C5C6-4405-8FA2-0A6A432D5DF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d02a77e378c8d37f781f05e2fdb6cacccb7e356","datavalue":{"value":{"time":"+2014-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5414955$EFF92241-FF66-451D-ABB9-52D45E73979D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414955$C8BB276E-E8FC-43CC-9A36-A342206575EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414955$8A3FD8C9-6003-473E-8057-F9BE2603F391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414955$CFD825E5-AD4A-4B54-9357-1956166E204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414955$D51335F9-A696-4F59-977D-CDE2F080A358","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0319f3d40f0f7a8e403665526e5f5339b2f4af7","datavalue":{"value":"6293302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414955$D692A143-4B14-429B-98DE-86224FA374A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414955$557AAC6C-801C-46E8-BDAD-811189A8C768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414955$98741DD7-5DE1-407B-8335-135C217C37C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414955$96E2DE50-28A7-481A-85DE-D7A80CA9D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4988e5e40921b1bf7be0dde48252438edc6a3bb","datavalue":{"value":"proof-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414955$1BCB30D1-A97D-4D81-BA19-E3C2EC82C884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098814d964b2e5315ab48a7222c3ce7eb5d789ac","datavalue":{"value":"cyclicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414955$C68F9131-963B-4650-87D8-E0C32D553565","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":"Q5414955$C74D7CC5-EBE3-4C1C-B662-2D1D6F48306A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d18f18063eaa3250220ba6341c70288cf0c72188","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54789-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5414955$34339A8E-6CE9-4C82-BD08-BA034E088302","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c773f7cac610f4c939622d4aa5acaad0a23d1f5","datavalue":{"value":"W4233592359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414955$73E00D47-5850-4ACD-B9E3-1E69FAA00797","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b67f5a219f9a573fed96f7094a795ee643a656","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$5F70D8D1-C218-4255-BA7A-D0F828CDC99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff335355e78f8ab519c9af3d7a359f533c90e7b7","datavalue":{"value":{"entity-type":"item","numeric-id":1850949,"id":"Q1850949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$993EFCFE-32A4-4D3B-957D-003BEA4E1FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355027cd9b5459d9cbd6915a0cbaffc2e420beb9","datavalue":{"value":{"entity-type":"item","numeric-id":964491,"id":"Q964491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$C1680F90-C11B-40A0-98CD-AC6EEE05DCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c33b07ca1ce816aef806da2c8217e7fe728011","datavalue":{"value":{"entity-type":"item","numeric-id":2467212,"id":"Q2467212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$67A290F9-1FCF-4CC0-A62C-2A3F4C18F370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de59f2cab5144b1a48f2af6eca8fa0fcb14e9452","datavalue":{"value":{"entity-type":"item","numeric-id":3630172,"id":"Q3630172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$9F5B83C2-0F5B-4F15-9ACC-8D9C450DC18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7199a76e97a34e5bb92650a813ab6a9b995ca91","datavalue":{"value":{"entity-type":"item","numeric-id":2885171,"id":"Q2885171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$F8458B78-A113-496D-AAB7-F8DF06E598F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68da7b72e2dea7397d5787d65b8e045ca278ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1850950,"id":"Q1850950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$987E437A-AD08-42D7-A8F2-05A132912082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$6AC66072-B347-4BC9-BC2B-E68C819B59D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d625c2a2d297ffb0783176efd484fa6518af495","datavalue":{"value":{"entity-type":"item","numeric-id":3612673,"id":"Q3612673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$17803F6F-3E65-434E-AE76-D23D2A5E0A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf79a3d6c0412cc4a5a16a79cab9f10c970d3020","datavalue":{"value":{"entity-type":"item","numeric-id":692192,"id":"Q692192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$3457E66D-F877-463F-B7E0-0DA52632E6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7308e20a34bf2fec9fe9d3be6bdf00e6453fda4d","datavalue":{"value":{"entity-type":"item","numeric-id":5416219,"id":"Q5416219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$56D6A59E-5201-4A8F-AC03-9DE8C7D66DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889cceec78a61ad113b953ff9205866093eb5c05","datavalue":{"value":{"entity-type":"item","numeric-id":1398476,"id":"Q1398476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414955$34E5D71E-3CAA-4A80-9DE9-F0E44E009A50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51688594134281401b405a6cf1a2bb0bbb1890a","datavalue":{"value":{"entity-type":"item","numeric-id":5730297,"id":"Q5730297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09da566dc520f353e3a2ccdf3dfce67b0ad4a308","datavalue":{"value":{"amount":"+0.84151363","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":"Q5414955$187483C4-C376-4758-A182-02BE1F00CA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac2cc9f704cbe899ebe25957ef15262b910def6","datavalue":{"value":{"entity-type":"item","numeric-id":4874644,"id":"Q4874644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3870213e161a120cd9819ea8672721493bec55","datavalue":{"value":{"amount":"+0.8347941","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":"Q5414955$ACD00383-E755-4E38-AE58-183D24FFB3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e2aa0bf404915a0945b891af2e1f3bb010cb24","datavalue":{"value":{"entity-type":"item","numeric-id":3815602,"id":"Q3815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e184ed11226018275adca548592a643efa98ad","datavalue":{"value":{"amount":"+0.81892353","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":"Q5414955$4684D4F8-AAB4-4BFA-85DE-0531EB0961CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3034f0a23e986b7145402415674c1f9368832e32","datavalue":{"value":{"entity-type":"item","numeric-id":3789526,"id":"Q3789526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f698843787f0fb9f97aa9a3be65d72cdf2d93b","datavalue":{"value":{"amount":"+0.8016113","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":"Q5414955$6DBC8914-8F32-4CE3-AA78-5C971DDB3100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd449cd17e5795b7a33392b189c058db98057d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4907395,"id":"Q4907395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d38dc8c7d9594f8f01a1a9614793d0209b6e9a1","datavalue":{"value":{"amount":"+0.7948003","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":"Q5414955$A71F5A80-C832-4207-9711-C4815ED37A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e522b0d2588a8e5283c51a76b7d49050328647ea","datavalue":{"value":{"entity-type":"item","numeric-id":5530285,"id":"Q5530285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7334204e16059bdcdd4de5d706b0f3b7ec910273","datavalue":{"value":{"amount":"+0.79338545","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":"Q5414955$C46C4076-03BB-4953-8782-3E75A5E719BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90dd4991f5501cb576c32d30c22683241c85bb61","datavalue":{"value":{"entity-type":"item","numeric-id":5501772,"id":"Q5501772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d483ffa21c9d2b7523a055a818238924659b74","datavalue":{"value":{"amount":"+0.78124875","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":"Q5414955$41BD3117-54A1-4653-885D-937C2FE06A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da7cd645282be960a580c0f55e1a8d8f15f3f52","datavalue":{"value":{"entity-type":"item","numeric-id":1361379,"id":"Q1361379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae9ea1559e54acac45b36676c5b503e040b6d9b","datavalue":{"value":{"amount":"+0.7803429","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":"Q5414955$E0CD86E7-4237-466D-B51D-468FEB8EB93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cd9ff7ce450a3834a7fef08fc4f36af93a4a90","datavalue":{"value":{"entity-type":"item","numeric-id":6044557,"id":"Q6044557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b885a2eb2c1f0bc1ed080d150d5ec76af25b94d","datavalue":{"value":{"amount":"+0.77422136","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":"Q5414955$B63ED5ED-269A-4212-A6D3-88BE7283B343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a7ede5471d4ab3b6085491dbdf45ea39deafa1","datavalue":{"value":{"entity-type":"item","numeric-id":3079708,"id":"Q3079708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547597b90e3dc2731ed91e630dbc99fe60fc4322","datavalue":{"value":{"amount":"+0.77409434","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":"Q5414955$46D6D435-C7CB-4491-A7E5-C426C18CD8CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5414955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5414955"}}}}}