{"entities":{"Q3113676":{"pageid":3124392,"ns":120,"title":"Item:Q3113676","lastrevid":80193032,"modified":"2026-05-06T15:38:19Z","type":"item","id":"Q3113676","labels":{"en":{"language":"en","value":"Data monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999539"}},"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":"Q3113676$A3E59C1C-40C0-4374-9517-E6B1300E447E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ef83e50b641ae928ca78006245b9e2522e6eaa6","datavalue":{"value":"1230.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113676$4E21D2D2-8687-44C2-88D3-F76677EB1BFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113676$243B7E46-5296-47F2-873E-BD421722FA4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3113676$67D8278A-45D2-43CC-9CA7-248E04ACACD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf64af63cc2c0e14b02aed6df53168b9993fd83e","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_5394.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113676$98FC6455-08B2-4BF4-B1C0-31FAAD2EC2F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113676$E231AC12-E818-4AF9-9BA0-0A3D1C20CB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113676$74C3D43F-81D6-44AA-9AA6-758E725909CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0017030b7b50e8a49e3b5a1af798ba88966f4c6a","datavalue":{"value":"5999539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113676$10C555EF-75A8-4934-B225-621A05993A56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113676$FDA006E4-EC34-4D20-96A1-43956FA5D825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113676$4BA131F9-C863-4888-9CA5-D3C575E9771D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1dbc25d39ef37829782043e83bfb86e4bd92f9","datavalue":{"value":"nominal set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113676$58AC7E85-43BE-4F65-B60E-10A1F3899248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113676$057D6FD3-BF5F-4581-811E-C98AF3657BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a6b2f004a7c33812a62108c1388ccc5df201e4","datavalue":{"value":"Myhill-Nerode equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113676$2C6435DE-EBE1-41EF-95CD-0EE4EED0AE97","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":"Q3113676$9894EBD6-DE94-4A0D-B453-B43A9B09EF70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7d0b5cf2c6a4b50bc79ea1938f3ac612d856ccd","datavalue":{"value":"10.4230/LIPICS.STACS.2011.105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113676$E2663EC5-6513-463B-B996-E6FAC7342A9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18c65ee69e969bc8571bb106b69292f4f89a031","datavalue":{"value":{"entity-type":"item","numeric-id":372971,"id":"Q372971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c5fe7515050ff8045a194daf72230dd70bb68e","datavalue":{"value":{"amount":"+0.955054521560669","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":"Q3113676$FBD04B24-6499-4E33-BECF-7D58BCFD1F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd05fcdb175dde87fa9df4c7979d04676a6bf2a6","datavalue":{"value":{"entity-type":"item","numeric-id":5096900,"id":"Q5096900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c498b389b7ed142e8f5737e3bdfa4e21b2a5c17f","datavalue":{"value":{"amount":"+0.8795671463012695","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":"Q3113676$35DEFEE0-A0DE-4E55-8BD2-8AF1263A0A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111b220a2281efb1b532f549780a5b3d026e60ec","datavalue":{"value":{"entity-type":"item","numeric-id":3196341,"id":"Q3196341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56b5509ea9835ec7e3ceffd3e44764ae7071cf9","datavalue":{"value":{"amount":"+0.7878348231315613","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":"Q3113676$9E0C94CA-D947-442D-B7A7-6546442DEAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e38890368d52f68bc788ef8f10f7db6c5b9e33","datavalue":{"value":{"entity-type":"item","numeric-id":2805453,"id":"Q2805453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fd9984879fbbb86916dc9fe95993ff13a01717","datavalue":{"value":{"amount":"+0.768042266368866","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":"Q3113676$E56F9C8C-97C3-4BC2-BBCE-5AA00977306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af90ed6759bb3a1aecb88dc7afa9f05e3bd79cef","datavalue":{"value":{"entity-type":"item","numeric-id":3088044,"id":"Q3088044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79218c941c4ba201fcd41e5af753dd3a4bd54c1","datavalue":{"value":{"amount":"+0.7638104557991028","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":"Q3113676$3AA9FDB3-867D-4F5C-88E5-3CFE70C0A61B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data monoids","badges":[]}}}}}