{"entities":{"Q5111907":{"pageid":7141481,"ns":120,"title":"Item:Q5111907","lastrevid":58429551,"modified":"2026-04-05T04:39:00Z","type":"item","id":"Q5111907","labels":{"en":{"language":"en","value":"Finite Models vs Tree Automata in Safety Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205335"}},"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":"Q5111907$9D0241C1-7A13-4464-8CF2-947C367A848B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6da68f72040050f629bc4fe4c0338cd2e3e22f1f","datavalue":{"value":"1437.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111907$45306125-B907-45B9-9AF2-FCA597928C6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111907$600FBD54-F676-44C5-A055-7E966A8912EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f252b3f333a627b0644a2e16dd0d23c51b396323","datavalue":{"value":"https://arxiv.org/abs/1107.0349","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111907$32A63172-17E4-4D70-9E87-A381C78CAD0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111907$EF2E9F57-470C-43F9-B177-A2DE0FD55945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111907$B726F0F7-1B23-4C3C-BB06-ABF8FE590AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111907$3FA77C9B-DC6A-45BC-9267-E9CC3140FF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111907$D45732DF-8B06-4706-B28D-32FA6CDB78BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c53338bd30a170b75f2683ab44e682cddbaf2249","datavalue":{"value":"7205335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111907$9F8A83DB-DF1F-4169-8703-53859E51FE5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111907$04E39E37-BB6C-46F5-A0B7-081ABC5435C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111907$CD8D2719-5077-4CC9-9E3F-0D6EAB20A8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111907$1995F33E-E096-4519-ABAD-6D312596FB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07fa6664c279b971fd3f8ef7147fe2b074581e6","datavalue":{"value":"finite model finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111907$D7BC0FDB-FD40-4D41-9E9E-1746EAF64739","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e9100254d03da2193ebcb0473e06193cec5626","datavalue":{"value":{"entity-type":"item","numeric-id":1662268,"id":"Q1662268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111907$A3CACF03-C4FA-4A3C-AB91-4B0CB3DA5E5C","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":"Q5111907$A9B816F0-D1D2-42B5-8F59-EAE5912B6D16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7b1638a88998e23593152002aafc962c8f87fb3","datavalue":{"value":"W2294895074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111907$BC8109EB-B758-4EFE-81E3-380359DA0859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c576ae0dec090a39189cbecffa74f29e16a3ff8","datavalue":{"value":{"text":"Finite Models vs Tree Automata in Safety Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111907$9E02F046-B2C0-4224-A17A-0EB9B9A3240B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"147fe998c1cc9b095b6b52928ce679358124353d","datavalue":{"value":"10.4230/LIPICS.RTA.2012.225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111907$FAF5676F-D725-41F2-A50F-1C4142A791DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785d1c64153f1f6e83dc2d72b7f0ad649acaa215","datavalue":{"value":{"entity-type":"item","numeric-id":5206955,"id":"Q5206955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cefbe6043cf78378358e5ba5a528d9c112659e","datavalue":{"value":{"amount":"+0.8740366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$FECC8446-7776-42CA-92E4-3908116C5E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbc586ad0abe505d6161c31ca23038c1cb08e75","datavalue":{"value":{"entity-type":"item","numeric-id":3522903,"id":"Q3522903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fc65351f74aba17bf9a59666b7b160f4edef4a","datavalue":{"value":{"amount":"+0.8651781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$C31991F2-C117-4E16-998A-9A4047BFB0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438f91a9e94ee899986a91489bd03b3401be3026","datavalue":{"value":{"amount":"+0.85600364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$5F91C131-EB90-4095-846C-E31E0AE3E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0f68188bcd501061d0fa1ab7c48e11db3eddc","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fad756a69ccef9b94d031ec3ed3b962e8d83720","datavalue":{"value":{"amount":"+0.85593987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$02115E7F-B753-40B9-A256-7C68D1584E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aaf6cd40d4afaabbe1e4ec2041e6cbaf13e4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4564162,"id":"Q4564162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f4a4abc51b0eb8ff5f1769c9bfe0d5734e2622","datavalue":{"value":{"amount":"+0.8541632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$E3EB2A03-E47C-4A2C-9498-69FBF8E346DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0766b5576fcb4861b99a8cd22ac2ba79b28c2eea","datavalue":{"value":{"entity-type":"item","numeric-id":839994,"id":"Q839994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70be9788f9b767057fba3e3b06f9a069ff52385f","datavalue":{"value":{"amount":"+0.8474815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$B43F6C2E-4EA8-4C8A-A36B-451EA56B9AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eb611003393c1dc0205556b91d6c0ac6c96c45","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a039465c58a6bb499b6a54ac571c7737ca511c","datavalue":{"value":{"amount":"+0.84742296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$57D6522B-CD6C-4E7D-96DB-4A5B1890C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0e61f424e98c0fa4b18ca991a4993a14787a86","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a039465c58a6bb499b6a54ac571c7737ca511c","datavalue":{"value":{"amount":"+0.84742296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$E7BB6575-6FE9-4C41-92EA-CAA77491936E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178b814139f2dce1d4d74300894e54f300141c05","datavalue":{"value":{"entity-type":"item","numeric-id":4503921,"id":"Q4503921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb5c4fafa4b1a8c014f9196a3ac208f46fababf","datavalue":{"value":{"amount":"+0.8470844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111907$7C87A7AD-DFF1-48B4-B10E-E9E98B434896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111907"}}}}}