{"entities":{"Q2937778":{"pageid":2948498,"ns":120,"title":"Item:Q2937778","lastrevid":52170158,"modified":"2026-01-21T02:18:48Z","type":"item","id":"Q2937778","labels":{"en":{"language":"en","value":"Brzozowski's and up-to algorithms for must testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385638"}},"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":"Q2937778$1315AC4F-8CD2-4B36-829B-6EFBB9F021EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e31960d92408dc3078bd3ca508b509828850e70c","datavalue":{"value":{"text":"Brzozowski\u2019s and Up-To Algorithms for Must Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937778$452F09D8-8955-4E82-B2FC-A9A670120B06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ddbe29bac1fa34cb30dd1cecb3ccd2c7cd35855","datavalue":{"value":"1426.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937778$BF45ED54-809F-4A88-B19F-879DC1DF52EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"064b84413041b83dd0c4f258adfa95def4b82bf9","datavalue":{"value":"10.1007/978-3-319-03542-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937778$EF805283-C74E-4D6D-9C23-7CB5E2000946","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937778$D7D3BE11-4D9A-4E68-8483-A815EE29A9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb6c682ea1d2955b0fc3bf41511e38774bc37602","datavalue":{"value":{"entity-type":"item","numeric-id":2043808,"id":"Q2043808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937778$F5A4F86C-3A06-4455-9ACC-92BBDD741124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937778$993D8485-2456-4333-A995-7D41346EC7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937778$6207E289-8B79-45FD-B9FF-DC89FF7C0334","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937778$7597C03B-CDAF-442C-A322-C816014D5596","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2937778$35879580-E1EC-4518-950A-1A2B60F8CB48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ee2e65b1942b3d1f606b4f149d412f76ff4a4b6","datavalue":{"value":"http://hdl.handle.net/1822/38259","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937778$95BEEB65-4E6A-4F8F-8694-D4824B3C6F24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937778$7F1180CC-08CD-426B-ACF7-3C984B860AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937778$2BE9EFC4-391F-4DC4-AC6A-A7D9C0B3471B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81ba4e849cbcfb4317d584ba2a25e9b1ebf04581","datavalue":{"value":"6385638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937778$03B129E7-ABAD-42F0-8D65-C74C945D8D73","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":"Q2937778$DB2EC10C-CCF2-4734-BF68-E00E0E303274","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f714834a09a8185653b2afbdaf5686ef94aa6fec","datavalue":{"value":"W1938581937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937778$6EBF2139-8C26-4710-AA88-E921DE5847E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626271143460df64cf77181d39f19c5a6ed89bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2848937,"id":"Q2848937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd02a67583e91eb96b38788cd089b0014b99fe98","datavalue":{"value":{"amount":"+0.7994648814201355","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":"Q2937778$10743450-08F2-4C48-A731-466E3D7FA207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97cc84cce017ea9f19c786485df9b1178b5b4f6","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf21b78833545a07a1c546d2c863288181368530","datavalue":{"value":{"amount":"+0.7776172757148743","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":"Q2937778$DC98B388-6F1C-4BFD-8691-B40C60CD17DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe58a7b447be1b91fae0cf3c0b16ef2f92a5f","datavalue":{"value":{"entity-type":"item","numeric-id":5146514,"id":"Q5146514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd1fbc965a1b98d8df02f1ab7c53f4b2933fa1d","datavalue":{"value":{"amount":"+0.7541017532348633","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":"Q2937778$4DA83AA2-F94E-4B93-9279-7BD45D2FD020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec203c7cbe213eefbc1b2210250a0e3e8140232d","datavalue":{"value":{"entity-type":"item","numeric-id":899321,"id":"Q899321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fdf938ad959f7f209e27887fff1ff8b1af88fc","datavalue":{"value":{"amount":"+0.7532575726509094","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":"Q2937778$7F6FB867-396A-4C2F-9AA4-182DF84C4191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44eadcb77d6b588e7ae4c44dd0dcc72b717f7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5158653,"id":"Q5158653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f7bd2bfd16f891c010eb336f93c5e80f1b98aa","datavalue":{"value":{"amount":"+0.7495540976524353","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":"Q2937778$0074DCD0-48BB-41AE-90CC-308278EB8A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937778"}}}}}