{"entities":{"Q4647559":{"pageid":6677140,"ns":120,"title":"Item:Q4647559","lastrevid":53320991,"modified":"2026-01-24T17:43:40Z","type":"item","id":"Q4647559","labels":{"en":{"language":"en","value":"Grammar specification in categorial logics and theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001947"}},"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":"Q4647559$B794E875-D4BB-4000-BF36-F8C68ED11590","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9680e7f4c05741f659d5f172045db32c8b03077b","datavalue":{"value":{"text":"Grammar specification in categorial logics and theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647559$031F304E-7ABE-408D-8DDE-BDDA15E00E2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6fb2d2682a751a1949860fe22d9c1337413e873","datavalue":{"value":"1412.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$AFB4766B-048F-4FA4-AFEB-2F5456C88FE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb0762f6802acd83ee1d70abb723d9deadd106ef","datavalue":{"value":"10.1007/3-540-61511-3_123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$92A68491-C4F2-4EF4-92A4-C479F8513A7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0574f08f0979e78780d766c247580df314662e23","datavalue":{"value":{"entity-type":"item","numeric-id":4647558,"id":"Q4647558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$09CEEDBB-4654-412D-85B9-D8AC2CE81E7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$FDD58F67-9564-4172-9207-876794B9C800","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647559$13168225-0390-415A-9881-2AF0306B4CFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$F77165B2-F3CB-4E1F-B619-188E63ABCC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$0901070D-07B6-4B7B-B286-7F3E1F59245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$DBBF30DF-315A-4BE7-A8BB-D1AB7E66B0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$80DB6000-1727-4192-9B85-A501E4BF579F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$60ADCBE2-2668-4128-9927-B4153AD9C1B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97bef3daea49e4b08db287d7bfb74f0d1c9a839b","datavalue":{"value":"7001947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$88F0B888-89E3-4BCC-956D-AF5D7A78B9C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647559$7F7D7B11-5E49-498D-9C46-47721DA8F185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f793d223f414bdf921b2b8a766b8f7e4c05803a","datavalue":{"value":"computational linguistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647559$1353FB1A-EF58-43C0-AE80-F7121B010DBF","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":"Q4647559$B4CDD0DA-91FB-4706-9754-1119781AA87B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f61e22451a67f3bad1ee6663d856c1b4fd8d3cd","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_123","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647559$16CE9668-3086-4C79-AD9E-7426379ACD95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3f3897235194a9a2cce2a843581514a80d3577e","datavalue":{"value":"W1481336809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647559$EFA032F6-4A4B-4D2E-841D-0693733E7DBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4c8fbd6fb38bb8ed4d9018b2d47e906aad68c1","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$D7D9EB36-8986-410F-81ED-789FBA4A920F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c783c6f7e1f3f446b361f6768ef38806ec4dc2","datavalue":{"value":{"entity-type":"item","numeric-id":4834292,"id":"Q4834292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$4E38BFFF-D0D1-4A31-8907-2203AAFB73FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4e260e4c35c233048ae03676e24cb5f3145472","datavalue":{"value":{"entity-type":"item","numeric-id":3470458,"id":"Q3470458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$4E91ECD5-9F9E-4D27-ABD6-0F28F82E42FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$F7A84A71-1BF3-4D90-8D72-207EC93A64AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df75431271723f6978ad2aa758c96fc05b9eac0f","datavalue":{"value":{"entity-type":"item","numeric-id":1344886,"id":"Q1344886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$09D024FA-CEBB-4CB0-B2C3-8145AE1261F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$3EDD7F74-2D96-4188-BD2A-4BEF8A1E4B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$12950633-3A5E-4782-B4D9-639742B7EA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$DAA99CC5-B276-42EE-B7CD-BB7D4BC90670","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":"Q4647559$2BD6A952-9F3A-40FB-ABC2-DC2DA93D2AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c16b5228ba36d185a67402cb5fe0cc058c500b","datavalue":{"value":{"entity-type":"item","numeric-id":4842967,"id":"Q4842967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$008B6B4C-3378-481A-A8D2-CDD62EFF0C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9033970d0f59462b39d7285bcd640c8e1775d511","datavalue":{"value":{"entity-type":"item","numeric-id":843772,"id":"Q843772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$FDF2027D-9956-4A68-973A-8D0E58F3DD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f4454559b1e0d93771cdfe76248300e027df06","datavalue":{"value":{"entity-type":"item","numeric-id":4842280,"id":"Q4842280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$FA6DC929-A19E-4D6C-949E-7E01A70876F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afb8d07f32ecb5cd5d32645f937af7c81f372a1","datavalue":{"value":{"entity-type":"item","numeric-id":3181122,"id":"Q3181122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$8152B304-6F7C-4DDA-BACC-DF1003EBC288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7699ded2bb750f38e9d4f5b9952fec74e72d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3919680,"id":"Q3919680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647559$440F3860-4744-4A6F-AFF5-CED52D5CDBF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c0083b34ab5c0bcb74cfd7ba896712b3e18ab4","datavalue":{"value":{"entity-type":"item","numeric-id":1854380,"id":"Q1854380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c428f0ae08474509a7cc5572a0482f97433e7d","datavalue":{"value":{"amount":"+0.8293315768241882","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":"Q4647559$7AD4A939-A944-4322-843F-078E8DE04265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9017b58749d931dc35ca16e1a4a5e7c3ef661be3","datavalue":{"value":{"entity-type":"item","numeric-id":909654,"id":"Q909654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0ed8a0f75a005e8a1ec680226db1c4a4062e58","datavalue":{"value":{"amount":"+0.758692741394043","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":"Q4647559$528C3AF6-B51E-440F-A981-055EC0C220FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88cb3878869e2ef7dcb640e90c592497fabc08dd","datavalue":{"value":{"entity-type":"item","numeric-id":2425322,"id":"Q2425322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12eff8ad308171a82e850d37de5e15a70c8b87d","datavalue":{"value":{"amount":"+0.7570650577545166","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":"Q4647559$977D03A9-5CFE-42F2-8A7D-03B6C5FE74A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49443495425665176bde6fc2f6a941a65de9a995","datavalue":{"value":{"entity-type":"item","numeric-id":3754603,"id":"Q3754603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af55c34c59d30b2f83ec097ecea7c2443baf0f4a","datavalue":{"value":{"amount":"+0.7540708184242249","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":"Q4647559$4DE70C20-C29F-447B-915C-885AA569DDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cceba7b6b2a8d24bb25a62c136484291495c91","datavalue":{"value":{"entity-type":"item","numeric-id":4263153,"id":"Q4263153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74a5ab6ddf12701d948edfa7d6fcfcba35f2e26","datavalue":{"value":{"amount":"+0.7540065050125122","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":"Q4647559$092A42D7-4D75-46C1-90EA-DA1B8E97F892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647559"}}}}}