{"entities":{"Q2322984":{"pageid":2333727,"ns":120,"title":"Item:Q2322984","lastrevid":56665413,"modified":"2026-03-18T13:37:05Z","type":"item","id":"Q2322984","labels":{"en":{"language":"en","value":"First-order definability of transition structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7099908"}},"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":"Q2322984$0442C38B-0F30-4151-A1D4-AB86F9FFEEE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73e6aacb355cabaf97f16c85c073ce6d730900f1","datavalue":{"value":{"text":"First-order definability of transition structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2322984$78761DE6-EA94-4E06-BF10-F6E22B7C8A9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89cd5b072b848741fad023112bf2d39df01e0b48","datavalue":{"value":{"entity-type":"item","numeric-id":302230,"id":"Q302230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$29698C1C-A5C8-42EC-9624-5E4AE35C5808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$15CA9918-F55D-4373-B357-19EF1E784AA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$0C694720-0F8C-467D-A28E-4DBE5C6A3ABB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"420048f440b3666e5a524a105e1a9e47ea22c546","datavalue":{"value":{"time":"+2019-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2322984$D773D24F-A8C5-44BA-95E7-32E40C6E30A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322984$33CD252A-3155-43F0-9A19-CFDA39B1EE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322984$532A777A-732D-4578-B6BF-26DBD821A434","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0707d645fe7918a4f2c64010e7c934d74da32eee","datavalue":{"value":"7099908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322984$607B27F4-0E53-418F-B2CE-B22E2796B286","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322984$E88B34AC-E28B-4827-B779-CA807337A21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57086ae8df87c5408d91582da2919166187d8747","datavalue":{"value":"transition semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322984$3520D872-0CE1-4B3D-8AA3-12A7F777244F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7deaa07bfd7e3ab586c00fd2d6e546e24638f1fb","datavalue":{"value":"index structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322984$CBFCD423-9ED9-4A08-AE87-88EA6AD6AE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322984$3EDBD008-D504-4929-8344-F5C6BDA17D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322984$882D5564-EF86-4D23-B572-5762BC5AB6CE","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":"Q2322984$D60D4F62-C21A-4EA1-8ED7-AEDE12F217DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aad8373f504f64fd8b7aad83d7eb5f2310b2da37","datavalue":{"value":"https://doi.org/10.1007/s10849-018-9276-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2322984$992D3432-B781-4EF4-90B8-63B4E7E0146E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9021dafdf358e6d658fec4372c5dd0c4fbd32803","datavalue":{"value":"W2904006851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322984$1C57BFF5-D0E3-4FCF-8754-5DB649DC4CC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba806cb9e7d26d652ecc59d1250c83862b47083d","datavalue":{"value":{"entity-type":"item","numeric-id":3874178,"id":"Q3874178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$76D08BFB-9902-4C2E-AEC2-D5005BF3CEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ce5aa56258788dfb3777204e4d711600da6de7","datavalue":{"value":{"entity-type":"item","numeric-id":3856738,"id":"Q3856738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$55B24AA8-F503-406F-9864-79BA6435209C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$613A4533-130A-4046-A048-DC7136C24E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$D6934D8E-FD69-409C-A33F-10B56B55B950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892cd8c8a85cb9d6724b48bbea3e1483e3c424ee","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$F116E6A9-C82A-47F5-88DE-13201137E50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$92C0F66E-07F5-4F7F-8EE2-4851631D16EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$36F2C6C1-61AC-4208-9D2E-4C91A195B37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edade558002bdb828aa990a94027d1bb2a314bb","datavalue":{"value":{"entity-type":"item","numeric-id":5894818,"id":"Q5894818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$13CF8236-3EDF-4D0E-A921-303FE4906F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244d66c3bdbcf8293a5fa1db646e96a7d5e3116e","datavalue":{"value":{"entity-type":"item","numeric-id":302231,"id":"Q302231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$70F2AA60-7C04-4302-BC04-65F307190091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b69c529aa4cdc161a262c7206b047f9e8638ab","datavalue":{"value":{"entity-type":"item","numeric-id":5686018,"id":"Q5686018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$B37C39F1-1596-4DCE-949E-7612168E81F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7edf42a8ddf61d979626cf928b9a874a18f5a5a0","datavalue":{"value":{"entity-type":"item","numeric-id":4238498,"id":"Q4238498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$F37576C6-E65A-4979-8F2F-9F8014C350C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625a8b175c798b9b816252c4eb7b84249a3d851","datavalue":{"value":{"entity-type":"item","numeric-id":1066884,"id":"Q1066884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$D17D5CCF-C512-4834-8C7C-8BB285D8320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dacf2a49aa233bd18fa72ccdf01e05d3821499","datavalue":{"value":{"entity-type":"item","numeric-id":2276944,"id":"Q2276944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$1BD04E14-F39B-4540-B3B3-7F9AA24DA4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4537b0757ba21c738936714d08bad554bee31","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$81CC3D6A-39BC-42BB-9EC1-12F351E488C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8a8c243d5fc51a9c3a5347a4344e292e94d419","datavalue":{"value":{"entity-type":"item","numeric-id":857669,"id":"Q857669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$E4973785-D073-49F7-83F9-7199131571AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f899256ce73766393ee6d971043782052ebfba","datavalue":{"value":{"entity-type":"item","numeric-id":2500778,"id":"Q2500778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$ECCDF35C-B0A7-4A15-924E-02A741925CC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1bc778d1eb6711b86e672fb393560518a72f46b","datavalue":{"value":"10.1007/S10849-018-9276-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322984$A142FAF4-A59F-4ED3-BA63-7C9344E8AF7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4173198d3c9b3be548ec242188f2e17f77b2b097","datavalue":{"value":{"entity-type":"item","numeric-id":3442402,"id":"Q3442402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff715f91688b3490d868b655ed6f0f1d8460bb8","datavalue":{"value":{"amount":"+0.7339852452278137","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":"Q2322984$D255A08D-050A-4DE8-867E-293829682108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9bf8ba953bf10aed5053ffca784e009cb6cdef","datavalue":{"value":{"entity-type":"item","numeric-id":302231,"id":"Q302231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6e8fb98a66145ea84a470bcf922fa1c175984c","datavalue":{"value":{"amount":"+0.7173431515693665","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":"Q2322984$1F3D4DF1-0B21-4208-90BB-F18E3B233227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bcede28f3de2392fef72fd70708ba205a6e44fd","datavalue":{"value":{"entity-type":"item","numeric-id":4244302,"id":"Q4244302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3f54657bcbbaff07790d056d8bf8445a7776d2","datavalue":{"value":{"amount":"+0.710218608379364","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":"Q2322984$0E53C79D-0113-4346-ACD6-DC27EA9C0BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d516365ad3d2c93845becc1ef3955718e52ba42","datavalue":{"value":{"entity-type":"item","numeric-id":4316304,"id":"Q4316304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd27f602ca7d4e22bc0369d95b60e65d8af478f9","datavalue":{"value":{"amount":"+0.7032077312469482","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":"Q2322984$937936B8-A00A-4510-8BDE-BEBFBB1078DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bed80202705ad0f26e21085c20d24617df91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1895974,"id":"Q1895974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af34f3d7f4aa12e97c15c867a076fc204fba6d92","datavalue":{"value":{"amount":"+0.6996568441390991","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":"Q2322984$3839B804-F00F-43EB-9A4A-0A9097DA4EFB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322984$F797F105-AF75-4A96-BB52-FC58C680F999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2322984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2322984"}}}}}