{"entities":{"Q5111431":{"pageid":7141005,"ns":120,"title":"Item:Q5111431","lastrevid":100276472,"modified":"2026-06-05T21:45:04Z","type":"item","id":"Q5111431","labels":{"en":{"language":"en","value":"Definability by Horn formulas and linear time on cellular automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204551"}},"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":"Q5111431$6A7EA178-76F9-4BFD-A39E-988C013971B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"224ff86bb3be2d49ff0b2fff23d1294db0098c95","datavalue":{"value":"1442.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111431$7970005B-ED51-4896-BDAC-6C7AB1D1DB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"699daf5a9896894acdd6e71e4a691839fb7d1610","datavalue":{"value":{"entity-type":"item","numeric-id":729997,"id":"Q729997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111431$8B1EB09F-BFBF-4F86-B722-39424D51E52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dae8f46f54ddef78ce2c5c814dc33261ca054d1","datavalue":{"value":{"entity-type":"item","numeric-id":295629,"id":"Q295629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111431$F424118C-E8EB-41E5-988A-1F99D90BF51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63a596d7db2a46a63ffd3ffbdffdc2d338d8beb","datavalue":{"value":{"entity-type":"item","numeric-id":295630,"id":"Q295630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111431$1B12C4B7-C174-40EE-B523-C6E226AFA084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111431$2C3DD9F3-00A0-4FE5-BCC1-7D92AAAFBF93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111431$83AB42F3-F771-4A78-9825-032EA1294CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111431$D148D1C0-AC61-42C6-8403-4B5E5F8483CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111431$0A255A33-295B-46A8-95C8-156315EF7C03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e66a8aad9d0a43daacee959362f1a8bf5a4dd5d","datavalue":{"value":"7204551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111431$8275FBB9-B8E8-49BF-B848-4B6D944A0E37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4be67f451973daf6ead3eaedb49f1f3589a49e","datavalue":{"value":"picture languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111431$056E1DC4-6B12-4609-A790-8C532117AC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111431$4806AA05-B24E-424D-AC1A-4B2D8C0DB046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f69aba093e69172194fefe7f8df6e284e066a6","datavalue":{"value":"cellular automata of any dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111431$C98F3EE6-A246-402C-8DB9-53869EDC37ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc5ac6e3b3e359c321d32d7b905b1e3df8523a0","datavalue":{"value":"local induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111431$0B4AC6D2-3B8E-40B6-87FB-A33991EE9647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111431$DAEC3111-CA0F-4EE3-ABE9-ED1D210FD15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111431$8A17661B-0A25-4CF5-A6C2-935E90FFBA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111431$9B6760A1-C1EC-4ACA-8E3F-F58CE87F3081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111431$E2E8BF27-D748-4EC5-B02B-CB8135D73E8F","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":"Q5111431$3D6BDD58-FFAB-4A62-98CA-716194D8EA1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b70e9ad1c3896ca5d4f31bff1dbbafb511c45f4","datavalue":{"value":"https://hal.science/hal-01494246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111431$DAEDAEC2-34D3-4D0E-B679-DAA7894F39D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58856ea337d68643498ffe123283030c82cb4bb8","datavalue":{"value":"W2601070892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111431$C5AF767B-DAEB-4C59-958D-E82A44653BD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4957a606c3ec1ba1b5313b42a7b3028145d119f","datavalue":{"value":{"text":"Definability by Horn formulas and linear time on cellular automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111431$7157C88F-E795-4158-9E7A-70A42A223E16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff372f330cfad7fa81ac4db646aa473a8cd5f85f","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111431$29D970D7-019E-4D31-8C15-59CE4CA6E05D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58320634118a4cd558e651ac062a0d5a1b20faa","datavalue":{"value":{"entity-type":"item","numeric-id":4649552,"id":"Q4649552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d4dc831ef4cb932e1a0bd2e893db188270efbd","datavalue":{"value":{"amount":"+0.803949773311615","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":"Q5111431$697AB90B-DAD5-423C-885D-5083A45F2104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f878f062d5f3da9d4a2a3af4dcf5fa4381cc6273","datavalue":{"value":{"entity-type":"item","numeric-id":295631,"id":"Q295631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63dac76aa330cd2ff86c02da102afe97ad151f37","datavalue":{"value":{"amount":"+0.7737482786178589","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":"Q5111431$A505D056-A2FC-449C-825E-0407D97A97C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1959bfdade51658fe70f46da4022fa39010c92df","datavalue":{"value":{"entity-type":"item","numeric-id":1075053,"id":"Q1075053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6daa96c7d0b74fd9ff60745624414da8d63916","datavalue":{"value":{"amount":"+0.7388312220573425","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":"Q5111431$506AB08A-82DB-49BB-99E8-52299092B342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91eead849b9b0796b9db9ab6f7516ae5da2e33b2","datavalue":{"value":{"entity-type":"item","numeric-id":3339293,"id":"Q3339293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c364bdab6c053528c3bf0b567d48f743b2339721","datavalue":{"value":{"amount":"+0.7360825538635254","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":"Q5111431$E5B265EF-3358-4A9A-B719-F3C1CD18BBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22229224ac5744dbbb01346a4619fe9d23281f0f","datavalue":{"value":{"entity-type":"item","numeric-id":2640353,"id":"Q2640353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81848ef8cf68db76ed34cea46020202fe46e0652","datavalue":{"value":{"amount":"+0.7332007884979248","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":"Q5111431$0F257920-6B98-4527-A4CD-4802BB094153","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability by Horn formulas and linear time on cellular automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_by_Horn_formulas_and_linear_time_on_cellular_automata"}}}}}