{"entities":{"Q5404926":{"pageid":7434500,"ns":120,"title":"Item:Q5404926","lastrevid":75623707,"modified":"2026-04-20T10:13:58Z","type":"item","id":"Q5404926","labels":{"en":{"language":"en","value":"Reachability Analysis with State-Compatible Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275873"}},"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":"Q5404926$60B8EBE1-7C1E-4E5F-B5DB-5B931E327571","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"838d5f6c6f8cc2c792f33def2335959d6c0457bd","datavalue":{"value":{"text":"Reachability Analysis with State-Compatible Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404926$561F76AF-063A-487D-A234-C8C1DA612CD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0828c904e85774da52bb49dbd7562c94b9fc12bf","datavalue":{"value":"1362.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404926$0CE74B94-A5FB-4A41-AEB7-8EF2FA921A4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b65e521f0ce9b3ec51c645ae672d83238f6c2f1d","datavalue":{"value":"10.1007/978-3-319-04921-2_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404926$4B017A6D-F34A-4766-A1F0-91A26A638AC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e621a15e62a289b8ae90fd2dd0602a0ee81e78","datavalue":{"value":{"entity-type":"item","numeric-id":515685,"id":"Q515685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404926$0119C92D-4990-4329-8513-EEEDCDE0F383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404926$76D7A460-67C9-484E-BC01-2FD3E73198E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404926$A8CA5C86-7DB2-4A47-9937-3938514E3AC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e689efeed0c46be7915f5b012baebda52ae8ac8e","datavalue":{"value":{"time":"+2014-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404926$CE3E926E-A892-4325-A747-020687DFC633","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404926$E41EB499-5231-4EA5-8050-DC90E6505581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404926$4EAADAC8-2C8F-4BF8-93B9-B9F8AE449E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404926$1594AD03-F84C-47BA-A5AC-77C2F3BA411B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66d99cb8a67b7f976c304aa1c877d7a913b902e9","datavalue":{"value":"6275873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404926$6DBCE06E-2CDF-4B28-B24E-DE1BD3D83C6F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404926$D5A282FC-0D17-4DCB-BDA5-83B0DBB40754","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":"Q5404926$1533317D-0820-4571-B10C-6061E04C2702","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f85fbc42c75502bb2e1b8d3692541f0b6db4068a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-04921-2_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404926$6E3F1B01-6EE5-4BC3-8B13-E20A9C389D50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7abb8f8207c4dbc6847aae08295c58e83fc37c8d","datavalue":{"value":"W92427928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404926$E5D3F4B8-290D-4F03-A33A-CA0A17F966D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f2a2ba8ef5350655d97fd947cb8f1393b11c01","datavalue":{"value":{"entity-type":"item","numeric-id":515687,"id":"Q515687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39991229613e67f7f8381264949e7a674b03482","datavalue":{"value":{"amount":"+0.96826816","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":"Q5404926$B983DC8A-83AA-434E-A383-38D19F3BAD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae484af320a409691d51437439fc4eaac73d92d","datavalue":{"value":{"entity-type":"item","numeric-id":5505554,"id":"Q5505554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec048ee653ad0cda1b91ada2181d63b86dd4a10d","datavalue":{"value":{"amount":"+0.8885185","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":"Q5404926$D3FA9154-7D56-45CA-9227-B9CD311EAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457316d914ac916a1a9a3ee4a091be9c5a9f2de9","datavalue":{"value":{"entity-type":"item","numeric-id":3172877,"id":"Q3172877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695812811f5abb006acbadf341aff4029a7588b7","datavalue":{"value":{"amount":"+0.88547397","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":"Q5404926$00C3B153-55B9-44AC-B361-1A5DEDFFA924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e67424fecc2cf18056b2a7fa15f3cbd752f464","datavalue":{"value":{"entity-type":"item","numeric-id":2753750,"id":"Q2753750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe3c6134481bce8d3c4e4f077da0d80c8822621","datavalue":{"value":{"amount":"+0.8827232","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":"Q5404926$D5CA8A30-E50D-4587-BD15-1D0BC980D88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604912838eb462060c8308f7a835a30339486df8","datavalue":{"value":{"amount":"+0.8801504","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":"Q5404926$AE262378-E48F-408E-9C61-C7F98FAB7610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34126eb0be5d3fdb1b8938c1b5e42abc078f6d2","datavalue":{"value":{"entity-type":"item","numeric-id":777990,"id":"Q777990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c81f05344b31c1f3a2f48197b817f7c4fd31e3","datavalue":{"value":{"amount":"+0.8762757","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":"Q5404926$7E80A969-28D2-4AC0-8101-57A7C762085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61443c8ec80ce7ab2d52421cea1e77854acc26e4","datavalue":{"value":{"entity-type":"item","numeric-id":4645732,"id":"Q4645732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c512a4b79d3b998f42ae927ac4ddfdf06d15f82","datavalue":{"value":{"amount":"+0.8728548","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":"Q5404926$5E2E05E4-0094-4FFC-B423-661686CC2667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1105fdfd8e3156866e395bedee1f93252b6b861","datavalue":{"value":{"entity-type":"item","numeric-id":1127549,"id":"Q1127549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212b6fa679d6db38151a848f24a184478d9c88ac","datavalue":{"value":{"amount":"+0.8707128","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":"Q5404926$F4CE31CA-22CE-49E5-B5DE-3E93245E4A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79a54a5aacae3f5aca66bd3ea851788946fe8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4633167,"id":"Q4633167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af419b5b99971234f3a8f5671d35e3ae56714547","datavalue":{"value":{"amount":"+0.8688001","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":"Q5404926$C50526FC-7060-424C-9138-2F895560DC6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability Analysis with State-Compatible Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_Analysis_with_State-Compatible_Automata"}}}}}