{"entities":{"Q2817405":{"pageid":2828143,"ns":120,"title":"Item:Q2817405","lastrevid":52608722,"modified":"2026-01-23T02:31:07Z","type":"item","id":"Q2817405","labels":{"en":{"language":"en","value":"Monoid-based approach to the inclusion problem on superdeterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6620612"}},"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":"Q2817405$9AB626BF-34B0-495A-868E-1578837A16BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af3c3134fe274fc02423b319ec16bc2b89e187e0","datavalue":{"value":{"text":"Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817405$77B7AAE2-B7BB-40D0-9436-FC4D7C19286C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e737bf0c2e63fce7d071013003c7016bb209e4f","datavalue":{"value":"1436.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817405$90D8985F-4629-4A66-A48D-14505C355A92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8a48e78268d82d32b2f72348b4bb0e63affbd05","datavalue":{"value":"10.1007/978-3-662-53132-7_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817405$BE023CF1-D323-4902-9404-9E9ECC0818D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b7c4f9196ae6fce0089952719c4fda09041425","datavalue":{"value":{"entity-type":"item","numeric-id":2817404,"id":"Q2817404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$69625CB3-F181-4637-A903-7B1588DA7C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b65a4dbc5f37e2627023acad8d57bb8d9bb41387","datavalue":{"value":{"entity-type":"item","numeric-id":420835,"id":"Q420835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$B035D164-0664-4CCD-A08B-B8C045E21B41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"49baf02e74d2a198bc501af7d38d979f16ec31e6","datavalue":{"value":{"entity-type":"item","numeric-id":2817370,"id":"Q2817370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$05C4CFD1-6652-4774-9501-B78F25E99648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d9f70abb070df81833000bc59244d6fec26f1f","datavalue":{"value":{"time":"+2016-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817405$9BEA3C80-D7D1-4797-AFE4-7674978A53A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817405$A4A6D857-7B90-44AF-B05B-5D47DDBD1B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817405$8B1214DE-D21C-49B6-A961-60171402829F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4533bd0328cbfcf464e94cc7430f2844b02797b","datavalue":{"value":"6620612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817405$13919DB5-F6EB-42EE-A002-BF63863FC816","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":"Q2817405$83CB5E44-27AA-43C0-A83F-D638F746E219","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e478f662d0520a19e4b581606b1084983fb84bcc","datavalue":{"value":"https://doi.org/10.1007/978-3-662-53132-7_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817405$3E282EAD-ADF8-4D18-BCD8-0EFF09A33EEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50c5523d4818ab326da556992121e8832f4e6a10","datavalue":{"value":"W2503835330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817405$A161BA31-AE5E-48C6-9939-7F6CF361420F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de9637af9a8fedcf8ab07e9c2d71e01bf8c23d8","datavalue":{"value":{"entity-type":"item","numeric-id":5565119,"id":"Q5565119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$9389517A-CFA6-4F63-8BBD-BF246C256EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07d752d453d9d03c92901a543bcb463f9ecf78d","datavalue":{"value":{"entity-type":"item","numeric-id":1403325,"id":"Q1403325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$17939DE0-025D-4DB6-9F5B-8F3C6C383F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82d2238bc586b5db0903c7583e801a19ac011f3","datavalue":{"value":{"entity-type":"item","numeric-id":3637217,"id":"Q3637217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$428DF8FB-641B-46DC-810F-442B1DB274BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dba53b11e07bd388230fb3794b135d3cc90dce","datavalue":{"value":{"entity-type":"item","numeric-id":1235014,"id":"Q1235014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$C722FE5A-02A2-4388-BB9C-267B1EB7BBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0711f0bf590c2207dac6faa5788ef613584cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":1132642,"id":"Q1132642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$29F06CCA-5427-4F0F-B435-03F3DD45128D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d9dd414a6b3b2c58f60a1e339698f5282df1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3912024,"id":"Q3912024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$2161DE3C-608E-4500-B991-6CA8464898CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$F01E0592-CB7C-41C7-B73C-3EC42F645330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$C3AFE7A0-9D42-4D8C-B027-02A064093EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de32e79a316f4ba915617aa14ef93a799456844c","datavalue":{"value":{"entity-type":"item","numeric-id":2944566,"id":"Q2944566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$830CCFC4-A204-4768-8D3E-84263D6CD636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd1e0c10f95c26612c60a7aa5300f9d93dd30ea","datavalue":{"value":{"entity-type":"item","numeric-id":3523174,"id":"Q3523174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$C8034903-77D1-40A3-A176-CB31F40581D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$2E6B1E82-4ECB-4CB8-9F89-EB001E71B23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce46db34cd01437b61b449a5c1f50b518f35691","datavalue":{"value":{"entity-type":"item","numeric-id":4042672,"id":"Q4042672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$EC05DFD9-715D-4252-9F95-5BF0891425D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e6a513c232157b45118273ffc8232bdb55a1db","datavalue":{"value":{"entity-type":"item","numeric-id":2915181,"id":"Q2915181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817405$1B772A11-4BDB-4726-B617-39D964BD8CCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8104b5af106f4bfbf2a30c3779295e14737cc07e","datavalue":{"value":{"entity-type":"item","numeric-id":2915181,"id":"Q2915181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d46c72a4c1c7ba81ff08608be8944b9f33db079","datavalue":{"value":{"amount":"+0.7961152195930481","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":"Q2817405$C8D45F31-4156-45A2-BA40-078B3F1BF560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8359af2e78eb136b74e64f155be428cf0c2f4b5f","datavalue":{"value":{"entity-type":"item","numeric-id":4330728,"id":"Q4330728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6327b4483fe1d0f5ddbb87889d6db11b92633f","datavalue":{"value":{"amount":"+0.7941680550575256","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":"Q2817405$73159760-BEC3-4E31-9F19-E761357C1A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7678cca52cde5a2eac96fe8a55066bb8143593d9","datavalue":{"value":{"entity-type":"item","numeric-id":3086239,"id":"Q3086239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44959c88807d9827ac3c089297ad26b89344487","datavalue":{"value":{"amount":"+0.7486892342567444","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":"Q2817405$9A74019B-0C08-4049-A45A-0C98FE7A594E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51201624ff77b6f101ee883ba26ade47eedbfbb9","datavalue":{"value":{"entity-type":"item","numeric-id":3637217,"id":"Q3637217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c260d663dba419b0fedfbca8d85e048ea5aaf68f","datavalue":{"value":{"amount":"+0.7483410239219666","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":"Q2817405$7D31AB9C-7B6E-4669-BC6B-792FBDC74BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3f074d90a1550a9aaf55e0f454efbc45318b12","datavalue":{"value":{"entity-type":"item","numeric-id":3540139,"id":"Q3540139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4807769ee175684f3ede6821537258c1b572532","datavalue":{"value":{"amount":"+0.7473142147064209","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":"Q2817405$4A403796-3D3E-49F2-AC5A-6B5968EAE72B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817405"}}}}}