{"entities":{"Q1040785":{"pageid":1042633,"ns":120,"title":"Item:Q1040785","lastrevid":69491694,"modified":"2026-04-13T07:21:40Z","type":"item","id":"Q1040785","labels":{"en":{"language":"en","value":"First order St\u00e5lmarck. Universal lemmas through branch merges"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638518"}},"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":"Q1040785$C4CC4090-9057-439B-AE43-C5A461045D02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e83597451622d3ed62ad28dbc3ecf8c842c969b1","datavalue":{"value":{"text":"First order St\u00e5lmarck. Universal lemmas through branch merges","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040785$599D3BF2-B8EC-42E7-AD81-BE6B239BA23F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d2a6156372d7a85b3b90d49b862ca40ccad60ef","datavalue":{"value":"1191.68618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040785$A1FC7AB8-049C-411A-98FC-36BF7D7BEC32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3392591813b1e93f035c72c1079837900bdc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1040784,"id":"Q1040784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$87C52E4D-9DAA-4FAA-869C-C731B7CE9E63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$A9558B66-ED42-4F8F-A2DF-A428E7D7898D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040785$4DD8EBBB-D48D-4034-8CA3-0E82687BCE6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040785$E13B64DE-0670-4486-A9DD-BA1451C5D8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040785$D2317258-03B2-4542-A5BA-1D7C74C2625E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"810e7a3fabeb57e12cd8fdd88d28b0cc324b90e4","datavalue":{"value":"5638518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040785$A9725C45-AF6D-4B9E-ABD1-6FA46F336BFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040785$82B77972-D2EB-4A91-9B27-DF3891AE588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040785$301AAF27-AF3B-4EE0-B230-F0752F9B1039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf6a160f3290a7c741352202ec009aca8d5bfea","datavalue":{"value":"St\u00e5lmarck's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040785$6CB0BB70-6285-425A-80C4-48CBC83742AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd61ae9240c000c98035e0d98134108b7867d1f","datavalue":{"value":"universal lemmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040785$C2FFB1D3-E45E-4599-AA10-888B1C91A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbffb8ae14b4f37eab0c3aace9f763172d33b5b2","datavalue":{"value":"intersections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040785$8D935B24-D4C8-4641-BC77-4024703EBBE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$691F894F-04A8-4206-8AB5-AE0486B25D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"497739b1d588e442d5b7ba6bb4cccae512fc3231","datavalue":{"value":{"entity-type":"item","numeric-id":19196,"id":"Q19196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$AC123CF3-AA1F-47CA-B6B1-CD02B282EFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$2A6359F1-BAA2-4254-AD99-7EFDA638208C","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":"Q1040785$2B3119C9-D368-46F5-874D-D6FD53F69D9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d17969072857d6766a72f802bda674e9671b72a1","datavalue":{"value":"https://doi.org/10.1007/s10817-008-9115-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040785$A4DCAB26-0F1C-405B-91CC-62BD0F547688","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a84d90537960543e63b4f7b027d83ecb134b1f5a","datavalue":{"value":"W1752750514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040785$391C3C33-141A-40A3-B5EB-C5FE22278C89","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f6842872b31f5a73bbee7ddcb4b645a9f0d3568d","datavalue":{"value":"Q125030637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040785$28651FC2-3271-4804-B083-5ADE54F55E08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b07bee7e03caec103786e5014f6d4794b8bbdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$7BFC700A-0A53-4080-9A52-BA752A5746F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc0836acee68f0bfd8ffa99e594e42d0f2ccbde","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$B1E35C15-F156-4927-B112-7043B79F4F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1293c449a4ec199dbf2381bd6d081ce1eb4f43","datavalue":{"value":{"entity-type":"item","numeric-id":2389629,"id":"Q2389629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$41E10A2C-98CB-4F7B-B9AE-5B9A311466DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29abb5a7232f6e8dd451e3b515a2566e5399de3c","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$1DC6E3D3-C81F-4E61-A3DE-75DA1FF4F97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51868bef8fe2d8ea930682ac301e3354d97600a1","datavalue":{"value":{"entity-type":"item","numeric-id":5387845,"id":"Q5387845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$74340F4C-1268-43EC-B71B-F9F7A097ED2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a16d715d81498dba48d7fa8688dd6a6805df63","datavalue":{"value":{"entity-type":"item","numeric-id":1295867,"id":"Q1295867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$75EDCCF6-6E16-4EAB-956B-E8FE242C0845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e2cca331ff6f010b51ecc34ee8bbe80d39dc5b","datavalue":{"value":{"entity-type":"item","numeric-id":2751352,"id":"Q2751352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$0124BADA-81DE-41E2-85CD-A83DA3360B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$5B05B2D4-EA2E-4738-9E01-4EFD27B3E658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$A3ABB048-9596-478C-A836-71B9A2E6F87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$CE4525C4-A1B1-4154-8155-B5FAB32C36F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b078ac6522bcee697c559fd0ddac36e74baef1","datavalue":{"value":{"entity-type":"item","numeric-id":3275827,"id":"Q3275827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$AF4FA5E5-349C-4605-9BB8-D21B2B186846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8918b138e0301b7fb7013f51e3914c9e9e6a4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$AA8E39D4-3B13-451F-9AC2-CB55E67F06DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8674a26153ce786fc142cbca9d495f9ca891ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":2996159,"id":"Q2996159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$C3EF5405-9FFB-4837-88E1-F981E8E1677B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255ef140b313d7dbb59f798668e69309970f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":4412859,"id":"Q4412859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$F8135085-9B92-4975-962B-8E1BB46D8D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f707d41b44671464c5d9fbd310386196c74d6c07","datavalue":{"value":{"entity-type":"item","numeric-id":2751378,"id":"Q2751378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$87F66FE8-A192-4700-BFE1-3C59F92F580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$B65B122C-BCD5-4DEA-973A-39155C20B4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$A6508C7D-DB7B-4D22-9B7A-5A52FDAAF168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$9AA4B818-94C6-4691-B330-442A8B91CA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62113b852f82fecf9e34912decc495ba0abfaf0d","datavalue":{"value":{"entity-type":"item","numeric-id":2721215,"id":"Q2721215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$D61980A7-D300-42FB-B2F8-EABE40423A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040785$1BEBE8AF-9A39-4711-8032-C945D2FE4BC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c3b5f3a3406eae1d7e8ede1b6c53a9b384e1b44","datavalue":{"value":"10.1007/S10817-008-9115-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040785$9D1B06F5-FB7B-416D-B30E-87C7ADFFB4F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a34394d4028d2e1e6c2eb4a1335a5de85893db","datavalue":{"value":{"entity-type":"item","numeric-id":5387845,"id":"Q5387845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c066c5cdf66a5c0e1b8809184ef62be89456fa","datavalue":{"value":{"amount":"+0.861998975276947","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":"Q1040785$870BCC56-A59C-4960-963D-3B53FA2A8C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e7b855e3255ed7374e30f72b41f621223fc94e","datavalue":{"value":{"entity-type":"item","numeric-id":2417949,"id":"Q2417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ede82693f7ad216b16fa191e3ebf6b759ea8457","datavalue":{"value":{"amount":"+0.7231244444847107","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":"Q1040785$3B1E2F32-012E-4C05-B449-5C031294C4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e636bc9a8a7a6d6a11aa4d69c4a935251ac66ed6","datavalue":{"value":{"entity-type":"item","numeric-id":4501581,"id":"Q4501581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea5e35e17a6dc308c765935240b8bb63cc40062","datavalue":{"value":{"amount":"+0.6822217702865601","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":"Q1040785$69634C3A-04A6-4492-B32F-3D0A0B2A42DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd13c5579dca73c0f4caad1f3934529b31f1ac08","datavalue":{"value":{"entity-type":"item","numeric-id":1367083,"id":"Q1367083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df8797fe6bc6d1ecac338ff88357036c4231267","datavalue":{"value":{"amount":"+0.6821366548538208","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":"Q1040785$828563B0-66E1-4026-9DD8-B70AA98EBB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1ea13f2a3f0cfb8cab0079f201857881dc2dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2754056,"id":"Q2754056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a838372f8dc7d1786d2eda2615fb75247240adc1","datavalue":{"value":{"amount":"+0.673366129398346","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":"Q1040785$F09ECECA-EE21-40B8-9883-5317A0D62A3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First order St\u00e5lmarck. Universal lemmas through branch merges","badges":[]}}}}}