{"entities":{"Q3838768":{"pageid":5868673,"ns":120,"title":"Item:Q3838768","lastrevid":54495842,"modified":"2026-01-27T10:25:06Z","type":"item","id":"Q3838768","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189066"}},"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":"Q3838768$05F57922-4701-404F-8F8B-BE219B304870","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca7c8ec54485b3c551a2d4660763afd92b1fe428","datavalue":{"value":"0903.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838768$B026002D-993B-4653-87C3-EF58515FD11E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da84256ba4cf59a5f1c2c150bb4ab85d06806895","datavalue":{"value":{"time":"+1998-10-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":"Q3838768$EC6A147A-F703-4968-94C8-EE2C080F41A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838768$CC515AD4-69C8-4C18-828B-C31A6333A6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838768$309AD7E6-3696-4940-A9D5-FD9D0DFB2EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838768$F35B2309-0386-4918-8D08-CFF7EBC15F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838768$889590A8-66BC-45ED-B9F3-A2E5E86D32A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"752c17bc6720b7a2a262bbc8d6345a7ea32d2a22","datavalue":{"value":"1189066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838768$08021A0A-CF87-44F0-9BF6-4E3ECE349B7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9033b9a3a9d309e7488dcad3c0f221b298f7aa","datavalue":{"value":"feature logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838768$40C7AA23-2992-4B0E-90DD-4996DCAF468A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2bed348dd779db21c7555710f358dc50eb62640","datavalue":{"value":"ordering constraints over feature trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838768$FB0D29D9-6F20-4CB1-A175-2DE0154DDC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838768$2F4F4658-6766-4284-AE2A-BB4EAF92C0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838768$56738DF3-F42E-49C3-A5D9-DEEC2307E98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838768$1DB42454-8539-4C1B-A977-F00E958EBEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3720608409d238ddd17a9605024754a47ed54ce5","datavalue":{"value":"entailment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838768$68EAE448-64A6-46F8-A41B-8B82A3959E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ff5d53c54cded93288ee6dfde7f872c19930cff","datavalue":{"value":"second-order monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838768$1E8AFA71-9461-4BB4-BC13-E9CFB9E55BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838768$2DB57A15-FC73-43D7-9936-2D9E01E0AE48","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":"Q3838768$362B527B-AE09-493B-8033-666A28B1A9B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9354e814547911b851126d96abf78acb084ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1854347,"id":"Q1854347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05ddf93541299cb2d6335d8c368a3a35362a8ca","datavalue":{"value":{"amount":"+0.9730474352836608","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":"Q3838768$822800EC-84C6-4D83-B212-4A52FE4771CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864763084f750d6d71ac8b4d5ccac701e65e29d6","datavalue":{"value":{"entity-type":"item","numeric-id":2752467,"id":"Q2752467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f4d666f28791fe4b35062f4b870872bd004af6","datavalue":{"value":{"amount":"+0.9229702353477478","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":"Q3838768$F2D30BC8-A39D-4105-93A7-3F198E3EBA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898cdd57d9618d383ac5c2c25d93d976c2351edc","datavalue":{"value":{"entity-type":"item","numeric-id":1975203,"id":"Q1975203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6442a5acb19bafc965376fe54f83be395edc1dd","datavalue":{"value":{"amount":"+0.8506072759628296","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":"Q3838768$A5B45D24-CC04-405C-84BE-BCC3DA6D9478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422737d49181fe3c4a3247818e6dc79a49af1511","datavalue":{"value":{"entity-type":"item","numeric-id":1314426,"id":"Q1314426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585cfcdd800121ea9906955d29dc43cb9776c457","datavalue":{"value":{"amount":"+0.7889266014099121","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":"Q3838768$104BF44B-8CD5-436B-BBA0-57CE7F66D315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318b5f518e917ea1438f6ea90bb91718cf86b5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5688930,"id":"Q5688930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa8c84ff2fea61f3a6feeb1cda32b6347f2d574","datavalue":{"value":{"amount":"+0.7868229746818542","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":"Q3838768$0D3F3976-4DAE-474D-8AA8-7BB8FFC8E784","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838768","badges":[]}}}}}