{"entities":{"Q6137852":{"pageid":13272159,"ns":120,"title":"Item:Q6137852","lastrevid":58714980,"modified":"2026-04-06T10:53:03Z","type":"item","id":"Q6137852","labels":{"en":{"language":"en","value":"A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7788999"}},"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":"Q6137852$8DEDD06B-3C6C-4AC3-BC75-E46A432FDB94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9952846ba2f1879cf30fea371da17b64851f9d8","datavalue":{"value":{"text":"A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6137852$2E1C3DA8-9866-4DDA-9A97-5BC84DA79C06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c08bb15f199b7a3e709f372940040ecaf8fdf12","datavalue":{"value":{"entity-type":"item","numeric-id":6137851,"id":"Q6137851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$471F230A-57A9-402A-B374-A9D64688CF06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$0ECAC7B2-5E3C-41B7-B030-D5A7B62ABBDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc8cd618aba52e258fe3cb0e097a7203f8486d94","datavalue":{"value":{"time":"+2024-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6137852$4A398B2A-F220-458F-B493-F99ABFCA2796","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b1104b36b04662b5eeb5049cf39d511a0019934","datavalue":{"value":"https://arxiv.org/abs/2203.07370","type":"string"},"datatype":"url"},"type":"statement","id":"Q6137852$ACDBE97C-E359-4D2F-AAD9-DE17B42096F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137852$FE5350E9-2052-4133-806A-538BED1585AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137852$D45EA8AB-F7EA-4330-8E2E-EB27DCB6DEDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"193bc443dd670ae496ed19e1dca7c807081107b1","datavalue":{"value":"7788999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137852$B9A1363B-AF13-465A-BDC8-CC205C763DE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137852$2C5C06AB-5751-43D5-89FE-A3B80A8E6CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137852$D988BF9D-9B55-4FA0-B5DF-A55418A4BAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137852$F4AB0281-ECFD-4891-B940-1DFD986A8056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d48d42f6cd086240cf9da32aba84bfb51ed475","datavalue":{"value":"weighted logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137852$6D96B21F-C894-4947-8A03-9BB327F99C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137852$DB4E27EC-100A-41D5-B45C-AFE0B76269C5","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":"Q6137852$86051D49-C4FF-4386-B8AC-C31C1AF2ED05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f445a7ec099cecb20ade6748703fd68adf621908","datavalue":{"value":"W4390232466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137852$50E1F18B-3EAE-4397-AEB0-275DCD927860","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2dde7843eee9d452f4db007b888da37969b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":5271036,"id":"Q5271036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$7136AF97-382C-4EA6-99B1-6D9E3C5BAF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f667d47567578e6efa9223f5f9ee167d7425d1b3","datavalue":{"value":{"entity-type":"item","numeric-id":3172902,"id":"Q3172902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$7A8B3790-D8F6-4113-84E8-427F35930C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$1B823CC8-C031-42BB-A83B-749C0B85A919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338c63ab49a5246244eaa117383a255140b2e447","datavalue":{"value":{"entity-type":"item","numeric-id":3540192,"id":"Q3540192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$7E510929-3925-4DA1-B567-22BB17772B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b1535fbd612b62589d9a390ea6cba86277672b","datavalue":{"value":{"entity-type":"item","numeric-id":3183592,"id":"Q3183592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$3C9E1BDA-E081-461C-9A1E-AB29F31B4E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$421D1E8B-B8A7-48CA-8713-A1D9F186891A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdefee3ccf8abd85094a2b397cd3691e264822b6","datavalue":{"value":{"entity-type":"item","numeric-id":2946335,"id":"Q2946335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$3AAA6AAB-C101-4D62-B76C-F0DA411D3A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$817C5115-E755-479B-9C10-6E4178EA1036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f007eeba34ce38a618912875bdb5aeaccc9893e9","datavalue":{"value":{"entity-type":"item","numeric-id":5072547,"id":"Q5072547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$8B3033AA-3A44-424A-96CB-43238A893683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cedb1a3ad2d6dcf7ced6cbeaa345fbfa8fa4b7","datavalue":{"value":{"entity-type":"item","numeric-id":5217295,"id":"Q5217295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$2E093714-E3A9-42C5-90C3-665CFA321FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$BFE0AAD8-ACE8-430B-AEE4-48D3FAD72796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$E6C8D2D3-0BCA-463F-8039-4A90CD7BF5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6034459693441a1328a028647928f4d5eec6fc1c","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$588EB054-09B0-48D9-BB48-DD23882FC1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af53cad56838a221d1ec96c534dc8d447ac33b19","datavalue":{"value":{"entity-type":"item","numeric-id":2429720,"id":"Q2429720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$3C2F5E36-858F-4008-9069-DF2F62A7DA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d63873ff56d26a39b5ac11c37f1f668bd6d4795","datavalue":{"value":{"entity-type":"item","numeric-id":5072551,"id":"Q5072551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$CCF23E23-E9B2-4003-829C-BDCC0F893830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d448771561e2e5579c9b1fa532456843a9e3a13e","datavalue":{"value":{"entity-type":"item","numeric-id":1637338,"id":"Q1637338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$7ED3F21E-B0E2-4E79-897D-75FB22636269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbd0c5139cd54c5bc85147a9057c45e6c7edee7","datavalue":{"value":{"entity-type":"item","numeric-id":1220392,"id":"Q1220392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$7D855C3A-A632-4BEA-A17D-34CB662DD885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$0A074C02-B1ED-43EB-A843-C92AF39E7E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5addb08742914a2413d7e452005fcc9883dee4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3499764,"id":"Q3499764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$0DAA8604-03D8-4AA1-9959-0948C2CDE2C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc9eb9d9a03173aa6daaa69e86cc72a09d206bf7","datavalue":{"value":"10.46298/LMCS-19(4:27)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137852$A65724CF-3421-4485-8CDB-B32D58950495","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8345d67804fa90c867f48d150ce8fb0879f9115a","datavalue":{"value":{"entity-type":"item","numeric-id":6649528,"id":"Q6649528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e2115457095e023f3bf2c5874aca17722873d3","datavalue":{"value":{"amount":"+0.979767084121704","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":"Q6137852$6DEFE2A2-40F1-4B50-83A7-65A04B2CB6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbde71d03b8985e996e1c0861f6cf922b1665d1","datavalue":{"value":{"entity-type":"item","numeric-id":1637338,"id":"Q1637338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da54c313aa86ac94f7ff8338f2458cdf796b1a33","datavalue":{"value":{"amount":"+0.8490580320358276","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":"Q6137852$34CA8B9F-3F46-4F6B-A96C-09C0FF3E94BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9feaf8a558decfafa0ca750250edf66b49ca72e","datavalue":{"value":{"entity-type":"item","numeric-id":3183592,"id":"Q3183592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd54975721af65e703c484a1e88f7b65127a3fd","datavalue":{"value":{"amount":"+0.7919701337814331","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":"Q6137852$C31D43A7-958F-42ED-A032-AA010E1FB145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1b00fcf3d89208d9839eb34ed93c97dfb4cd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5217295,"id":"Q5217295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac90e0212a07d17f5d0a0fbc1d1daba2d461578","datavalue":{"value":{"amount":"+0.7824998497962952","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":"Q6137852$7D00552F-719B-47F9-84C2-B02476B9BCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b035386239cfd5fbc2fbbebd44d0d89b58911d63","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b834404c4d18a2fe33698a9c0628540ec2fd537","datavalue":{"value":{"amount":"+0.7780603766441345","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":"Q6137852$4F314533-8E00-43C4-86BD-6042F706C234","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137852$4237F317-942F-4D72-9EB6-AACB481802BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6137852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6137852"}}}}}