{"entities":{"Q6666789":{"pageid":14277946,"ns":120,"title":"Item:Q6666789","lastrevid":40623567,"modified":"2025-03-12T21:41:48Z","type":"item","id":"Q6666789","labels":{"en":{"language":"en","value":"Non-emptiness test for automata over words indexed by the reals and rationals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7970850"}},"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":"Q6666789$2B3F85E1-9651-4DD1-AF4E-ED06434D632F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"addc629bbe398260ce38a1ce0cf9124f8766a50d","datavalue":{"value":{"text":"Non-emptiness test for automata over words indexed by the reals and rationals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6666789$AD6C1597-C682-446E-BAEE-A82044270111","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d2e66b055e3b5d956123d0eb20b646dfb073b29","datavalue":{"value":"10.1007/978-3-031-71112-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666789$EB2A64AA-8A1F-4CD9-B041-B048DDC8CDD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa0bbc60cbf0355cddd545775bf106af185734a","datavalue":{"value":{"entity-type":"item","numeric-id":1014640,"id":"Q1014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$C3EAEC3D-3912-4D89-819A-E7C15BD0D921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d182828bb3dd01cff9766a0bb3efe1eeb4424b","datavalue":{"value":{"entity-type":"item","numeric-id":436375,"id":"Q436375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$DE481703-F78F-46DC-BB2B-70D3102471D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac2f6f6c3b6917d4a48dc76c8298cfe03f0a586","datavalue":{"value":{"entity-type":"item","numeric-id":6199865,"id":"Q6199865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$0BD21E79-80B7-452C-8D35-17DD3E935433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2f555dad8e2a90cb8af80db4e917a36a03ca60","datavalue":{"value":{"time":"+2025-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6666789$466D1F5C-28BC-4D58-8A84-58DD0EF0AF7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666789$1E9AA0BA-F5A0-431D-9E8E-E4057F794270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2f0edb147df9bc21c94e25362c61ae4a2482a8","datavalue":{"value":"7970850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666789$FB4F32A1-5CE5-4C0B-B02E-64FEE463413A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666789$E70CF721-5C5C-4D1A-8029-56714BDAED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee4d3b893c84524f731854a992aef708a35a810","datavalue":{"value":"linear orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666789$20736F7A-3204-43B9-9AE3-B0C062E51A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd54bc5afacc6654fd05775aaceab7234de79a45","datavalue":{"value":"real domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666789$8A154F0F-597F-4BEC-9F80-5F1AFF6F5945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fc5a598984a1d6cfa168992677a5a572da9f7a","datavalue":{"value":"rational domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666789$C218AD6B-7120-42C0-876A-958CF08E407F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c2a5f78e5679c20aa43d879aee8656c4e70319","datavalue":{"value":"emptiness test","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666789$C8DDF07C-7D54-4497-82F1-E08218D39A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666789$9718FFE6-C078-4A47-BF7F-1C76F25C9B73","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":"Q6666789$8A3599E8-9F5C-406A-A90C-BCA7E7D1BFCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99e898aad942ec706d3c9ad60756c89dffe6dd7","datavalue":{"value":{"entity-type":"item","numeric-id":987379,"id":"Q987379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$C6CF0291-50B7-419C-A4E5-820920FE1626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65dce1cc0fb1655830ac19d9d4c2ac69ac78346","datavalue":{"value":{"entity-type":"item","numeric-id":5483372,"id":"Q5483372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$252925DC-202F-4F2E-8DDE-E0E3A761AF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91652d8eef5d489c9024016b6ec6e5dd271f06e","datavalue":{"value":{"entity-type":"item","numeric-id":859978,"id":"Q859978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$660DC905-1276-4EC6-9BF8-48ECE20F4590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$C4A635E2-9A7F-4D0A-AED8-565337B2791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7dc0a8249e23ac4cd75141f1fdd6f892ebc187c","datavalue":{"value":{"entity-type":"item","numeric-id":5608007,"id":"Q5608007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$7934E6A5-1E8F-4A93-ADC5-C12478B1DD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$FB6E2FC8-296D-4278-9A39-B1B476BE2895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86aa642bcc42dd8430e81a1ee92a6c474a818647","datavalue":{"value":{"entity-type":"item","numeric-id":5914505,"id":"Q5914505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$13F7731A-CF04-46B7-8AB1-B72C7B78D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8215fc18e0d24704fdcaed4198989ed349bf85","datavalue":{"value":{"entity-type":"item","numeric-id":1524498,"id":"Q1524498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$FC2396AD-6713-4CCA-A66F-A57A69C888B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f900ab10b6ddf4c0591293a95be53d710a105794","datavalue":{"value":{"entity-type":"item","numeric-id":4708566,"id":"Q4708566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$0F7E1AA0-D7BB-4C35-8C18-8D5497CBBC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019a571ab77d1829b975aa744577b64d1798897a","datavalue":{"value":{"entity-type":"item","numeric-id":1249573,"id":"Q1249573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$634E524D-DAC2-4F50-9B1E-28CD638F78BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9a5933e8762462281d7990349e4ceaa268530c","datavalue":{"value":{"entity-type":"item","numeric-id":2920121,"id":"Q2920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$700798FD-2B52-4BD8-83B6-0912BA505EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cc8abe3b8d01aa61fee3e4bbc01f7344619a03","datavalue":{"value":{"entity-type":"item","numeric-id":4539336,"id":"Q4539336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$9EC4D4E5-2348-4264-9620-B1302E9E8AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54f7383e1361db9b7d8d635e3974eec1f15734d","datavalue":{"value":{"entity-type":"item","numeric-id":5536269,"id":"Q5536269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$0256B7C4-35C0-499E-ACE5-91B3E446F463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$CF8F8B85-4A10-45FA-B6BD-87408F5E29D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d31b2b81f84baefef1475614ad07a8ff0a71aa8","datavalue":{"value":{"entity-type":"item","numeric-id":418122,"id":"Q418122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$A7C98430-79A1-4D30-8CB7-10A497771F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$B2143DBE-CD0E-49F8-9BC0-A6486272FDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666789$3A8598D0-7367-4F95-9652-5DEF33696281","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6666789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6666789"}}}}}