{"entities":{"Q2500700":{"pageid":2511443,"ns":120,"title":"Item:Q2500700","lastrevid":49898107,"modified":"2026-01-11T19:59:13Z","type":"item","id":"Q2500700","labels":{"en":{"language":"en","value":"Tree regular model checking: a simulation-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047646"}},"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":"Q2500700$D1685073-D765-47A2-B95A-2404F85C05E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdbb8d27fbf3e011191ac8cfbe369d553382bae4","datavalue":{"value":{"text":"Tree regular model checking: a simulation-based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500700$48252DDD-B7EE-4C4B-BC08-CB0D96A7C260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e712abd2413e13bc0437a1259b2f9ee4d230ec7","datavalue":{"value":"1101.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500700$ED0A9506-304F-48E9-BD00-370D8D26C2DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$419FF191-A9CD-41BD-873A-AEED20760A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$1B285AFC-E488-4DAC-9FC7-B33468D70018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbf6f2b250839c6bb1d68b7a903ea54097448910","datavalue":{"value":{"entity-type":"item","numeric-id":2500699,"id":"Q2500699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$C8547D28-6C91-45B0-915B-D04251EE49F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$0AD80A29-7499-494A-AEB3-8C091B5D6207","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$3F048179-0D7E-46E9-995B-EFF9246AAE53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"843bd17abb8f5e9fd7f0b14de142c4a143fb1c46","datavalue":{"value":{"time":"+2006-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500700$CBC2762C-472B-4505-8B50-B5AECC80A622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500700$54363BF9-09CD-445D-8F35-BDDD897DCC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500700$73A6D692-D388-419F-8958-EF6471729BA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28a6537c538b36f87d3eba1f211eed993821c468","datavalue":{"value":"5047646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500700$B31782AF-9FAB-4669-88B8-9396A7E33511","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f35193986e748ce7baad442f2754325ac0b02a","datavalue":{"value":"tree regular model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500700$BEA05AB3-7829-494A-87ED-1FD5AC020B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d9249fb1cd697d81c85cdf08d7ccacda1a83410","datavalue":{"value":"transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500700$B6C8E1FC-B837-411E-9FDB-16A7DD04355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5b507bcb902fe805ba5eead8116dc091fc4937","datavalue":{"value":"semi-algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500700$C24FAF3B-D95D-4537-A542-BC6612D90EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500700$65B8B78F-FA86-49C6-BD2E-FE1FB63131FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500700$81EE7ECF-9D54-40F2-8EAB-4A0C179DA1E7","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":"Q2500700$D45A22E3-06D7-42CA-B078-DE0CF96282A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d1f52e8b28c6b5df16fff6ae38278eb5f07cc8c","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2006.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500700$3DEBB390-E080-48BB-B28B-282AF0F69DE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a3e15d54ccf8c563e44d5f49cf0b908eba1a5b4","datavalue":{"value":"W2091043802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500700$62705BCC-9132-4E47-A2FC-64FD83F78E24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$C4C9250A-40CA-4066-8D8F-10BAFF4179C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1e9f406ce8aac5f3f053d9c470f08e640fe141","datavalue":{"value":{"entity-type":"item","numeric-id":4551159,"id":"Q4551159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$8A0D51C4-5482-4029-A88E-21BF34ED26AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97c71a218bbd7486ac5ef037a57f93071d21a80","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$297AEFF0-2A03-44D8-83F2-95025BF365C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$7A335828-CABF-4AC6-BEC2-FBBFE99CBA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6c6d19c19f6597174701ff9246025ac485fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5308434,"id":"Q5308434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$7753C0EA-57B3-4C26-A52E-4565112AC457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c5fa7f8966f430b51e2a366e8bc01608e75588","datavalue":{"value":{"entity-type":"item","numeric-id":4474215,"id":"Q4474215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$6CA0E167-E704-45C7-AD7D-99FFFA33A289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$115A7D03-5960-45A1-8FAF-B531F6099E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d907737c66d08b95175bf8a8b72f2c2923800fef","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$BA116BA2-F3DF-4C02-8306-CF9D022D1923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d77dbdc203369b5b58da54f9364dfa0f285eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4804925,"id":"Q4804925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$522A4491-826A-440E-98AD-17AF5BC89566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e7bf1a2befbf6382dc3a90af6691254f7995bc","datavalue":{"value":{"entity-type":"item","numeric-id":4804924,"id":"Q4804924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$DFE96849-13EC-4CBE-9196-12E4414C2DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b2dd25591c08b7932b69ce08512bbd5155f52b","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$D3EA6368-CF95-48DB-9BC9-7CCC872AB6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$FCB46C45-9D12-4A36-834A-113D11B79ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c26915eff17742416300ea67f8c19ba2e44cb33","datavalue":{"value":{"entity-type":"item","numeric-id":5191507,"id":"Q5191507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$CB0B2C56-6E97-4082-8D3E-713EA33A4ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$EA4F6FD6-D7F8-48B2-82DF-8779651831A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$EA8A10F5-77D7-4B69-A3B2-1461000870F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d4d34eb49ef6ddbb08aaf93c6aa4077fc09d5","datavalue":{"value":{"entity-type":"item","numeric-id":5311485,"id":"Q5311485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$2ED1683D-10EC-48BE-9F4B-5996E4A41611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dc6e57666b405edcb89a9b298632ab270537f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$67B9BA2A-0585-49C2-ACB1-7EAD064A02BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b01ab8849da01de11d1ebd501f9f6b70a4538a7","datavalue":{"value":{"entity-type":"item","numeric-id":5465881,"id":"Q5465881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$3017DA14-D3EC-4924-A035-3956CC990802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22addb5f3a51b2f17fcb41951064c05876e03255","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$65C0EA19-4BA9-4333-9733-7F45A355A172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572eecb00493319f4f0c2553a162a2ea97adf47","datavalue":{"value":{"entity-type":"item","numeric-id":5312912,"id":"Q5312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$2FEDB144-68B3-4927-BB43-365C42443623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aaaf33ee6d9e8666bb385e9469c582e059b0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2851067,"id":"Q2851067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500700$FE208A3F-1A40-4123-ABE9-88B01056C8AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"171c7fa606b276c692c73573a63d0124c3c1ac3a","datavalue":{"value":"10.1016/J.JLAP.2006.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500700$7FF1D568-0D0E-474A-ADC1-816CD766B39B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a24b2d7219f2f9cb9dc106a2dd3d52ea85f3","datavalue":{"value":{"entity-type":"item","numeric-id":5703778,"id":"Q5703778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d087d5fd01b9bbb2feea9298eeed01109263e541","datavalue":{"value":{"amount":"+0.9743292927742004","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":"Q2500700$32BFCEF7-6D1E-4EED-826A-9583722B492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81965cfa0e8625dbb8c2028308bfbcb856bff3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1c996406175dbf6c6bc375396b2f8292e5fd75","datavalue":{"value":{"amount":"+0.8550065755844116","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":"Q2500700$6B54052A-C61E-4C32-9BEB-38C730D52F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"136566685968582f4b4c330630cc53a377c69a86","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f5198d1da086b7f7a088ed22fd1ed66d8aeaca","datavalue":{"value":{"amount":"+0.8522094488143921","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":"Q2500700$D2826F4F-1C3E-4B36-8B8F-F1C0C071F039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930b05d6b762a4258476740cc7bc1c299fb62f63","datavalue":{"value":{"entity-type":"item","numeric-id":2946619,"id":"Q2946619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1859783f4a7290ce28601759d1568fbfaf7e74ee","datavalue":{"value":{"amount":"+0.8508999347686768","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":"Q2500700$0BA83B4A-747B-4A66-8CCB-761396973F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c772e1b6b8e8a8ec29bf0f6758eb499ab1616a2","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e530251a213f0f866ba69e461a178de1868d209d","datavalue":{"value":{"amount":"+0.8508095145225525","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":"Q2500700$EF7A46C6-C2D8-4B89-8059-85EAC38AA0B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500700"}}}}}