{"entities":{"Q5428871":{"pageid":7458445,"ns":120,"title":"Item:Q5428871","lastrevid":50223554,"modified":"2026-01-13T13:56:45Z","type":"item","id":"Q5428871","labels":{"en":{"language":"en","value":"On the Complexity of Ltl Model-Checking of Recursive State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215628"}},"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":"Q5428871$9416462E-BC6A-4FDC-9AB6-D074EEEFA65B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66837fe860e5baf13cf6d22890cf1b602df99dea","datavalue":{"value":{"text":"On the Complexity of Ltl Model-Checking of Recursive State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428871$FC5ED216-EEC8-46DB-B195-DD2697FC2D3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adde04ba499ac77763c5bac06a575b0129fc8b10","datavalue":{"value":"1171.68552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428871$9F0EB172-3CD3-44F6-9CD0-042905007D56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"315fb3e1f13ddfd2c35dc2461bfe8a675c2efb4c","datavalue":{"value":"10.1007/978-3-540-73420-8_80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428871$E11CCCE9-A51A-424E-840D-F8AC0CFC5E7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428871$4221827F-565A-459D-88A1-152DC234415F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a18e111e56a04dc2b8d1c99cdf070b4eb02f1f","datavalue":{"value":{"entity-type":"item","numeric-id":515664,"id":"Q515664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428871$9C6D8DCF-0676-4CFB-BD5F-3D02810531B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428871$BBCC73AD-727C-4B86-8120-764C946C9E94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5428871$58C49DD4-D4A5-4B59-B218-AF031E7FB8FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"986c97784d21941337eafed7608dcd6df53850e7","datavalue":{"value":"https://eprints.soton.ac.uk/272464/1/fulltext%25282%2529.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428871$0590195C-767F-4EED-8B43-8D55D9401E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428871$A4F0CFF7-0937-4F59-87B0-AD079BAD06E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428871$B76566BA-BDBB-4F9B-BB96-8BD6731BAF91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddfc5d3d08d1b5b13db687f0a15e1a3678c36f07","datavalue":{"value":"5215628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428871$DB229627-A36A-48A9-8816-B31EF7A7FB59","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":"Q5428871$E2D7D867-E689-4F85-9A99-08E52E1DAD69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b52f058e15136afc7a0858bb2e3d73cae260387e","datavalue":{"value":"W1777291824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428871$A5BD27FC-7090-41C7-8725-378A2CCC7A12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c88e87900cb53048767c8e65d3c53d0e7820ce7","datavalue":{"value":{"entity-type":"item","numeric-id":6045062,"id":"Q6045062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45dab8b302d1b4b109fe3dc30fe4323596deb120","datavalue":{"value":{"amount":"+0.8055607676506042","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":"Q5428871$E0802CE7-0CDA-4323-A394-AA0CF117CB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d086b21205e8ff05dfe3d242c1a32cfbf4927ab","datavalue":{"value":{"entity-type":"item","numeric-id":3648714,"id":"Q3648714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d36c37f561c8b181d96bbeb3e3e6d277804543","datavalue":{"value":{"amount":"+0.7967718839645386","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":"Q5428871$B868A1C6-1DF5-49A7-BAC6-CB30476BF18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29eb64f5dc5487e462322916b7e8d41d0cb95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4551151,"id":"Q4551151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291e3eeeefdfc60ddbee3fddcf6cefa822a1d549","datavalue":{"value":{"amount":"+0.7885892391204834","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":"Q5428871$E7C1EBC0-5777-4F9A-9CDB-EB302C181B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60551692e600e110ca5b90f3a1d772a55d43c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5703763,"id":"Q5703763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291e3eeeefdfc60ddbee3fddcf6cefa822a1d549","datavalue":{"value":{"amount":"+0.7885892391204834","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":"Q5428871$67A77B10-602A-4BE1-B75A-4B02D562FE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345ce6084d877d4521444930d1628629a7e3a3b5","datavalue":{"value":{"entity-type":"item","numeric-id":2946660,"id":"Q2946660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21e68cf6af1f5848c023e01ca0a7b5d70e60e87","datavalue":{"value":{"amount":"+0.7738213539123535","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":"Q5428871$61186EB1-3CCB-4F3B-8421-684A16DD9A02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428871"}}}}}