{"entities":{"Q2974782":{"pageid":2985507,"ns":120,"title":"Item:Q2974782","lastrevid":58080021,"modified":"2026-04-03T17:37:16Z","type":"item","id":"Q2974782","labels":{"en":{"language":"en","value":"Data optimizations for constraint automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703917"}},"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":"Q2974782$A077C2F9-7E77-41E0-B72B-8C4AFF88BD2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40434102b72708b19c34c86ec2a0220960ffa5bd","datavalue":{"value":{"text":"Data optimizations for constraint automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2974782$0B40730A-6220-4944-819A-628623F0108D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc57a13a712305803d253c540fa968629926f120","datavalue":{"value":"1398.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974782$FA3285E0-B28E-42B6-A91F-FE4DE6023405","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4836fd291359f02a238454673e72eabf7f78f6d","datavalue":{"value":"10.2168/LMCS-12(3:11)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974782$936BAB5C-AB31-4CA9-BCFB-3297306ACFA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"500f1ad8d5c3c64ae3fad3f0065ac8cfd6b051eb","datavalue":{"value":{"entity-type":"item","numeric-id":347370,"id":"Q347370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$DB0FF7AE-B931-467D-AD8A-5580FBECAF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da238fdbcb4539aa2eb04558a37e18c45a9d2eb","datavalue":{"value":{"entity-type":"item","numeric-id":282087,"id":"Q282087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$74B6815D-D202-4D10-B92D-282E3BD45EBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$755A402C-2BB8-4C90-A401-34ED11E9E1F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a2d5456aa484593fec481f4daec5520f7618119","datavalue":{"value":{"time":"+2017-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2974782$0B255527-587B-4F36-94D7-91EEC43501A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8704aaf9a367675c0a09258f2a6dfda8a967999","datavalue":{"value":"https://arxiv.org/abs/1608.04592","type":"string"},"datatype":"url"},"type":"statement","id":"Q2974782$7D931294-E843-4CF6-860B-1B38D7473E5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974782$24C06610-45CA-4C01-9D7F-704D8447710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974782$5A3D25B3-0172-416D-8112-D6A58F36302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974782$F21E76AB-202C-4483-9D99-37E0EAEFEA99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e1c5674990ddc4a7117aa88e85a0c2f8350cc71","datavalue":{"value":"6703917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974782$30288260-53A7-43A6-9F5B-2B023794B526","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974782$2488761C-3F62-4EED-9776-C427F8A60A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0aa662b2b7ee896a11f94703cabb105ae5fd891","datavalue":{"value":"constraint automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974782$1543561A-557F-4838-A439-CC733E396872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d06a08bd127fd75955d50fdd5f150c72cf7cee","datavalue":{"value":"Reo","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974782$FAEB3FEB-39D2-4E48-B62A-F216B564A429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974782$955FB820-2503-42AD-90F4-014B3CAEC10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974782$5B450255-594E-4885-83FE-DA1E5126692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afee417564209b61e3e00baf8c5b26c09ce9029b","datavalue":{"value":"performance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974782$5B04E155-CFC8-49E5-A45A-F9DC53BE6A24","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$6B62E5BB-5F89-43CE-B8C7-1F995C557304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"21819427cdc9c76b643abc14c3261b7e09f325c0","datavalue":{"value":{"entity-type":"item","numeric-id":20852,"id":"Q20852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$A97F424B-E2D2-4C68-A088-E3A496EA05E8","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":"Q2974782$A4641738-5A30-40C5-9483-52E289F9ED7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58619a2ded73af815bfb27ef9f0713b16d0bf02","datavalue":{"value":{"entity-type":"item","numeric-id":4448373,"id":"Q4448373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$83B4781B-E1EA-4F8E-9566-3E72189E775B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c776f3481392dac8db8bebd47947b391d9b0a81","datavalue":{"value":{"entity-type":"item","numeric-id":3559280,"id":"Q3559280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$2F83584C-ABEB-4737-961B-A2D987305C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$37CEE17F-24FC-46A6-8E63-F7EE53D5C9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a65c33cb005617e97f0e29bd4909f3571c3824","datavalue":{"value":{"entity-type":"item","numeric-id":1776573,"id":"Q1776573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$D489EC63-F0B5-41A2-99E5-063D80A2CE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2757c8a6dd297966d3c93d0a599253b621893718","datavalue":{"value":{"entity-type":"item","numeric-id":1852854,"id":"Q1852854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$9D576F38-3F2D-406A-9913-D854341458A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425ff160b62a4b168499971d25a3da8346f1fc1b","datavalue":{"value":{"entity-type":"item","numeric-id":5962120,"id":"Q5962120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$5881717A-EFF8-4F06-BC82-467B0BE800A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a7f52d1a85eea1cb2fa0afaf4cb5ab7a50ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$C1D734D5-9F33-4A24-B03B-8A70702B479F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e60d521871464c8ff5f63b4a78168c95a44f05b","datavalue":{"value":{"entity-type":"item","numeric-id":347371,"id":"Q347371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$96ED599D-8F5F-44D4-A040-A24AED46EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55513ac0d8c3a56962aba277d470c4150e1c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1803674,"id":"Q1803674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$95292A60-00E2-492C-9C8E-8B49CC4FB8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$4EE96BCB-16F0-44A5-A4E4-DE7AC5BC8FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b46b6b30aa0cead4383230f8c857ca1f03b5ed","datavalue":{"value":{"entity-type":"item","numeric-id":3292849,"id":"Q3292849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$494A26D4-6036-4169-9560-46786D6C6E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c9a8abc4f55235d36c90b74af077897ad33bce","datavalue":{"value":{"entity-type":"item","numeric-id":541679,"id":"Q541679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$CB0734E1-E064-4DD2-9640-0626012BE101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a7fb8da2d36deac34ecab41a4135362611c366","datavalue":{"value":{"entity-type":"item","numeric-id":1205723,"id":"Q1205723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974782$674F0932-046B-48BF-B5F9-9BD7C7285E0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b951af366a6d8f5c0a4b7722e9cbe71523ea2dd7","datavalue":{"value":"W3106374809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974782$70172A85-AD07-487B-9C57-5931A6F2F615","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f44104b8421c54b67f77f9058ddcc76f0e6a28d","datavalue":{"value":{"entity-type":"item","numeric-id":5216077,"id":"Q5216077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ff4b257ab3d3e80ff0da739a113df54e2b54f1","datavalue":{"value":{"amount":"+0.7225645184516907","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":"Q2974782$7B36DA32-D97D-4709-BB74-4A6C8A20BEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12de385c49a24ccb3a19493a688a54dd777522ff","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4947cbab545f332be55b2fdb7c8a7159c9c36c51","datavalue":{"value":{"amount":"+0.7204601168632507","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":"Q2974782$F03694FA-D38C-4708-BAE9-09B093FF62E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301ddc2298731a8a016fbbc12e07b891a3c36891","datavalue":{"value":{"entity-type":"item","numeric-id":3628607,"id":"Q3628607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a86c691bcc32cf2b95cc9fb90b7eced05066234","datavalue":{"value":{"amount":"+0.713568925857544","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":"Q2974782$98B65AEB-4FA8-4B51-8B64-6570495C190C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b1944f9fb5cd0fdd3d5f98304f2018a29eff93","datavalue":{"value":{"entity-type":"item","numeric-id":2810975,"id":"Q2810975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee64c904f0a7679cb299f99dc2a6990791cc681a","datavalue":{"value":{"amount":"+0.7009768486022949","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":"Q2974782$4329E16B-3E94-4068-8ACC-C016E3650E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f77f87f10771cebe950466e8bf7e9240fd9d0e0","datavalue":{"value":{"entity-type":"item","numeric-id":3056378,"id":"Q3056378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8250fd1d4bc57acdab0d2bdd0b34751574942a","datavalue":{"value":{"amount":"+0.689839243888855","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":"Q2974782$649F3849-42F8-45A6-8A24-F5085132F1A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2974782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2974782"}}}}}