{"entities":{"Q5166624":{"pageid":7196196,"ns":120,"title":"Item:Q5166624","lastrevid":52026890,"modified":"2026-01-20T19:07:24Z","type":"item","id":"Q5166624","labels":{"en":{"language":"en","value":"Simulating finite Eilenberg machines with a reactive engine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309387"}},"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":"Q5166624$8A25872D-E320-48B2-A419-0A181FC84C84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33d0adba996218ac04b805d244ac9c00f66d3775","datavalue":{"value":{"text":"Simulating Finite Eilenberg Machines with a Reactive Engine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166624$11F2B89D-D227-40DE-94D6-D38F24F5AAC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7ce71ae5f07ae7cf927a82033f7d48a0f6a6203","datavalue":{"value":"1291.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166624$AA0A5F69-B079-4740-8A12-0326BDEBB374","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb676555623649cd79f1ba045f343c4b6ee8d6b7","datavalue":{"value":{"entity-type":"item","numeric-id":2908868,"id":"Q2908868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$AAED137D-DB72-429A-B318-E0EA81185CEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$1F471F41-2B52-4223-9D35-99F4D99F67B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-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":"Q5166624$B6E91705-D557-46B5-AFEA-3ACB0685170E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166624$5CA66BDD-18E6-47FA-B41C-D84358E3B79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166624$9A699FFC-FD38-4519-ACC3-FC1808FB2EC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56da4776951d8639756490f9f02e51254c5dde09","datavalue":{"value":"6309387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166624$E3307C81-74CC-4D0C-972E-8DB08FB8086E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166624$20CF3C73-84FB-47A7-BC14-4A3B534836D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91decdae8428c6f648c93d7e3ff7f31e6cea3d2b","datavalue":{"value":"Eilenberg machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166624$9758191E-F903-4D99-8A67-713E0E20C631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166624$C423A63C-1DCA-4F8D-AD26-19981D32E0C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$402089F0-0C82-45FF-AC28-F78463EC8DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$49F3907A-4F44-43F0-8FC5-A4AD825D6BE7","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":"Q5166624$AD09A1DC-CFE5-4888-8779-4DECA43746C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18001201fe6a3f0da2efcd5a1360bcbee8822cdd","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.02.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166624$7AAF4856-0E94-4407-B5C8-5B0FA8DB72F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"334bd357416c2388a6b5548095195df7f47e79f2","datavalue":{"value":"W2076881600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166624$01CD6EB2-AB3F-4DEF-835A-92540E02C3B4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2e15d20db1c5558dfc72b601a09a27af2899ba0e","datavalue":{"value":"Q113318281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166624$32B2E06D-0AC9-4480-9E2E-0A0CEFCA56FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$6F40B7F3-B6C5-465D-965C-9F86F45CA484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$6436DCF3-0028-4E0B-B3B9-804BCEAD6309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$37968C8C-DE23-4672-BCA0-A87EB3DC2317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b15dea35f6beb275cdf50805b6332c05a3e4854a","datavalue":{"value":{"entity-type":"item","numeric-id":3367667,"id":"Q3367667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$F6924B66-4051-4C95-AB42-90FB0F4871A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d4b8cbac32b30d14908953ebbe6b988d562bf2","datavalue":{"value":{"entity-type":"item","numeric-id":5757939,"id":"Q5757939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$A7E9F701-5891-405F-9460-8FA0C4F93A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca806030c88d98a5332451edb28c88c1caf23ac","datavalue":{"value":{"entity-type":"item","numeric-id":3602819,"id":"Q3602819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$15D05834-FE71-43F4-8D6E-E9A3E538C29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba8bd57f8794d317056b114a38bf751913f81c7","datavalue":{"value":{"entity-type":"item","numeric-id":3612448,"id":"Q3612448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166624$206723D1-E4A3-414E-BC99-A78DA443AE6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e44ef47999e4c3f3769a44a434483f372e4e2f67","datavalue":{"value":"10.1016/J.ENTCS.2011.02.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166624$66BA2C60-052A-4A88-A2F4-45B76EA47359","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67ff6c085c756cf6771ae9cb4246dc88252043a","datavalue":{"value":{"entity-type":"item","numeric-id":3602819,"id":"Q3602819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127b2c375ee0e4b8e2da8194fdadbea01e7d97da","datavalue":{"value":{"amount":"+0.8529478311538696","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":"Q5166624$E3ECEB4F-8EF5-4209-B864-1B59440A297A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588ac61643b7de1d9e2a9c4c210b0bc3d438becb","datavalue":{"value":{"entity-type":"item","numeric-id":5269008,"id":"Q5269008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12971e6536909f3af3f0157d8dbd9aaa7045459","datavalue":{"value":{"amount":"+0.7373830676078796","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":"Q5166624$D3154EEE-0DB1-4A68-B6BB-2217DCE1AD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038d284f7f513b61d7fcad54728bad5301d4393a","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10041cbf9f443086b38c940c1ab7d0e8331e12a","datavalue":{"value":{"amount":"+0.6780473589897156","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":"Q5166624$3E523DB4-9F9F-44CA-84A8-BD18BDE0E1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10dfb5ff1d5a68eefe35517133901cc759ad757","datavalue":{"value":{"entity-type":"item","numeric-id":5757939,"id":"Q5757939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a62c0dee23ba99ab2b6d9c8284ea06733be2fd","datavalue":{"value":{"amount":"+0.675694465637207","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":"Q5166624$C0B69B93-2582-40A4-BB2E-EA63B9A444EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cfc9baf4bf6693de7c50f02a5cc4c4483e419b","datavalue":{"value":{"entity-type":"item","numeric-id":386032,"id":"Q386032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f04c75d613a4f73139c9ee96b3cc954de6643df","datavalue":{"value":{"amount":"+0.6703290939331055","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":"Q5166624$D50B380F-CF71-4D64-8676-B5415BE59B94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166624"}}}}}