{"entities":{"Q6857633":{"pageid":20642437,"ns":120,"title":"Item:Q6857633","lastrevid":84257066,"modified":"2026-05-14T07:07:49Z","type":"item","id":"Q6857633","labels":{"en":{"language":"en","value":"Universal first-order quantification over automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8160101"}},"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":"Q6857633$E769DE22-6BD0-4E63-82A5-99EEFC609B3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"270b0246aac2c0e76cd083950424bfe1b0bf6cd0","datavalue":{"value":{"text":"Universal first-order quantification over automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6857633$9A5DD357-2C85-4BD0-8D3F-436595FF7124","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a21f7205f3b2a02454c1d6b69f06ad71394d6497","datavalue":{"value":"10.1142/S0129054125410011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6857633$AC52482B-B860-40BE-8605-48E69C782D04","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":"Q6857633$8EE6850D-573D-489E-A49E-798EC85939C0","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":"Q6857633$D0B5F449-67B0-4567-8E5A-F18D6762F6DA","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":"Q6857633$70F4250C-EA51-4050-A0F5-CA8119B8F0E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$57B9AD38-EB0A-4E25-9B64-3227CF27A84D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ab553dd1bd28476a7d9aa3fd9ecf1a261e578e9","datavalue":{"value":{"time":"+2026-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6857633$EE154DA3-CC16-408C-BFA1-1BC5CF333A83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6857633$14F2FD5F-9F89-42A7-A0E3-67CA3D212A78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3e57ee5898e6eef7147b9a3fb288bf73531fe8e","datavalue":{"value":"8160101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6857633$47020FA5-EB88-4203-BE6A-C704F6FC8081","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867a9f7df72f010d6b188d013cb791b03f019498","datavalue":{"value":"infinite-word automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857633$A645ABEE-CB8B-45F0-BB74-8091B4E97827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857633$F3D5206C-8AA7-4049-8BE8-708F0254A709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857633$EF713B42-9E3C-4600-9F7E-EFD6D9170A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857633$D3503259-ED4D-4E11-BF68-3C7780C7CBDD","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":"Q6857633$F7C4864E-489A-4677-97B1-0389FB543594","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d834a389003ecc77505262cf4f826a02d298a4","datavalue":{"value":{"entity-type":"item","numeric-id":6199866,"id":"Q6199866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$039D6EC3-88F8-4663-85B4-A40E1C284021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53dc06005109d2fd12fa28c8abe27376ad494b20","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$A84FB8C3-26FB-453E-AF67-F90138100572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04223f60d1f018a36ffbd2f789886c28411b34","datavalue":{"value":{"entity-type":"item","numeric-id":1426156,"id":"Q1426156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$61C27F81-3502-4294-8E28-760EDC87F0EC","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":"Q6857633$F634A5CB-034F-4EAF-8C9D-1991316C719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$1153178B-6156-467D-BDDC-703E8D0DBC1E","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":"Q6857633$F104BEAF-6521-4587-900C-5B3D064219F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257a1d2953e29e353acc85e75297d9fc4987bd53","datavalue":{"value":{"entity-type":"item","numeric-id":5890066,"id":"Q5890066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$E014DAA4-34A8-4C46-ACD6-D1F7BA182DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$2BC93DC0-A957-41ED-BAAB-DC8197038D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69726574968741404781ab1dd6b86acc8887068d","datavalue":{"value":{"entity-type":"item","numeric-id":4218939,"id":"Q4218939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$B4116A76-EC6B-4B41-BB3C-5553E00D14CC","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":"Q6857633$E4A66E49-585F-4A11-BEF3-B6402B985CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$B57CC831-C843-450E-A9BF-D0459ADC410F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910d2e5098082cbc498d9a1985adb9c9e51ad277","datavalue":{"value":{"entity-type":"item","numeric-id":2575759,"id":"Q2575759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$9EA5BD7E-FCC5-466C-876B-FBC493AC252C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69cdcec3f83be688f15b6a5cbe10f3a870c3c","datavalue":{"value":{"entity-type":"item","numeric-id":365661,"id":"Q365661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$9CD3B231-08E0-4D52-8FDD-B73CF2F525D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$96BC3E13-8B16-4195-B3F7-0372F55199ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b59045408bdef02af3f5d84bef8023536de082","datavalue":{"value":{"entity-type":"item","numeric-id":3590920,"id":"Q3590920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857633$8A136FA0-1293-4875-9A95-1B142D3E4E1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal first-order quantification over automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_first-order_quantification_over_automata"}}}}}