{"entities":{"Q2575734":{"pageid":2586477,"ns":120,"title":"Item:Q2575734","lastrevid":48606679,"modified":"2026-01-05T08:59:53Z","type":"item","id":"Q2575734","labels":{"en":{"language":"en","value":"More efficient on-the-fly LTL verification with Tarjan's algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235821"}},"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":"Q2575734$6AAA22B0-C87D-44BB-88DB-5E5F7C8853D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e35ef854a33a3af99b83d873035cc3993214701a","datavalue":{"value":{"text":"More efficient on-the-fly LTL verification with Tarjan's algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2575734$69DFE3C7-AFC1-4702-9B5C-7907E67AD11F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"082ce67881f5044592c5a24e3015342393c95ca5","datavalue":{"value":"1079.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575734$0B43E3E8-150A-4F85-B118-641B59145D8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b9440ba84420a1b52bcdc0cdda948608033938f","datavalue":{"value":{"entity-type":"item","numeric-id":2453537,"id":"Q2453537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$3051AA2A-FB84-4044-B66F-F30043ACDA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$19C811CF-94C2-4C2C-AF43-074FF8A83CF9","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":"Q2575734$C3295988-E50A-4C96-9C6A-3952AD4ABF70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2575734$BDFBC0C7-4BB5-4BE1-BE1E-AE424FCEE8C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575734$66054C91-6956-43ED-80D5-FB6F647BBB4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eb37c692c8a71785155c7d1132b9883d7f431d4","datavalue":{"value":"2235821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575734$00989BFB-C862-4D87-BA16-2DDA5A549EFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575734$3C6E721C-32E8-4EE3-9231-3697D132BF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575734$F99F1218-2049-4AF3-9CAB-C5FA52C055EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$0E8C442F-F081-4928-BE2B-A6D8D7761CDB","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":"Q2575734$617222D7-026E-48C4-98DC-6B5E0600A99C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83a5935abb3a0c2a74edf1e7a4321657b21dec0d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2575734$AB150079-34A4-4468-BB5A-D27595DB3C03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76f70aa452308261dc6bd5e4981cd7cb68739d4e","datavalue":{"value":"W2070638102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575734$424E9C69-9121-477C-9216-6554315EAE6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$99B74BB2-7455-4047-89B8-3358703F7507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b4581bc83587212b62cb05e1a5626286213a57","datavalue":{"value":{"entity-type":"item","numeric-id":4037388,"id":"Q4037388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$E428F6D1-A9E2-4268-9550-2CE31593007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$9016E307-0CA0-400B-BDB6-E0FDEEA32CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$8CA9E51B-0906-4DF9-87F9-0C9D156EB7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$E20CCCCB-9E8E-4B45-A146-16B2297AAFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$3F8E25A5-8493-47EF-89CA-C6145BFA3D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1b6ccdc40b1eaa84db87b74ef6f0227e0afac","datavalue":{"value":{"entity-type":"item","numeric-id":5308368,"id":"Q5308368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$83872153-4FF7-40A9-8858-012547E3D58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$2FF949AD-0CB9-46F3-99D8-FAAA430A9169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b474f789d14531f0fc6614a477dcda6a4c85201","datavalue":{"value":{"entity-type":"item","numeric-id":5308408,"id":"Q5308408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$89B3E35F-7ECE-4B1A-B993-BBCB6A3D273F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$F6CCE6BC-04FC-413C-B6F6-3D6FEE2A49AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9da60a7b89ed85c50afcb702099ad11a9c17ef","datavalue":{"value":{"entity-type":"item","numeric-id":4426376,"id":"Q4426376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$5D20DF99-E15A-4F69-B2B5-59AD41FD3B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$44777D6F-A637-4C70-A180-1A1EE9F990BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e6911d9bd315e5fec4aa635ac4ea55f8575292","datavalue":{"value":{"entity-type":"item","numeric-id":1856175,"id":"Q1856175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$6AE6F2E8-6B62-4244-82F1-1F25DB312A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48285d7d94d89078dd06f23e826d5dd5defbc678","datavalue":{"value":{"entity-type":"item","numeric-id":1313703,"id":"Q1313703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$3C0A5E29-6212-4BD6-BF65-38B1CCCEF8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec0b2114bec86e4a18702b9d2f90619b71a3933","datavalue":{"value":{"entity-type":"item","numeric-id":2996152,"id":"Q2996152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$9B9CF68E-2588-42EB-A88E-95E6455DA28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd710567ea32101f4f565557411a471e90460b23","datavalue":{"value":{"entity-type":"item","numeric-id":1144380,"id":"Q1144380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$0A44C55C-2C79-41D8-9BB3-3439E39B24B0","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":"Q2575734$BC2723B6-15DA-4318-97FE-0C54C33A5CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d368581606fa0b78f626e8ba11b24daf9524eab8","datavalue":{"value":{"entity-type":"item","numeric-id":4763060,"id":"Q4763060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$27E5B1CE-966E-4B61-A1F4-6C62DC9376CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575734$4F84C79B-8EB9-4CF2-839E-2A1FF5B0AF16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9752de2ec471a81383804f3ced6882e43794c347","datavalue":{"value":"10.1016/J.TCS.2005.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575734$E4896D4D-FC67-4EE4-9AC9-E7B0B3B01AD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665303797a0220d4c7a0e20b01c87b3c70c0c346","datavalue":{"value":{"entity-type":"item","numeric-id":5308408,"id":"Q5308408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0e922664476412db433c43e62ae78517ecda37","datavalue":{"value":{"amount":"+0.9705520868301392","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":"Q2575734$AB0234F4-AC79-40D2-8D9D-68A0481E90B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e073d1f114be80c5e1701536c3e1cac878b38a19","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5503242047fd5d273a04f4a1ce55b95b995edef7","datavalue":{"value":{"amount":"+0.8994078636169434","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":"Q2575734$36C41D54-2A0F-482E-A6C0-ACB1CD443FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f5f09a1984d0a03a303ec39095aadc5588f747","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca77d319486c3a88e925cf4a9057d974c428521","datavalue":{"value":{"amount":"+0.823776364326477","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":"Q2575734$32A33D33-8503-4A16-B181-4156A090FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa6e05bdbaddde00cfd98b5e2e7a17813330fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2917302,"id":"Q2917302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5383ea668c19313b6a92fe50b049ff4ec1d33c8b","datavalue":{"value":{"amount":"+0.8150777220726013","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":"Q2575734$D5CCEC5C-E793-42A1-8A9E-55128951D665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437607af391ec995ebaf65df50fb4d6a29c6f1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5899036,"id":"Q5899036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56a60377b0cfdf934cb655b127233d496910863","datavalue":{"value":{"amount":"+0.7819921970367432","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":"Q2575734$2A3BEB1A-7043-4CCF-8F1E-F02207407FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2575734","badges":[]}}}}}