{"entities":{"Q4381397":{"pageid":6410996,"ns":120,"title":"Item:Q4381397","lastrevid":46540530,"modified":"2025-12-25T00:09:20Z","type":"item","id":"Q4381397","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1136086"}},"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":"Q4381397$212450D6-87F6-4AD0-A2D5-A35A8F3E432B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32a97afd83c061dcf78539dd2bb7103301cd1f59","datavalue":{"value":"0892.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381397$C70418A3-3445-4BA1-9929-6DE6A8FB53F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f1c67d286f9d48951b5a1c3feca58d5643262d","datavalue":{"value":{"entity-type":"item","numeric-id":211677,"id":"Q211677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381397$FA799C89-A3FE-49D8-97BF-47C95C97AE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381397$5A442010-0439-40C5-ADCB-138AE2734A72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363664994bd3f98264ff6fc78db2cfbbaf8e3fbc","datavalue":{"value":{"time":"+1998-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4381397$CD48D21B-40AD-411B-9481-8B22DA65E824","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381397$894962EC-45A9-4920-88ED-4D5CDDF405DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381397$91BE1650-1866-464C-BB9C-AE16DADE5892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381397$7E80A66D-5452-4D0B-ACFD-33D0705E2AE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c08fefab0aabf00467d23ff6bbdbea854d32212","datavalue":{"value":"1136086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381397$AE625EB0-CDF5-425C-823F-94F61CF0CC70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf84806b55e176bbd5446ff6ff1ac099a018e7d","datavalue":{"value":"languages accepted by systolic binary tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381397$AA5472F8-8E68-4A3A-9DA7-1A540731D395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b3560d273b35d3a9386c20ad7c86b847c56946","datavalue":{"value":"B\u00fcchi theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381397$7C0D474E-2DC8-4070-BC85-BCA4C42E752A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381397$019D5B18-84FD-452D-AAB6-1D311A6DD375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4811ab059dac7cd621623993b69c6d4fb001171e","datavalue":{"value":"McNaughton theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381397$43B7C91E-9819-48F7-87F0-45584A45E1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381397$08FE0968-FB6A-435A-AD19-7DA315B0078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93bb4610554d2921fb74776f1cdda11c1992330","datavalue":{"value":"first order fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381397$84AE2EFC-599C-49D8-B567-1216D372C362","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":"Q4381397$8ED81578-1E62-4CE9-8A18-43EE82CA411F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67972cca0dc749bae8cba917580298fdfa9822b7","datavalue":{"value":{"entity-type":"item","numeric-id":1575949,"id":"Q1575949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21294a3f9208a5b677444fb9ec332b2161ed1a3","datavalue":{"value":{"amount":"+0.8238544464111328","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":"Q4381397$46AB8E24-3F24-4547-BF08-BD7066507469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f91fbf7adc2f3964e32efa765195f6c67f7df8b","datavalue":{"value":{"entity-type":"item","numeric-id":1333404,"id":"Q1333404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b139142709c55031c75448e73b2a39a87b928d9","datavalue":{"value":{"amount":"+0.8106064796447754","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":"Q4381397$3BA5F4C0-3041-4B3A-8515-F93C170D3B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1164b56c36f4464fa9584a30c7eeb9766449d5d6","datavalue":{"value":{"entity-type":"item","numeric-id":2770585,"id":"Q2770585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04933c813c6db4732673e508f44a0339092e98b0","datavalue":{"value":{"amount":"+0.8013017773628235","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":"Q4381397$40A67017-F718-48D9-9BEC-043DA2C0882A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5578f51d7b948ed4ace859038fe7467118f8bcf8","datavalue":{"value":{"entity-type":"item","numeric-id":4596616,"id":"Q4596616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1243a49881b9a7482f0fd5ad205d103efbd13520","datavalue":{"value":{"amount":"+0.7976611256599426","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":"Q4381397$C7EAAF39-90A4-4013-8A0F-2261AD0906EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3606005439597baccdec5d6f75be239af6a8fa0d","datavalue":{"value":{"entity-type":"item","numeric-id":5096343,"id":"Q5096343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf0cd5c6514856090a6531c57c3204d25c20232","datavalue":{"value":{"amount":"+0.7789786458015442","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":"Q4381397$C988E48B-5CF9-42C7-B0F1-8D5961117C22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4381397","badges":[]}}}}}