{"entities":{"Q7310251":{"pageid":31275202,"ns":120,"title":"Item:Q7310251","lastrevid":105090601,"modified":"2026-09-16T15:16:01Z","type":"item","id":"Q7310251","labels":{"en":{"language":"en","value":"Deciding termination of simple randomized loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236315"}},"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":"Q7310251$27BE91CE-D89B-4969-A530-C997F0193381","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cccd912a90a0f0cbeec28797721837ede4a31ee9","datavalue":{"value":{"text":"Deciding termination of simple randomized loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310251$6193A2D6-F593-4373-A5C8-796F68E4623E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f8154d4405040da362c2414709789d7b18cc411","datavalue":{"value":"10.4230/LIPICS.MFCS.2025.76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310251$48B30B58-1118-4D94-A850-EB01D33AF5D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eefb6d83e94da1ea17ec9895eef61d5ba151f751","datavalue":{"value":{"entity-type":"item","numeric-id":7034864,"id":"Q7034864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$FCFCE4CA-066D-4613-AC9E-B96EE1101E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$49C9AD4D-241B-45A9-8A58-B80DA32150D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310251$9A1F0539-8CB7-4E2C-AB47-34307E46C27F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310251$59E43A53-8F8A-4C69-8437-7AB804CF0C70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4c77bf1d8d9488b8bcbe9bc0ba33ab7057b6078","datavalue":{"value":"8236315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310251$A778DBA1-991F-4836-A628-AA7043899875","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":"Q7310251$53E0EF82-81F0-429B-92F6-E985607C30F6","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":"Q7310251$392D87C3-3F1C-4CF4-A551-90D4369C2E53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a394bb99bb34a387dc51757912aeb250e2e2b93b","datavalue":{"value":{"entity-type":"item","numeric-id":4943605,"id":"Q4943605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$754DB00D-2D77-4509-9ABF-15F78DC3DB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e24f505165fe62fa16da70d2b9108c5b0bcf3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$94F2109F-279D-4573-AEE6-3290EDC4B69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524f16ffbcee76a403363a3e2b620a3d4c86391b","datavalue":{"value":{"entity-type":"item","numeric-id":6536145,"id":"Q6536145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$624A2B3F-C198-4360-8789-D1B263B3D8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd49cacaad2bba32371c0649c7914f9763803f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$A47CE666-693C-4E34-9832-AB8D38865894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fdb745992585236d8b46bb0113602daefd8179","datavalue":{"value":{"entity-type":"item","numeric-id":5756742,"id":"Q5756742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$1EF89782-CEF2-4310-8C2B-B7ED5F6A2436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142c7d623f1af787564d8d62a8aaac474984ec13","datavalue":{"value":{"entity-type":"item","numeric-id":3297606,"id":"Q3297606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$C4C41D67-46D7-4137-B846-52CC83B7BCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2e31ac893aa29128650b9cc43fa3a6b0fcfb14","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$F7B17D42-57C0-4A44-83C0-56F07189C1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028b173fd504347e5ec217a7eca5bf3210ea8348","datavalue":{"value":{"entity-type":"item","numeric-id":3453240,"id":"Q3453240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$84CF46A4-DCB4-439D-8D42-B4200E7F92FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f822690fec54c0059b31057f0280a42310fad20","datavalue":{"value":{"entity-type":"item","numeric-id":6194959,"id":"Q6194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$BF8B6B34-E8EB-48AC-9BD5-2106ADC72313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c358d0ee5a95b2aaf10398e86fd645e6f4222c","datavalue":{"value":{"entity-type":"item","numeric-id":2305420,"id":"Q2305420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$C8CC6F6B-0E7C-4E12-84B1-2E1CD4E0F3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a8e3ac0cfb16dacfde9741c300b9411c0f22b","datavalue":{"value":{"entity-type":"item","numeric-id":7024202,"id":"Q7024202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$2EDABCDA-8B08-4E2D-981F-3239A00FF6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b544b9e0edc781cb3bd11acdc6c563bdf7e6869f","datavalue":{"value":{"entity-type":"item","numeric-id":6987109,"id":"Q6987109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$B7F92A8F-C85C-4897-B338-07E857DE0ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60bf0b82585dfc6b6150d01493d12c11c97e4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5092319,"id":"Q5092319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$3A711448-9925-4307-A14B-155B29658911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde1171a1e61455ff21c0984feff3bab884b2d41","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$EF600FC1-C2D3-4274-A165-5CD0FC8E12D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1080336f68a451700831b80ec2fc9e513fc2d995","datavalue":{"value":{"entity-type":"item","numeric-id":7251045,"id":"Q7251045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$B651EFCA-D6BB-4F36-8209-880E3DA4CD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e9a61fd253880d6e027a68a3af95b96fcd449e","datavalue":{"value":{"entity-type":"item","numeric-id":6639407,"id":"Q6639407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$1BDFE4A5-581B-436C-BB60-144D13CB7690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f6e275bd3d5c86b4923df379b0bb284459b40f","datavalue":{"value":{"entity-type":"item","numeric-id":6496615,"id":"Q6496615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$1DB13A72-AD9A-43C6-B570-CB5C9E4A0F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16998eba8f44c205c3d878f463c1a10592077da","datavalue":{"value":{"entity-type":"item","numeric-id":2104561,"id":"Q2104561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$40366DB5-712F-4306-B33D-D4ECFC1BC8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14812d6ccc1e7fd415a56c6de42526a51923f0f4","datavalue":{"value":{"entity-type":"item","numeric-id":2044203,"id":"Q2044203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$05DE6EDE-4ADF-4AF1-81EB-E3BEECAC22F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb8ea2a4a2edbd38cd087d33d9cda77f32cc2f5","datavalue":{"value":{"entity-type":"item","numeric-id":6145021,"id":"Q6145021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$21DF1227-4AD2-4D55-AFFB-5855CB028539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a570a20e70febfe91f8682a52477eef890509be0","datavalue":{"value":{"entity-type":"item","numeric-id":5110367,"id":"Q5110367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$37985209-01F7-405F-97FB-27F390441401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e93caf186186bcbb3ad04559170566cd97e296","datavalue":{"value":{"entity-type":"item","numeric-id":5363097,"id":"Q5363097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$6F220025-B676-4182-B6D6-FF8E1CD9F6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e2b7a6bd7a5f7a192b9dd9b1850490db36beed","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$E0F8F3D7-09F4-465E-8E13-E0F9ABDB0FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c10eb504c74e47c89ec8f43dd8fd893e917cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310251$24DA7006-719C-43FB-93E7-9A39294C48A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding termination of simple randomized loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_termination_of_simple_randomized_loops"}}}}}