{"entities":{"Q2098344":{"pageid":2109087,"ns":120,"title":"Item:Q2098344","lastrevid":54446288,"modified":"2026-01-26T20:15:11Z","type":"item","id":"Q2098344","labels":{"en":{"language":"en","value":"The application of hypergroups in symbolic executions and finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7619725"}},"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":"Q2098344$BBCDA6E2-43D7-4DBC-B595-72722C143FA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f593e3cea3a2302ee0dd12151883128c86cc04a","datavalue":{"value":{"text":"The application of hypergroups in symbolic executions and finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2098344$7F9A9CFD-F7B1-44E4-B8A5-C50CA679B8F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d7ba72d4ec67990528ada559e3737fdd63ba7a5","datavalue":{"value":"1498.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098344$83499CD0-4892-425D-A8A0-668505E54197","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07a07c5a2560171f309cff1fd5963633628a21","datavalue":{"value":{"entity-type":"item","numeric-id":1747236,"id":"Q1747236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$1DC41603-185B-4559-A6D0-D00C3DB624C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd77fb6c59f592e1027279db05965527853840ba","datavalue":{"value":{"entity-type":"item","numeric-id":2098343,"id":"Q2098343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$81016637-A2CE-44B6-A432-56D3B885A198","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$2A7C5B6D-6889-458A-991C-98A6A98163FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0574a4bff222e9fd97c080fbc50c618f266d2baa","datavalue":{"value":{"time":"+2022-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2098344$A8EF4504-184E-4FC3-865B-8408792A1AF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098344$FD6DB863-8EB2-48A8-B2BD-0B177C8D3BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57e295de24b7286d54e83b23bfd2cf390af54663","datavalue":{"value":"20N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098344$71DDBF33-38F3-4F0C-B17C-8803E6BD27FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2f6ba4d6b0de79d5696d2196fc8b9d453a074e","datavalue":{"value":"7619725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098344$4946DAEB-07F9-4736-B3FB-22A73627D37D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdae4d16da758fa834be3a0c48904eac7b566436","datavalue":{"value":"hyper-operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098344$98A46CF6-4756-4540-882C-6C693FBC60E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20993a579c4bb297ae26cd5037d44fca507e3c53","datavalue":{"value":"quasi-ordering hypergroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098344$8B15F0C3-148B-4EC5-8D5D-670E0A112492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098344$1D56B5C9-42E8-4286-8C34-9D0C2715FB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b5ec49083c9cc823165439b724d3b262e6db022","datavalue":{"value":"control flow graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098344$3BCD6F9F-F0A5-494B-9CC3-601308683808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098344$1477E959-546D-4F62-ADA2-DC090C9E3ECB","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":"Q2098344$D79B4586-B755-4585-A00D-86A97BE43AED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e15e5b75a4a3c5b5183f515abe6ec4e0d38066c1","datavalue":{"value":"https://doi.org/10.1007/s00500-021-05812-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2098344$7EBFEBE1-3415-4495-AAD6-9FDDF47332A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc6df1173d8d9da35ae45cfd26c432d5d43c4274","datavalue":{"value":"W3158993832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098344$7A5CEA95-C864-49AE-ACD2-B741EC76EC37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"821f64fb309a1790efcdfafd4acebdc5657c32f4","datavalue":{"value":{"entity-type":"item","numeric-id":2324004,"id":"Q2324004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$E758D451-0A5D-4B4E-8727-9CA33AFBA1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1563c1327cce6186f1e27d068bfdcb9cffe24592","datavalue":{"value":{"entity-type":"item","numeric-id":4351232,"id":"Q4351232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$65E788AE-B5E7-4AD9-AD15-E27F56E1B856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5dd8faf0af5414c9d0509029c0dfeb5ccad34e","datavalue":{"value":{"entity-type":"item","numeric-id":4706962,"id":"Q4706962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$75ABD465-F123-42C3-9C6B-CE093457CA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1459469e8e9df0854c24f5c003b3926fde01cb","datavalue":{"value":{"entity-type":"item","numeric-id":5739690,"id":"Q5739690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$5C5EE2CF-C39B-47AC-A67C-0931A220A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"765a50b7a7034981d67945d4cbce4e4fb3eb0347","datavalue":{"value":{"entity-type":"item","numeric-id":3575415,"id":"Q3575415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$7595BFDA-3317-4D47-93AF-84FDCFDC8F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb4ac3f1454d88907dc822258e274c21c370934","datavalue":{"value":{"entity-type":"item","numeric-id":4666113,"id":"Q4666113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$EC448FDC-631D-4E06-8179-550A84AEC967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4f444d20239bfb49965fc6b42d945f723708ae","datavalue":{"value":{"entity-type":"item","numeric-id":4293540,"id":"Q4293540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$3754A676-19E1-4305-9702-10588E95EF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30cdd68b98e01f4cba5ec9ef9dc5b77738cffbd5","datavalue":{"value":{"entity-type":"item","numeric-id":3083920,"id":"Q3083920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$EDC35E1E-FFEB-42E6-AB0C-3890B83A7297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$91A1F42D-C82D-467C-8B21-7C52E61CA54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9795229467c24b165a5507eae2687ae14e6763ef","datavalue":{"value":{"entity-type":"item","numeric-id":4870899,"id":"Q4870899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$338D7F08-2B79-4836-948C-073167EC7A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8d24277e44b4d77ed89b2611bf02198b10cee7","datavalue":{"value":{"entity-type":"item","numeric-id":4866584,"id":"Q4866584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$8CC48FB9-069A-4807-BAE2-A1B4AE069783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54687afc556fff28216d0df96ae79476d8d055a5","datavalue":{"value":{"entity-type":"item","numeric-id":3975648,"id":"Q3975648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$E2CBB912-9E74-4C78-893E-31A76BF4E211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b30df7049adcaeeab1d0c19185a50c646b4860","datavalue":{"value":{"entity-type":"item","numeric-id":4039931,"id":"Q4039931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$68144496-7AA4-4577-A8D5-0C0AA9FCC1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$6F8E6064-B4C1-4749-B0FF-BED116FF2AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$B2A86DCD-FB0E-4DE3-9832-75440449B98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017268288c5915e58b14710de9fd66a493f53226","datavalue":{"value":{"entity-type":"item","numeric-id":3992624,"id":"Q3992624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098344$35CF2AEB-859C-4C35-9410-714E0D61CB14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c2e5a12a28862c7e1b7fa057b19a9a691b84326","datavalue":{"value":"10.1007/S00500-021-05812-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098344$4434BD44-DB0E-4FDD-B393-B3BCE2EFBB7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ea57f7e0127e687d9a7284a93f39aa9309b85e","datavalue":{"value":{"entity-type":"item","numeric-id":3172934,"id":"Q3172934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f2783a6ab8558b550b6ea57d1eee2f72b8e47f","datavalue":{"value":{"amount":"+0.6729797720909119","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":"Q2098344$F9858B1B-AA47-427B-A8B8-09433D48BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540a26efb19992f6a4fcb31df0336738a537fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1183549,"id":"Q1183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c95ae2afcad1daa2f263291c33e52593b71b599","datavalue":{"value":{"amount":"+0.668464183807373","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":"Q2098344$414B8D1C-CFAC-4ED0-84E5-FB40B892AB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81f2ca789fa64308bd193b3caa40e6754f449e9","datavalue":{"value":{"entity-type":"item","numeric-id":3055042,"id":"Q3055042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bf74dc79a29c3439909163e86ca9a1dfe8a872","datavalue":{"value":{"amount":"+0.6649951338768005","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":"Q2098344$09004838-3A3B-4676-85AD-376BD86C38D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bace7505a1adbd9c1a8b9686f5c19635e97a8f45","datavalue":{"value":{"amount":"+0.6392428278923035","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":"Q2098344$1E26BA99-3E89-4FB9-A465-0D1EAD5711F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b498178dd92a8b6b1728ffda972462f74aabe0b0","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab86800f664064653311baf0537620b276bb911f","datavalue":{"value":{"amount":"+0.6378653645515442","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":"Q2098344$D7BA8FF1-324C-454D-9D39-27B840CC807F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2098344","badges":[]}}}}}