{"entities":{"Q5089232":{"pageid":7118808,"ns":120,"title":"Item:Q5089232","lastrevid":54366146,"modified":"2026-01-26T17:19:05Z","type":"item","id":"Q5089232","labels":{"en":{"language":"en","value":"Complexity of counting first-order logic for the subword order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559432"}},"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":"Q5089232$2EEFA9A2-BDBE-440C-B8F8-0B5106103636","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089232$A0E6BF1B-9330-4AF4-80ED-DD695BDF0E59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089232$3E45A499-8118-4780-997E-7CABC9A3C00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089232$CECA34AE-0A6F-4B7D-9F7C-D20150810424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089232$347A00A4-0440-4B9C-A333-F68D7C0E6B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddfa28b48bfbfbcae0412edbc9961e58c366f4db","datavalue":{"value":"7559432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089232$4B72DAA0-81EE-457B-8837-945B6F42BE40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4021a5305187ae6dd420a3d222c45ab6b651e2a2","datavalue":{"value":"counting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089232$BFCBB760-2330-4F0A-9F38-BECB25B5147E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a548329a944d0a891707e22cf642a25cd3a9093c","datavalue":{"value":"piecewise testable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089232$B3BBB73D-56C4-4D93-80B1-946169D632B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$8B7AD6E7-8F70-44CC-AFBB-DC419EC6BECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f73851f2f56d6dcfe020e56c43c4c2cc5ac779e7","datavalue":{"value":{"entity-type":"item","numeric-id":2687035,"id":"Q2687035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$2689CDD9-8AC6-4E24-8EE4-EE3589C01E3B","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":"Q5089232$514C9C84-E0DF-4AD5-B2F4-576F62DC030C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$82146A41-AD5D-42C9-A237-55AA825C7B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$FBD86545-741A-457E-99ED-6913B51B7E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f7e382b8d9ba21624462e67ab02e3dfc00b110","datavalue":{"value":{"entity-type":"item","numeric-id":5144688,"id":"Q5144688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$C60DE5E4-579B-44F1-974A-7E013588CD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$19284FF5-CB7B-47B6-8068-E369B581C743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bc55bbebf244b783725be10b3f699ef115994c","datavalue":{"value":{"entity-type":"item","numeric-id":1040653,"id":"Q1040653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$66FD04FE-9440-40D4-8CB9-B44EEEBBF712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268215eabe63c194fce53ee3bac67832ae5f0141","datavalue":{"value":{"entity-type":"item","numeric-id":5278312,"id":"Q5278312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$92BF3802-41B5-4448-B9A1-59B8E9DFAB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a233fcab6dc667be55156cf2e7462450b6086506","datavalue":{"value":{"entity-type":"item","numeric-id":5376657,"id":"Q5376657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$BB3A3216-7718-4695-BA5B-92C53D371FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b090b75bb740d28a9257ba1f9fced66ed8f6f2","datavalue":{"value":{"entity-type":"item","numeric-id":5441125,"id":"Q5441125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$C6E3DACC-A7A1-4174-96BA-3082D8493EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aad2097292bfd22ad07898ec6479efa2aaca651","datavalue":{"value":{"entity-type":"item","numeric-id":3576212,"id":"Q3576212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$ED10E0B0-F697-424E-AD6E-252923CD81E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5110c01fe042ee7e7eb31c0c0395da6bdfb08989","datavalue":{"value":{"entity-type":"item","numeric-id":1023296,"id":"Q1023296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$A65D2A04-6856-4F0D-BDB4-C4EC66A6C154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b68b3f473db8eb4c3717e731517df0a941c3","datavalue":{"value":{"entity-type":"item","numeric-id":3374756,"id":"Q3374756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$07ACEE8A-1568-4719-B263-6DFAE4CBACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ea570de5b6c76801ba0688e68d42f331f48b56","datavalue":{"value":{"entity-type":"item","numeric-id":5042249,"id":"Q5042249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$85C8080C-B937-4395-9C51-142A0659CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f51663ccd600014e842d4cbd05dbb5d9909d7c5","datavalue":{"value":{"entity-type":"item","numeric-id":2289086,"id":"Q2289086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$8E434A0D-29FB-4587-863C-65520C63D8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$8F23657F-4484-4B00-8986-9D81ED6B2897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585f2cff4db3193cdc154aea0d2d81786b18e9b6","datavalue":{"value":{"entity-type":"item","numeric-id":4608630,"id":"Q4608630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$4847B9DC-20C1-4E05-A006-5264766F42D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74698ec222f0808c48218815bf33b538c2f7b6","datavalue":{"value":{"entity-type":"item","numeric-id":2358689,"id":"Q2358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$E7BA74C7-A51C-4EF1-A7EB-8EEAF128AA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$50504BEC-A528-4E99-8DA9-1350B1F5C485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9336c42261fc060f748e514f2a4cb3e585b99f07","datavalue":{"value":{"entity-type":"item","numeric-id":5224502,"id":"Q5224502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$93EC2C67-3428-4808-AD40-1AF92ACC5588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042e37c916bdd454c20a5cc8fafc122e3459ab57","datavalue":{"value":{"entity-type":"item","numeric-id":4683860,"id":"Q4683860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089232$C36F6F34-BE5E-4978-BD95-9549121A8596","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f22d3b57d6a1c65ef4e34df1be3a24482c0b28a","datavalue":{"value":"10.4230/LIPICS.MFCS.2020.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089232$CCDA70D4-CAB7-4379-8518-9BC35AA2023B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425c06486b5f5dab3687780cdd68f8d613f4fdb7","datavalue":{"value":{"entity-type":"item","numeric-id":2687036,"id":"Q2687036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c788d7a8f564ddb36f5035382d7fd0a3d0acbd","datavalue":{"value":{"amount":"+0.9629811644554138","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":"Q5089232$94D1B2F3-E4CA-4131-8BF7-A023212F5817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50685542b2a989ed71feee7e1077a2c877f97ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5144688,"id":"Q5144688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e73c4c86014368db5df0f7b74b90e7b628b8fc","datavalue":{"value":{"amount":"+0.8462180495262146","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":"Q5089232$7EBBFB8D-1AD3-412E-8BE1-EB72B282E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a6e5ae7e1a3749aa91a31f2106bb06bc0444c4","datavalue":{"value":{"entity-type":"item","numeric-id":5042249,"id":"Q5042249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36bee833c1c2e2e06b8b7e77cda0297d91d85f3","datavalue":{"value":{"amount":"+0.8246989250183105","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":"Q5089232$62E4817F-0D3A-449B-AA77-443A0F8AFEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76349f61a752a06066d95936fea3793634d23e95","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1be5f0b60f8513ec7c3c4398bccffebdae94ab","datavalue":{"value":{"amount":"+0.801814615726471","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":"Q5089232$22857A37-70C0-490E-9470-B22282975715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451e7ddb21b67f4dc5600033d1e3786427e84ffa","datavalue":{"value":{"entity-type":"item","numeric-id":5376657,"id":"Q5376657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bcc99319cd3b2b803ba3c76827d8e870f28b98","datavalue":{"value":{"amount":"+0.7896547317504883","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":"Q5089232$A0449EEC-F816-4102-952D-E8C5BF73AE29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089232"}}}}}