{"entities":{"Q868948":{"pageid":870796,"ns":120,"title":"Item:Q868948","lastrevid":64962834,"modified":"2026-04-11T23:24:08Z","type":"item","id":"Q868948","labels":{"en":{"language":"en","value":"An automata-theoretic approach to the word problem for \\(\\omega\\)-terms over R"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129788"}},"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":"Q868948$00F349FA-42CB-4476-85D4-3998135B1E04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30714146a165345f437d0b34e6b1c3fb77a03f14","datavalue":{"value":{"text":"An automata-theoretic approach to the word problem for \\(\\omega\\)-terms over R","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q868948$0F559848-A9E4-4010-A537-5C060484572B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b32f445064a55145932d4be6c87fab0cdad32359","datavalue":{"value":"1110.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868948$57F44225-71CA-41C8-901D-5B48D51AE010","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$02D05769-4332-40B0-AC67-CA4C44561E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$FE0AD50D-B5D0-44C0-9A98-7B75526B4249","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$01E2F954-1512-475E-A7AA-D3E6CF6A4F4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a3e704c51126050d068b3f11b9ffa0001836f09","datavalue":{"value":{"time":"+2007-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q868948$746B6827-DC20-4778-9C34-000EE0DD2E02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868948$9131807C-7155-4CA5-B738-43953E721D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868948$5BB80C1D-77BD-4A9C-B033-F608C5A207B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dee148c13a105fc36e9675743cd7060d952dbc34","datavalue":{"value":"5129788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868948$465E509A-2A52-4CB8-85BA-7C183DE40D95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q868948$E6F6F6A8-9545-42AE-AC7C-F00E93C7AC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q868948$E97325DC-B993-4F29-96C3-9D02072FD0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q868948$31EF9435-5C3B-42FF-A64F-AF5FD7B9A690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41bf607c7a0c685b49cc655a4d057166c465434e","datavalue":{"value":"automata minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q868948$2BB3678F-8E5F-4859-A39D-48F3AD16DF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eacacca1b3d775d1bc945b0db0f3431fe81c66","datavalue":{"value":"pseudoword","type":"string"},"datatype":"string"},"type":"statement","id":"Q868948$D6ADDC5A-B8E0-470F-A2D9-30CC2B93F276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf020764596478b4a3e79bf192f9da61e332cd44","datavalue":{"value":"omega-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q868948$663974AF-AB3D-4EBE-8CB2-60CF732F7A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c234a1ad1af90195fbb6aa75d2195d459e2a8a8","datavalue":{"value":"identity basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q868948$1F6F6798-E4AF-4C83-8B2A-A928F94E618B","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":"Q868948$2C013F8F-EB59-4E8E-8DF7-3DF81E155086","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d79a62df20a21eef1105edf96efa07546fb5838d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.10.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q868948$C3F7D46C-A7B9-483D-ABCB-F9878EB4F1B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"734dbe20998d02339415ff863817d41fcec6c7c7","datavalue":{"value":"W1996599450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868948$08A462B8-24F5-482E-8968-C9368A87B9D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed496352c040c4152891195e3251999037c6cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4892455,"id":"Q4892455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$4519B6E3-AFA1-4BE2-8595-59DA8FE49FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf981e9961fe9bb3dcffe11fabdbe5b3b271e6cf","datavalue":{"value":{"entity-type":"item","numeric-id":4407421,"id":"Q4407421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$7A2E8F35-31A1-446E-8AB8-6FECC492AA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f8fae0c94dd9fb9e98c7b499f0e924fb9209a6","datavalue":{"value":{"entity-type":"item","numeric-id":1262959,"id":"Q1262959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$BDDFE4CA-A501-436B-90A7-0BA96643D9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b1d07a1326efad9927f98836ebefe9f44dc974","datavalue":{"value":{"entity-type":"item","numeric-id":814806,"id":"Q814806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$27D9B10D-C2CB-480E-AEE6-8B3CDE545CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289bbcf97a7af60a1c0e0ec0c5b9f65f1ac72a13","datavalue":{"value":{"entity-type":"item","numeric-id":4942266,"id":"Q4942266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$2E4F7820-AF87-4A56-BC07-7843DA887185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aff5c8cacd83ad6b7451a953232661ac875cd12","datavalue":{"value":{"entity-type":"item","numeric-id":4487602,"id":"Q4487602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$111D80E7-2D81-41FC-8CE7-5E80A57F27CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c0ac00b309898e517ed543994c15a0924dbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4354230,"id":"Q4354230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$E7033358-5A66-4E0A-8F6D-E6C847F2AAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db62f718e1a12639327dc0d184957cc9a27ed9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3552216,"id":"Q3552216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$A9F5EC48-F0D2-4652-95AB-78D63A2B70DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a479690fe1bd60dcf2e4565f0d8ae19bd8b4d919","datavalue":{"value":{"entity-type":"item","numeric-id":5941292,"id":"Q5941292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$74F94DD8-29E5-4DED-9D5F-93A5302042EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6798473d17b32e5cf11c451db3bb66e4a4c43c","datavalue":{"value":{"entity-type":"item","numeric-id":1144948,"id":"Q1144948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$B8508E69-2E24-475C-8635-41EA334E2435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$6E5013B1-66F6-4D14-AA0D-843DFB2C0879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c52a170c3dbb1f9eb0465602c0af46c0d05280b","datavalue":{"value":{"entity-type":"item","numeric-id":4849531,"id":"Q4849531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$C48F8A50-0D26-4CAF-9999-AEE6E5F0687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$AAF2ADB4-91DE-474E-8992-C87E077FF293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$85C76145-CD6F-4A95-B98A-F606F97FCC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c2117b1cca8f4449951c34fa08f6f7ea2f1ad","datavalue":{"value":{"entity-type":"item","numeric-id":1589443,"id":"Q1589443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$529CDDD1-3E96-496A-B598-BB2C27B6D237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$0E88487D-7B20-4562-8EF7-74CE0A3BDC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71505a47ba93a2b242b4dc7b9408e323cefd38","datavalue":{"value":{"entity-type":"item","numeric-id":1190464,"id":"Q1190464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$196322A5-AF4B-4A86-8930-8B3B3F29F486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22514db061f32ff6b3cf9f20a39a7850ef6cdbea","datavalue":{"value":{"entity-type":"item","numeric-id":4513300,"id":"Q4513300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$91EE03DF-3EF5-49D1-8103-A04339FF7F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293c11927822a1dddc9045d337ec0663d922c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":3910014,"id":"Q3910014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$6E4FAAB0-CC6A-4B35-8D75-79F4726A7D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868948$32ED012D-ED8F-44CE-AE3E-C47B6EEC2A51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6938d480efc9c53cea48a7ec2d878d33c5965931","datavalue":{"value":"10.1016/J.TCS.2006.10.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868948$87751DB7-2209-46A5-A66A-118A95E03844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ec96127a0a69de095d1c6579ea5f57e31b882a","datavalue":{"value":{"entity-type":"item","numeric-id":3552216,"id":"Q3552216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c7045bbe5621b55b5ef5e7fa901cfac534f510","datavalue":{"value":{"amount":"+0.8827038407325745","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":"Q868948$AAAEC56E-192F-4ABB-BA6F-E80E00E8428B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb96c69d3ee5e47e0a87321c9eef8dc829f395de","datavalue":{"value":{"entity-type":"item","numeric-id":650888,"id":"Q650888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145c9ca71457f12a0e84655762d95de143a59383","datavalue":{"value":{"amount":"+0.8336692452430725","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":"Q868948$1CA0F759-5BAC-4FA0-B3DF-37535E0C892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9e39fcdb8f6cf6ec52de2d9ee6cab552d91168","datavalue":{"value":{"entity-type":"item","numeric-id":2479751,"id":"Q2479751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4694011317b3db79d5e0ab8fc927646282b83eef","datavalue":{"value":{"amount":"+0.8320679664611816","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":"Q868948$1CA3AB48-198A-4BDE-A2C4-31139BB27E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871bf9e6f7015f211f0dffedcac295a39c5ebd5d","datavalue":{"value":{"entity-type":"item","numeric-id":1635816,"id":"Q1635816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae04eaa76e559d5b2a843af3388484b82babb1c","datavalue":{"value":{"amount":"+0.7782308459281921","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":"Q868948$57671C9D-22C4-40DE-935D-BCEC11EEFAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfc38bf02fdd5fa025b2b5b22ce91d678705026","datavalue":{"value":{"entity-type":"item","numeric-id":2940603,"id":"Q2940603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5967a6879f5f78f0be2fe1887bf6badabba8e3","datavalue":{"value":{"amount":"+0.7782143354415894","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":"Q868948$98ABBE67-128D-4D30-85FD-F226600BC0A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An automata-theoretic approach to the word problem for \\(\\omega\\)-terms over R","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_automata-theoretic_approach_to_the_word_problem_for_%5C(%5Comega%5C)-terms_over_R"}}}}}