{"entities":{"Q4916987":{"pageid":6946568,"ns":120,"title":"Item:Q4916987","lastrevid":91620284,"modified":"2026-06-04T23:38:27Z","type":"item","id":"Q4916987","labels":{"en":{"language":"en","value":"A study of state machines through a functor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158498"}},"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":"Q4916987$8A4269B5-9DE4-45DA-A8E8-5A35D7F14E1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"686ff0de753100ed76590b200a7318bcd95a5255","datavalue":{"value":"1277.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916987$ADC3EACA-3508-4E93-B0BF-E32D0D4BC5F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f6354aaa9134b4e13c9f3abc62c72bbae5212e","datavalue":{"value":{"entity-type":"item","numeric-id":2902328,"id":"Q2902328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916987$8FE4060C-CA3C-4101-9ACD-B10DE1BCC0A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-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":"Q4916987$CBF7B132-BB11-4EDE-BC41-D62ED64ACB99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916987$614A128A-3097-44F0-B276-D894E16FF0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3821f97df53b63a53aacaa0e346f91fbb74ca5d7","datavalue":{"value":"18F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916987$7701A242-268C-43D8-910C-DDC8030C1E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916987$6283B8DE-5045-4CBC-A4B6-3C91DBC3C084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cbc958e70d4b138cbcedf52aa53c3e800b5baa1","datavalue":{"value":"6158498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916987$32E523FF-A4E8-46A8-B511-29A00FC1B782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85edcf17e90ba36e5dc32e1b4a75c9d75b0428da","datavalue":{"value":"transition semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916987$56792949-A925-4E03-8CDC-2FD9148BB68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6712a0af131ed24ef42afc56ba247ee62e6bfbbf","datavalue":{"value":"functorial property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916987$6CD05488-EC17-47CE-A048-BE98521E51B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916987$8937E8D4-080D-41EF-B035-D2BFDDB7F8E0","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":"Q4916987$7D7563DF-A080-4A31-B1C9-9C879A1F84F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024aa6b976cb55e8f37dc944ec36186bd30c0b88","datavalue":{"value":{"entity-type":"item","numeric-id":4814188,"id":"Q4814188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbd55d806de4a4d4c11e9b9b2b548107f0a0b68","datavalue":{"value":{"amount":"+0.7365551590919495","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":"Q4916987$4FEF7170-B0E5-41FA-B536-49AFA7B1DABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7842508a5d0abaefef64783f777754e8940d3fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5456362,"id":"Q5456362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da0414be03a6288a1496ff64cf59eaa6ac899f6","datavalue":{"value":{"amount":"+0.7172402143478394","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":"Q4916987$26B0A569-79F4-46D5-B897-B2074F863F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ca2c6339c38795855a45976d8f673e44eecc35","datavalue":{"value":{"entity-type":"item","numeric-id":508741,"id":"Q508741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28dc8b41d01b3dd8332d2a10d0a25db784fd7bd","datavalue":{"value":{"amount":"+0.7119078040122986","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":"Q4916987$1F4FD9D9-986D-4811-889A-DCD507B233BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00735a1870758c39e7b1c3f9602a68550b1d0bd4","datavalue":{"value":{"entity-type":"item","numeric-id":1058492,"id":"Q1058492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7a0b0aae93f5210b90e62082bf5288f0470b20","datavalue":{"value":{"amount":"+0.7102101445198059","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":"Q4916987$B1B5A2CC-975A-4F18-9BA5-F57D06D1A34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"861fd4396f32dbd460b58c5bccc331f966d883db","datavalue":{"value":{"entity-type":"item","numeric-id":5463970,"id":"Q5463970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debba19e076b0ae5655939ddd29ed0049a71ae59","datavalue":{"value":{"amount":"+0.7017407417297363","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":"Q4916987$774390F9-8FFC-4911-804A-420EB568057B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A study of state machines through a functor","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_study_of_state_machines_through_a_functor"}}}}}