{"entities":{"Q845664":{"pageid":847512,"ns":120,"title":"Item:Q845664","lastrevid":64778679,"modified":"2026-04-11T22:10:12Z","type":"item","id":"Q845664","labels":{"en":{"language":"en","value":"Separability of rational relations in \\(A^* \\times \\mathbb N^m\\) by recognizable relations is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664453"}},"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":"Q845664$1B9A79E8-D7C9-45B0-87BB-BEA9FE4EEC22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"896750639d781abb2805cfc7897030999e2998ff","datavalue":{"value":{"text":"Separability of rational relations in \\(A^* \\times \\mathbb N^m\\) by recognizable relations is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845664$82C7001A-DED9-4F1A-AC32-42957D1F9C33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28fcb6665e9be54b4000f5cf4b51698cf3e18b24","datavalue":{"value":"1184.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845664$72AF9692-5AEF-4467-A676-AC37F7762CA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f271b5c5ead0d5762c99c9faaec33d9274cc34d","datavalue":{"value":{"entity-type":"item","numeric-id":235588,"id":"Q235588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$435286C7-AF17-4CD5-8BE1-8B13E79B1725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa990e79bdd7ffcabe4f8d60711efd12e49a6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":512187,"id":"Q512187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$D3B2914A-B130-4378-91E7-897D9D4819F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$CEAD75B1-B5C9-4235-9EDE-CAE33D35FA3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845664$682EE5A5-265A-4485-997D-E9704F3733B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845664$8C6F977D-A0AC-442C-B4CA-D8CEC68955B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ceb10900815a8a690552de4d7015a2d6d0a8d55e","datavalue":{"value":"5664453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845664$0778DF99-68EA-4A74-B043-49278E5EF935","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q845664$5FF8EB48-F97A-4051-BC7E-2E7DEF4826BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91d54445cd84cdc32fedf222f5fe79de1ccb78d7","datavalue":{"value":"recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q845664$69DD8AAE-7C10-40C3-BD30-2AD6EBC0948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e89c7ebb84fe344c11e625e580d7cf9b6f9e0fd","datavalue":{"value":"separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q845664$5B40DD01-504D-4016-AC26-9AB89AE6A73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845664$EDF1C9ED-38DB-43F7-932D-23C5C060F316","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$B8926EF8-D5BF-429D-8AAD-71801FDA3AA3","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":"Q845664$B23962E5-685A-44A8-A701-955F61D6BC4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b51898b89b113631b4922914ef67b29743ce5fb2","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.09.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q845664$6DCA7A1B-8126-4D4A-B091-72DAB0E6D328","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4438fb347741682a85b36b02cff77e1a890efbe9","datavalue":{"value":"W1974449814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845664$BBBA9B12-0C63-46FB-9A9F-662F25F8E852","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$B3C9B430-5FAC-4427-95C2-3AFADDE12137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$E2797D51-0A23-4419-8671-4FA56A66BF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a974194fa34fd25722575e1666811518331c8","datavalue":{"value":{"entity-type":"item","numeric-id":2542523,"id":"Q2542523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$504FC3C3-159A-4A3C-8176-FF8DE97FD10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8323578f1bc3f7c7f8014c6f09aa7ff9af74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5507511,"id":"Q5507511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$63C23D9A-38C7-41D3-BA64-49AE46D7DB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0006f9acf90b4b0284255798338710e2147e156","datavalue":{"value":{"entity-type":"item","numeric-id":2527943,"id":"Q2527943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$20039FF5-F3B9-4AC3-A3C1-CC3A12BCD0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$209E4BBD-C67D-44BA-8507-C4BC52409E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$5F2A0D2E-28B9-4DE1-B8E7-276604EC1376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562215a84fa3302680a29cf0eb8aa3a82dedba36","datavalue":{"value":{"entity-type":"item","numeric-id":1603699,"id":"Q1603699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$39C52084-619F-4C0A-9797-0082FAE5337C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$499C13F8-E6DA-4C24-89B5-2126BC1AD343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9684d84be3b8355a2edee9961c6843594427ba04","datavalue":{"value":{"entity-type":"item","numeric-id":4167584,"id":"Q4167584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$619F199D-EDE8-49AC-A523-D537FCFBBC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63aa190596f5f038c76fee579c3a35ac46998","datavalue":{"value":{"entity-type":"item","numeric-id":4771385,"id":"Q4771385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$EDE9F124-5F26-46D0-81D5-0FA1F045B42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e446f728ef32daf13f421ed576ec4c5bf5940ee","datavalue":{"value":{"entity-type":"item","numeric-id":4187332,"id":"Q4187332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$1796705B-AAD5-4B24-A5B4-C28E6601FBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc5ed400011604464fb2cfbab14d82f01c30a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3996853,"id":"Q3996853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$C6C1AC85-2D2E-4080-B18D-856C1154C2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2663840fa2f44a8b4c689328f2fed2ab6062ab","datavalue":{"value":{"entity-type":"item","numeric-id":3651209,"id":"Q3651209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$4C2A2368-CA31-496A-9C5C-3EC6101E4347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59832f60a314c8ca98a8ff21cfb1f65b631dd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4227352,"id":"Q4227352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845664$2E8BFBC3-5A8B-4B44-9CA5-A6AA36143527","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0ac18e57cfbb849c711338f464f7f4ca8253c57","datavalue":{"value":"10.1016/J.IPL.2005.09.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845664$FD07EBC9-4323-4305-A335-497A9FE268D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62ec9b95b652269a9fdf36ff622e0f884ff0805","datavalue":{"value":{"entity-type":"item","numeric-id":3431438,"id":"Q3431438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b708405780d6eec4f228f5cd0fd365e4d06ab5","datavalue":{"value":{"amount":"+0.8146129846572876","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":"Q845664$FEF50B30-14ED-4176-95FD-49EF7A4B1943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e9a6a14592664fe1d99c3105f978fb894a6ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1099641,"id":"Q1099641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53dc9a2ba57008d8fcc0bdd731d4ff20b1c91f01","datavalue":{"value":{"amount":"+0.7698074579238892","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":"Q845664$3308F472-9610-476F-AA35-AD85BF8B0646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1736917c1d0d28db342fd7b8c7fe5c267a124ced","datavalue":{"value":{"entity-type":"item","numeric-id":1390853,"id":"Q1390853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4e663c4c2d2d8b8fdc3926bcc338057eae2f50","datavalue":{"value":{"amount":"+0.7661349177360535","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":"Q845664$DFCC55D2-AAB7-4308-9BC5-3831B0FBB11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f948d9a14d59ab24db3110eb34e3bb6aaff526","datavalue":{"value":{"entity-type":"item","numeric-id":995585,"id":"Q995585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd7366d453ee3c1bfcd30506535edaffc1e5734","datavalue":{"value":{"amount":"+0.7614355683326721","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":"Q845664$EA7734E1-EF3E-40FC-8968-BE87C7594C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5c5191dd04f2394d58e578f49c36b80af68162","datavalue":{"value":{"entity-type":"item","numeric-id":875109,"id":"Q875109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d2a76c02592697e532381370b72a0fcbad7ae0","datavalue":{"value":{"amount":"+0.7441352009773254","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":"Q845664$59886A55-0224-4DB6-8A98-4B3BF3C38985","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separability of rational relations in \\(A^* \\times \\mathbb N^m\\) by recognizable relations is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separability_of_rational_relations_in_%5C(A%5E*_%5Ctimes_%5Cmathbb_N%5Em%5C)_by_recognizable_relations_is_decidable"}}}}}