{"entities":{"Q782576":{"pageid":784425,"ns":120,"title":"Item:Q782576","lastrevid":57157521,"modified":"2026-03-26T20:19:08Z","type":"item","id":"Q782576","labels":{"en":{"language":"en","value":"Pebble-intervals automata and \\(\\text{FO}^2\\) with two orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225125"}},"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":"Q782576$B22C5157-1E67-45CE-9372-89FD2B491347","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"febb57c701ade653e82bc2a9d6450942aa405b87","datavalue":{"value":{"text":"Pebble-intervals automata and \\(\\text{FO}^2\\) with two orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782576$62A14352-DD5A-4B47-9E83-D71E73ADB5CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a50720df38e1bf30b1a1da826953b9e21ee2dbb","datavalue":{"value":"1437.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782576$9DED394F-2514-4416-900E-E0441A1BDD16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c31d567ed3c1b7bb725cf5fd8389e02c8945168f","datavalue":{"value":"10.1007/978-3-030-40608-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782576$C42E2641-1B09-4447-9642-8D0660AC661A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ee1793bfef27b918e6fb9ee83f5e8b0d9a12b6","datavalue":{"value":{"entity-type":"item","numeric-id":782575,"id":"Q782575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782576$E6B89C8B-D8C9-42A0-A218-8355326C93DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ad5fa45ac6ce8871f5cbcc41158f8d0dc054f82","datavalue":{"value":{"entity-type":"item","numeric-id":456392,"id":"Q456392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782576$4DC49270-597B-404F-9916-D934FF13D719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62277f25be17574188de007f553262d7dc6737c","datavalue":{"value":{"entity-type":"item","numeric-id":414846,"id":"Q414846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782576$FAEB4033-5D7E-4DA0-9DC7-12D675E052A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782576$5BB67997-207C-44FE-AD15-07890EB2C6A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-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":"Q782576$550AFC4D-2890-4EF9-8BAD-2867E8FD419E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45d0c63c10c8eef8094ad1d86d39aaeb31f02638","datavalue":{"value":"https://arxiv.org/abs/1912.00171","type":"string"},"datatype":"url"},"type":"statement","id":"Q782576$344FB0DC-A181-45A3-88DA-9959EAAC6530","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782576$2C52CBB5-95E1-407D-98D6-49B3F8657763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782576$9F6A106D-2417-40F5-B31C-EC15E302F0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782576$CC7E424D-3648-4048-B013-359E635CCC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782576$1DC864D1-175B-478C-8E11-F81521389763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e64b56195e91cfe201112ba025c42c0cfba5f0bf","datavalue":{"value":"7225125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782576$A3E03950-2567-43DB-B11A-3BE7E020CCD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5458b7f190cbbd7426e3a9665ea91ecdb4e80e5","datavalue":{"value":"automata and logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q782576$AA017F19-DC66-4018-9D16-F0BADFF1922A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"287be5c350dc1d0cebf4b9c12971ca71d0fedaa1","datavalue":{"value":"pebble-intervals automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q782576$D13CB7FF-4714-4787-8FFD-F4D29C3014CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31bde7eb68bac7dcbc49e4066abfacc9ecd63389","datavalue":{"value":"emptiness testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q782576$E7042ECD-05CA-4EE1-9101-AA03A42864D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q782576$06B47D18-21B3-4773-8707-8B12E7586772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345322a68f316eeb67f12479d9590fb4579fea96","datavalue":{"value":"two-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q782576$EA1D6907-C634-4334-AC0B-4AABEB524191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q782576$6A0E2667-3FF3-4FB4-8106-48D40899822E","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":"Q782576$E21635CF-6369-4FAE-9B3F-ACDBC33C3321","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7ad7f249d89b3bb68c4cac6e56cc5d62de284e0","datavalue":{"value":"W3008531365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782576$A8E39C2B-D2DA-4C6A-ACB0-AE357765FBAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55eaef5a79c4548262b6e763c5e990be6df1447e","datavalue":{"value":{"entity-type":"item","numeric-id":2958540,"id":"Q2958540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82d4f2aeb2fd525d190f8a4fc3d4a746b9ab3f7","datavalue":{"value":{"amount":"+0.826420783996582","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":"Q782576$8D539596-CD3E-48D0-B5DE-9B2AA1D2B2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389c0ea34ba4bf23842571849fba71019b311171","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bde6c5eb7e8a87e2c3f6adb52f0ff4261bc226","datavalue":{"value":{"amount":"+0.7850448489189148","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":"Q782576$3D99B0EC-80CB-48C4-B81B-79EC95C4A406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309b07b5b416ab2fedfbe8171862759e16a28fc","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079bece6482415a405d6894bab090aacd47240ef","datavalue":{"value":{"amount":"+0.7617418169975281","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":"Q782576$9323BC08-C08A-430F-B6B2-D455E581BA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7c533a0b0b20fcf976f04735308c676a9e5fee","datavalue":{"value":{"entity-type":"item","numeric-id":2890205,"id":"Q2890205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5ebab801bac3625f51011549fb23c7014ab45e","datavalue":{"value":{"amount":"+0.7527062892913818","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":"Q782576$EB95713C-EE87-47F7-B2EE-872D60A06989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd697792be6d1f7b2f8875ed5175a04ec126b6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5891508,"id":"Q5891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d60fdee83b6c8988299aaba9b9df13e573d5b8","datavalue":{"value":{"amount":"+0.7492055296897888","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":"Q782576$DA7BE357-D47A-4570-B0B2-366AE0D806F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:782576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:782576"}}}}}