{"entities":{"Q4907854":{"pageid":6937433,"ns":120,"title":"Item:Q4907854","lastrevid":51657263,"modified":"2026-01-19T07:22:09Z","type":"item","id":"Q4907854","labels":{"en":{"language":"en","value":"Finite-state automata on infinite inputs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138794"}},"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":"Q4907854$573B77ED-7BFD-47B6-A461-301E44991873","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"054ef8747918b7d3752a4b38bba93dc6f482c347","datavalue":{"value":{"text":"Finite-State Automata on Infinite Inputs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907854$38B69EA8-854F-42F5-BF2D-67685A0E1D09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9356daaf6c1fce2bcd7697c3c1dd6a57a1122dee","datavalue":{"value":"1256.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907854$F953B5CD-FE8A-464E-88CF-0441FFBA65E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6488c13eba186687e75a9d1504f4a67868eb97d6","datavalue":{"value":"10.1142/9789814271059_0002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907854$6049FAA8-0B32-4DFB-9338-D6F95DE2813A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907854$74964D0D-D147-49E7-9ECE-17A50F9BAC88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907854$C1E4A525-EED2-41BF-9176-4CEE5486D707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907854$248C9DAA-30B6-487A-A131-D98DF0C0345D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907854$63A2F0DA-B960-4ACE-BE90-4821BFACADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907854$3366CA20-01A6-4306-B8E0-0EACF612E7B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"050e780b3018cf7f082a3b86224f6661c1d7cc97","datavalue":{"value":"6138794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907854$987E5CBB-0CA7-4C2D-89F0-A214F64C97E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907854$4D7C2CF9-24D6-4EF8-9582-C08799D3DF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e347fcb9acce49fa2fd046a86cf2e5ba4105d77","datavalue":{"value":"infinite inputs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907854$B722C828-9899-4543-A2D2-A16EF22D42BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907854$B886AB7C-66DC-40B1-B761-06F5C48AA2D9","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":"Q4907854$FC4DDD6E-EEBE-41EA-AEBB-5F80309E812C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"931690f864e32b2d0d94934a2f82c5bd4e2ddc46","datavalue":{"value":"https://doi.org/10.1142/9789814271059_0002","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907854$08A9AD41-9211-42DF-B3D3-7B84018277D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d3d8d748855b6a993873648a598ecd169090bc8","datavalue":{"value":"W187068044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907854$AB3E3D0A-D067-4994-ABC6-A6E2F8E2FC56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c1f4de26776cf53160e78a4694d545b93c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":3176362,"id":"Q3176362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7638c912798262fe070e31a819fb38bced69ac64","datavalue":{"value":{"amount":"+0.8519772887229919","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":"Q4907854$C153846A-5F74-48CC-9108-5B0974E762D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f7502f841bdbe78c0f33cf9182a633de0bb19f","datavalue":{"value":{"entity-type":"item","numeric-id":3741086,"id":"Q3741086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841c714af981a9402da0c631302f05994f29d250","datavalue":{"value":{"amount":"+0.8061785101890564","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":"Q4907854$7FB5FB2C-60DD-46F6-AAAF-5254DDEA069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc2ae1a90f450fa5d86d225cb8b555e53270f27","datavalue":{"value":{"entity-type":"item","numeric-id":3738559,"id":"Q3738559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3e460cb9b7bdccef370c34d2aed1333cb75670","datavalue":{"value":{"amount":"+0.7966362833976746","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":"Q4907854$894AC2E5-01E4-4E52-8EBE-99FCF4E8F1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b14c7e30dd7496f385f0155a538d37404997be","datavalue":{"value":{"entity-type":"item","numeric-id":4907869,"id":"Q4907869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e690549d60cc73cfed39f0fa23e141acc0ad4f7a","datavalue":{"value":{"amount":"+0.7934969067573547","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":"Q4907854$50CB9C03-B054-4E40-B0EA-21AD17D0958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09ca7eb3ff9471161d06cf49920d2e68968b733","datavalue":{"value":{"entity-type":"item","numeric-id":4907868,"id":"Q4907868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecb92d05eb68456565ca6968813501dbdaf3a15","datavalue":{"value":{"amount":"+0.7855051159858704","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":"Q4907854$EAF4D324-5B4D-4E5F-9C9E-4C41EE0046D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4907854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4907854"}}}}}