{"entities":{"Q6156026":{"pageid":13290527,"ns":120,"title":"Item:Q6156026","lastrevid":55454593,"modified":"2026-02-17T16:46:45Z","type":"item","id":"Q6156026","labels":{"en":{"language":"en","value":"Uniform Restricted Chase Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7693608"}},"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":"Q6156026$CC3E7410-A710-4B46-9BEE-D69AC6590BE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dede70b1fff2c244734a8fc629de569dcb581a52","datavalue":{"value":{"text":"Uniform Restricted Chase Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156026$47A1D3FF-153D-4E81-8FF2-DD627C41284B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"defaba0b9237e9a650606d0140535eaa4731e335","datavalue":{"value":"1527.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156026$345F85FD-8726-4039-BFA0-807370F08433","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a03543608b6ee23736e0438615a2b1e6c76d879","datavalue":{"value":{"entity-type":"item","numeric-id":314823,"id":"Q314823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$05435709-8E08-4C04-AC95-129345BB938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc17e3cfe92adeb4ff2e5b343b40508dcb4c5aec","datavalue":{"value":{"entity-type":"item","numeric-id":314824,"id":"Q314824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$39273007-C83F-47BA-BBA8-13666FD5B1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56d4ce3eeab757538f9acbd88c2e7cc0a3dad12c","datavalue":{"value":{"entity-type":"item","numeric-id":359986,"id":"Q359986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$08A52531-70DE-4353-A8FB-BE6FBA3E53D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$26BEDF66-6CD4-4199-BC17-C910F1BB87F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44e1828fa073c0379809daaccd24365530666147","datavalue":{"value":{"time":"+2023-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156026$E509BC34-16B6-4875-8614-69715823C524","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156026$A8ACF243-F069-4045-97B7-8964F50FBA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156026$9D243F62-4FFA-4578-BDEA-FE747124F486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156026$3E177D0E-B3AE-4465-9D7F-6DDBB564878C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d637eadf548ecefedc3611d2ce87e78adc30a018","datavalue":{"value":"7693608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156026$F2B79BB9-5F5C-40EE-90F4-5771AFDD47D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff970c81c538e3505c1cc42b11d6d784a2b92794","datavalue":{"value":"restricted chase","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156026$52A7B810-2789-4A3A-B399-CA816185B0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"758048f7711dcfb21eb536dfce68fc867c073b1d","datavalue":{"value":"uniform chase termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156026$9D234F23-995C-4099-8DE1-751AEE93113D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"917bfbd37030faa92d25c667dca6a4a14d5afacf","datavalue":{"value":"tuple-generating dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156026$AD73EBAE-B663-4D56-B40F-7C3DDB012943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0eec30d4438aa9c178e8b310d81741e807631a6","datavalue":{"value":"guardedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156026$37751E15-A006-4066-8695-2034B940E48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d7013ae56ed6371bac2bd06f48503d20e23f13","datavalue":{"value":"stickiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156026$430F1E42-21E7-4BB4-8E7A-33E7FF11BC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156026$2929EA19-04A9-496C-85D5-6A5A7D29CD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"472ac5eac0b1a026e6f882c19ab1782de0fcdbb0","datavalue":{"value":"monadic second-order logicy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156026$2EDE5896-1AEE-4519-AFD0-94D3E1B744C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156026$941D055F-385A-42BE-8ACB-7C02B984C2DB","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":"Q6156026$37D678D3-707C-48F0-9930-76C159A81818","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de193be8fe3fbaa2a1393adcf0f255a5f10d8a62","datavalue":{"value":"https://doi.org/10.1137/20m1377035","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156026$D66BE25E-F766-4BF3-B8CE-5D459D19403B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed9c52ab26ae6fabbab5b1c494b0d6046c9178d5","datavalue":{"value":"W4377712667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156026$CA9D17D2-AC04-41AF-84EA-A942FADD7865","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5963dc8a214728aca2ee3cf60d707f15c3f83dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4963219,"id":"Q4963219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$033976DE-225D-4FE5-AB30-E7A9D199966A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$40A5B19A-754C-4F27-8AC5-016570F97890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52798ad66a5945a840926a04847c8a04a768266d","datavalue":{"value":{"entity-type":"item","numeric-id":646515,"id":"Q646515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$98BB0430-2391-4804-B94F-054785879368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f415882b2a4d0faaba9364c24e2cee9141d0262","datavalue":{"value":{"entity-type":"item","numeric-id":5091130,"id":"Q5091130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$EFA004B3-2332-47E7-AFB7-19A131B70371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ba76dcfcbe220af9d91fc7d90770cf9d9dc397","datavalue":{"value":{"entity-type":"item","numeric-id":2856474,"id":"Q2856474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$04D42F69-3347-46F6-860C-863DCF9DDCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf598e340b3d851addaaa66fd5cff7646af1b5a","datavalue":{"value":{"entity-type":"item","numeric-id":359987,"id":"Q359987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$4CAC8EAC-23AA-4419-960B-D5474943FA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82777f556f0befd0cbecfa8a72490d41e136b6e","datavalue":{"value":{"entity-type":"item","numeric-id":4414537,"id":"Q4414537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$16C4EB81-13B1-44B4-9F96-A1C0A44BDC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db1165ce65b83c0dabf24def36bf5bc324f31","datavalue":{"value":{"entity-type":"item","numeric-id":555772,"id":"Q555772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$CAC5D118-3EA7-455A-840C-3CDE9E97E694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51e17ad319cefb7cdc526a206815db363a08a9b9","datavalue":{"value":{"entity-type":"item","numeric-id":5167846,"id":"Q5167846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$2999BFDB-234E-4940-BB58-24DA05A4A13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b7de828cbb4ff2c44b366db1a9f3158509f401b","datavalue":{"value":{"entity-type":"item","numeric-id":4637897,"id":"Q4637897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$B67E62BE-3A54-4404-A046-D58F78CECD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b880dae5ab86d9ae77fa9d294644ac7a8fbe8cb","datavalue":{"value":{"entity-type":"item","numeric-id":2846569,"id":"Q2846569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$0DE94107-22C3-4288-8005-3EA343374C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e386d5bd07d417a3a49e8afb1cab869fe691e839","datavalue":{"value":{"entity-type":"item","numeric-id":5091112,"id":"Q5091112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$AE9D2541-4571-4F83-8CD5-A816F9C05349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1589038321fed0305ab85287b4fff8e9246c6bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5091131,"id":"Q5091131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$100CD80E-C041-4AEE-8F95-E62F6065A9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a416602e5d8b55dafa1648c2f2fe1337971d94","datavalue":{"value":{"entity-type":"item","numeric-id":1799135,"id":"Q1799135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156026$93766835-3C76-492D-B651-22CF7C89DDC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5ccee409a0d6b111cf666c23015a82fb0263c14","datavalue":{"value":"10.1137/20M1377035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156026$5CBF1A5F-AB68-4BFD-B22E-1B3D9C8DEB09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39c1b5cf6dd5a517f95f3e3bcd27805b97e3aff","datavalue":{"value":{"entity-type":"item","numeric-id":5091130,"id":"Q5091130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871506099c8ecb30dab641e8328203a01cc2c6cc","datavalue":{"value":{"amount":"+0.908621072769165","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":"Q6156026$D6FEC875-5844-43CF-B1DC-661735016FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723a9ac74594ef6b305bea36d7f255a471cb4e60","datavalue":{"value":{"entity-type":"item","numeric-id":2035470,"id":"Q2035470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e280e62156f41b0aae0f0ba7f91734853ecf27","datavalue":{"value":{"amount":"+0.8926492929458618","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":"Q6156026$C20BA6F4-82ED-40DE-B060-0783554878DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450eb594818e95f4243cdf0227b216fee2d112b5","datavalue":{"value":{"entity-type":"item","numeric-id":4637897,"id":"Q4637897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35dbe4698c6ff3ff4e890caf4fa4f833050b681","datavalue":{"value":{"amount":"+0.8521428108215332","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":"Q6156026$4AC9C912-8EBE-421D-A8C9-0DB218FB0976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eef48117ad6848c6f6c3794a8749259b35fc4bb","datavalue":{"value":{"entity-type":"item","numeric-id":6104760,"id":"Q6104760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d80d59854dcf8e6d99638aec797456451701683","datavalue":{"value":{"amount":"+0.8472004532814026","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":"Q6156026$CC84E4C7-5E50-4233-8A08-717E24CDC5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c56802ca64439c7b4de6882fcc1c362d844ea90","datavalue":{"value":{"entity-type":"item","numeric-id":5167846,"id":"Q5167846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de70130d440cd311e3a3e1b9a83bf4a8053593a","datavalue":{"value":{"amount":"+0.8429645895957947","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":"Q6156026$27A3AFCD-8E1D-4953-BBC6-BC95EF34757B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156026","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156026"}}}}}