{"entities":{"Q1337601":{"pageid":1348340,"ns":120,"title":"Item:Q1337601","lastrevid":67187796,"modified":"2026-04-12T15:55:29Z","type":"item","id":"Q1337601","labels":{"en":{"language":"en","value":"Proving theorems of the second order Lambek calculus in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683199"}},"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":"Q1337601$782A22A5-F2D2-4D0B-8BD4-730AC9B19F31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dfc587e4494ae2fb3ceff228406217d3b2666d9","datavalue":{"value":{"text":"Proving theorems of the second order Lambek calculus in polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337601$3113CD0D-DF1D-4195-98DE-EB766B8807EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a3e766cde3a5fb2c645216c44439ba25d052fa7","datavalue":{"value":"0807.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337601$6D3E3FAE-D126-45E8-BFCC-D50612C5C841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65164c3cf8d4285712b3209ef670b5f5c31aefe2","datavalue":{"value":"10.1007/BF01057934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337601$121EC7DE-6C05-4F57-8FD5-9F19CF4B9EC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"805b7309911ea4ce2d34f963c9f04281dc0132ee","datavalue":{"value":{"entity-type":"item","numeric-id":1337600,"id":"Q1337600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337601$8201A552-A2C0-400F-B072-87B349D5E139","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":"Q1337601$EF4C226E-F7F8-41E7-AD59-0F01C1E2D720","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7b3792c6f1d919d9d108f6161dcb3e3ccde785","datavalue":{"value":{"time":"+1994-11-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":"Q1337601$52BD0508-E97B-4814-8826-9D1FFAC4D323","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337601$6AD9448B-0E66-4234-862B-63DEEC3F762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337601$E9E9ECED-A251-4285-97BE-769D0872444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337601$8D5F1071-8A5A-4A74-AC21-2EAFCFB1177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337601$6599E680-1151-44D4-8CEE-36D7ACCA3326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcdf6665d4d36ddb5761c2b78e79c83f5bd60668","datavalue":{"value":"683199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337601$859415EB-766B-4D3B-8F39-83D172360A94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e77a9e40941b759d8f0fe3e6ddb41bcab2f2b0","datavalue":{"value":"Lambek calculus of order 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337601$B33667BF-F0C2-4CF3-A053-56357D064A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a31df5e824cb1c40c1271e2c9bbd6eef03f93985","datavalue":{"value":"decision problem of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337601$1B9FBEF6-DE45-41BD-9EF7-DD5AC88AD904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337601$461F9C35-E4CC-4C6A-ADDE-109375A19695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323aad378b5370c8a6a5baeaa584440d96b508f1","datavalue":{"value":"second-order sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337601$5DC93027-2523-47C4-BC97-CE22546AA166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337601$EC9A1AD7-68A4-4B74-A585-DE7008D789CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c66357842723d674df17c8a22eee43e04838fdc","datavalue":{"value":"provability of sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337601$C2A51FAB-ED50-482E-BAA0-0179AB4264E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337601$40259140-5F75-43D3-8A25-8807E11DBE52","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":"Q1337601$28D3C8C2-16DB-44A2-87F8-6685BA59307A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337601$DAFF5320-755C-47CB-BBC7-D0A9ABC08623","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":"Q1337601$335F2604-A4DD-48FB-83FD-B125EEFCD00D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b251739080c291884e1464e2eb5bfa22948d4393","datavalue":{"value":"https://doi.org/10.1007/bf01057934","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337601$D143571F-10B5-4FE6-9308-FDFF26192B19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8ccc11abbeed6f53dddd1ee19f9935eca27bb10","datavalue":{"value":"W2008711558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337601$09F27A83-F1B8-4A7F-B0C7-304D428ABA48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34b84d637807ab514531d086803a08628c7c5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5111318,"id":"Q5111318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a24fc5856d49fbc0d0cfdbdc4aac6d326ef9a75","datavalue":{"value":{"amount":"+0.8221912384033203","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":"Q1337601$78BEB500-76BD-46D9-B503-87FBA56E53A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79615c519ff50ff54242a54a50d88546bc502abc","datavalue":{"value":{"entity-type":"item","numeric-id":4263011,"id":"Q4263011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f777854feeae348f56024e399e9da303656dbf29","datavalue":{"value":{"amount":"+0.8050928115844727","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":"Q1337601$626DEEA7-06D1-41E8-8EE2-20D5CBDD74C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74edeef6ef0c36538750286afb323a446647d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2abc87959af06282e4593a374260e4a94c99bea","datavalue":{"value":{"amount":"+0.8033320903778076","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":"Q1337601$7954DBB0-372E-47AE-8C86-41EE90EA1187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc9da7381ec3a27707b7f272c726702fbfd9b37","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2dcbc7661bd9c315af2c3fce741ce81bc52c69","datavalue":{"value":{"amount":"+0.7900214791297913","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":"Q1337601$F7D83775-C917-439E-87E9-0DD806ED9E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4747a2797fea49a0c10d5c61f6b7c600c098a2a2","datavalue":{"value":{"entity-type":"item","numeric-id":2513229,"id":"Q2513229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1061d37052e0cfa94eb50f8a4bf8dd20105156","datavalue":{"value":{"amount":"+0.7721752524375916","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":"Q1337601$4C411C65-4279-4819-8FEF-E3DC208DF1BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving theorems of the second order Lambek calculus in polynomial time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_theorems_of_the_second_order_Lambek_calculus_in_polynomial_time"}}}}}