{"entities":{"Q2931822":{"pageid":2942542,"ns":120,"title":"Item:Q2931822","lastrevid":85319519,"modified":"2026-06-03T06:51:40Z","type":"item","id":"Q2931822","labels":{"en":{"language":"en","value":"Checking NFA equivalence with bisimulations up to congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374695"}},"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":"Q2931822$6755535F-07F3-4001-A9E2-D71AF6E75844","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb01240388242d7a679cd73dda1219c3f9ebb78d","datavalue":{"value":{"text":"Checking NFA equivalence with bisimulations up to congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931822$969652AE-27F4-49A7-B300-B70B3249A966","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f10f9a340bc4972a94e60ede3f7e8842160950d","datavalue":{"value":"1301.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931822$FC0D8C1E-679C-4D33-BDB1-D525228D7B65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aa41374d87b3d79a1975d6452400bedc0257c3a","datavalue":{"value":"10.1145/2429069.2429124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931822$CF901B3D-1596-45A8-954E-4D4521D0E1D0","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":"Q2931822$98C27444-F0F0-42F7-8C41-47562671B7E5","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":"Q2931822$14F70055-65D4-48B2-9D47-6B0BE2039364","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931822$90FFCAA4-9514-46FF-B642-7A70B460CA20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931822$89CF0DF9-9719-4DA1-93E2-4B369D0DEFA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931822$28125723-7826-4F19-9B8E-98BED46DCC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931822$9F797593-61D8-4C74-B438-60B8B1AD01C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da29689aa314f2b01c27bb71f0d3d45716a634f1","datavalue":{"value":"6374695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931822$80415E3E-2EC5-41AB-A5F2-6FCD8C80C112","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931822$BA0FC531-CB49-4D56-B106-2D779AFEF4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931822$07108D40-5B4B-45CF-A45A-5DE76E8F29CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931822$9EA19D9B-65E5-49E8-B765-48AF1D99E4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931822$C214E5EF-A995-4273-8D01-230745D826E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931822$16DEDF81-70AB-442D-A1DF-BB48E678BED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931822$F39AA5EF-63CD-4665-AB68-A3A4AD31D9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931822$952C1CB5-86EE-4F97-BC4D-B6B39C453F26","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":"Q2931822$FC3FCD79-2501-439C-B6F1-24F8E7EDC6B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"361bd873d2c388ff24a82e1c138a1cdcb84b5a71","datavalue":{"value":"https://doi.org/10.1145/2429069.2429124","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931822$9375888F-C7AB-44CC-B675-E4A78C060861","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ac2478c86acf3d1fc041970f2a1bbb8c3c976a1","datavalue":{"value":"W2007281030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931822$3FE84C69-84EE-4617-BFAF-DA22907C72F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b1a4da1c1ae4e57d9603c995a56d94f59669d9","datavalue":{"value":{"entity-type":"item","numeric-id":5045387,"id":"Q5045387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e562afcd3586f1ee011a2860ac174c167dd170","datavalue":{"value":{"amount":"+0.836900532245636","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":"Q2931822$D8CE1314-BD75-4762-A11D-5D787A28703E","rank":"normal"},{"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":"0633d0ce7952298c00ce19dac2a18507aa8e8a92","datavalue":{"value":{"amount":"+0.8158514499664307","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":"Q2931822$7739C532-4DBF-4FFD-89F2-7DD18F2D5D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056e381c5700609865f664469251a73ab9ba7778","datavalue":{"value":{"entity-type":"item","numeric-id":2937778,"id":"Q2937778"},"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":"Q2931822$D35C9F6E-A9F3-4A9C-A999-91403FE9A593","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":"9556799ee3edfca935ecae59213bdaca3202df67","datavalue":{"value":{"amount":"+0.7714438438415527","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":"Q2931822$B996F2D6-C011-4762-8087-23EFB8B9D689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d09ccafe9cb2c07f692b4b94d53be95ab3eb7b5","datavalue":{"value":{"entity-type":"item","numeric-id":4910486,"id":"Q4910486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8303ea691e244d03829b3822f61816b8569ae9cd","datavalue":{"value":{"amount":"+0.7649602890014648","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":"Q2931822$E8365C32-90E8-4DF6-8FD4-66F8EA719369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking NFA equivalence with bisimulations up to congruence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_NFA_equivalence_with_bisimulations_up_to_congruence"}}}}}