{"entities":{"Q2373714":{"pageid":2384457,"ns":120,"title":"Item:Q2373714","lastrevid":50129756,"modified":"2026-01-13T06:00:33Z","type":"item","id":"Q2373714","labels":{"en":{"language":"en","value":"Generalising automaticity to modal properties of finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171338"}},"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":"Q2373714$9E4E69E8-3BDB-44EB-81CC-54DC14A58D9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8041308979baba6ea8405c05c23035d9e104c447","datavalue":{"value":{"text":"Generalising automaticity to modal properties of finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373714$DDD4DA37-6A2B-4AA9-B7BE-C3803372ABB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60d2e4fa97efd1c95e20f2530b0e6f67a90afdb1","datavalue":{"value":"1121.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$41574C8F-CB6D-4F1E-8541-1E606CEFBC84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$3AC42679-F86D-4F2F-B4B5-C5A87239DF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$A419F13A-53CD-4DA6-8880-52186F5F2E3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$ADCAD451-8EB5-4D3A-9FF1-2F714CD0DCAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373714$5506CB99-E98D-4D56-995F-37FA62D9AF63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$8273E49E-5398-4CBC-8A16-B79196227BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$FAE6BFC4-8644-491D-BB47-B0C064F13CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$F5D507BF-6C23-42C3-A0FA-917729D49A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$593608B8-C7AB-49A8-BCDF-77EF9521EB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$48313903-5F60-46CB-8745-A46F66C495B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"599d8c3923067359c9e60ca1e484aacdac184eb7","datavalue":{"value":"5171338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$56DE2BED-9EF1-4D4F-AFF3-B96B1C672DF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373714$79CD3BCF-C3FB-4CEB-81D0-1A22C92E9350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec2f1d0d1b9536c1ff00ac7b7eea364981f11a6","datavalue":{"value":"fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373714$08C07104-017B-4CB1-89CE-609C6ED520FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373714$99C1C5E5-7798-461F-9E2A-C1008B273DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373714$D28BB282-F312-4003-8AD8-911DC25F2742","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":"Q2373714$B97967AB-E9EC-43C6-B5ED-3FF3FE9E3B33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2a9942a70af9868ac288fe018d5bec356cc74eb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.03.048","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373714$3E4A9474-0D4C-4830-9B87-18540514BD91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb5b18ae6de26607ffc7c5026deb6c13865aa6e7","datavalue":{"value":"W2138597883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$C4367C8A-5B5D-4D68-BA85-FF488360BD79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$BC7789EC-A679-4EA5-944F-820EDE683A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$7326A90A-A7D4-475A-A985-3F9BBC050E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7e6768b22bc08e9e065fa04ec4a9f1dc4b3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$97E128BA-BBCD-4D04-84DF-30F1BA28EA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb4845d375923abc75828d2a9abe26a67c4ae23","datavalue":{"value":{"entity-type":"item","numeric-id":5277697,"id":"Q5277697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$AAFAD0FC-22D2-4CE4-BE41-08B852C8F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a132c311036bdf9170c7afe85e7ec2984890d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4415248,"id":"Q4415248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$064D5CBA-0569-44EE-804B-73082A7CE9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$075452BC-E832-4653-85F1-F1517D257D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$03FB10FC-6A67-4B1E-85F2-6A04E0ADF015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$15544EB5-A143-4D79-9EC7-D898E59AE9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$F2256FCC-6E89-483D-9B50-560BC8EAD52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219f2c95e003de66dc6439cb3c03fdbe5010ab47","datavalue":{"value":{"entity-type":"item","numeric-id":1960425,"id":"Q1960425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$96F395BB-888D-480F-A981-FB74BC9E14E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a423bed1db1f89dfd75f51e2dddb86d00ac7188b","datavalue":{"value":{"entity-type":"item","numeric-id":1816738,"id":"Q1816738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$774609EE-7C2F-4C8F-9508-02BC38C0672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$62D26CAB-4F77-4247-B3A1-C171B0384F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452cbeebbcb523130e42ab08d1693abf380edfde","datavalue":{"value":{"entity-type":"item","numeric-id":4036584,"id":"Q4036584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$27FF3023-CD05-4BB1-8084-91965917645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373714$B45337F0-BECA-4DBC-B1A9-DFCFDAFDDD7D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db16a8120a0a7203089d0f1f0ddfd2e0ae97622c","datavalue":{"value":"Q58215610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$B71C1826-6733-4DBB-93F3-D301197411EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcbb55290284856de5c7b08bf4bef87bb59226ca","datavalue":{"value":"10.1016/J.TCS.2007.03.048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$EA1FB037-52A7-4314-9E3D-37AD86A53794","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"31adec041d90defffb903ecd70799e46961f23a6","datavalue":{"value":"journals/tcs/DawarK07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373714$693465F4-DE1C-4EA4-905E-B5BF13FC390D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75347401afe531d321f78e9373defdfaab49c659","datavalue":{"value":{"entity-type":"item","numeric-id":4415248,"id":"Q4415248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fe8356820b4e2a020000ac149b835d9595d8ca","datavalue":{"value":{"amount":"+0.999897301197052","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":"Q2373714$16365D94-F238-4CBA-84EC-DA2F8CB85964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d80d577de2b9bdc1fd2a8ef905a2f2d8e3ab44","datavalue":{"value":{"entity-type":"item","numeric-id":3502675,"id":"Q3502675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9a19919be9bad15809b4fdd438b94806c54b17","datavalue":{"value":{"amount":"+0.7261703610420227","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":"Q2373714$479A327E-D5F0-4859-8A6E-9E842BE55106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ccb22baf2eb033a42681f05e77c254bd698622b","datavalue":{"value":{"entity-type":"item","numeric-id":3642525,"id":"Q3642525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bca69d883117c7631759afb883c2045de24c59d","datavalue":{"value":{"amount":"+0.7254979014396667","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":"Q2373714$87B648F7-B1F8-422B-939C-CF654AA83CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196e4944af55129d3f33b119bf2391309c1c338e","datavalue":{"value":{"entity-type":"item","numeric-id":636281,"id":"Q636281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9664a144054dae485b081bcecaa7054db254c92f","datavalue":{"value":{"amount":"+0.7251810431480408","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":"Q2373714$82AF6C7D-9C44-4B8C-9E56-850B2EA16E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36f93fb1c9040a892efd940fe519847d2374bb6","datavalue":{"value":{"amount":"+0.7005849480628967","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":"Q2373714$CE17B71B-417C-4783-9A5D-D575B38DDBD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373714"}}}}}