{"entities":{"Q2918989":{"pageid":2929709,"ns":120,"title":"Item:Q2918989","lastrevid":51565973,"modified":"2026-01-18T19:46:26Z","type":"item","id":"Q2918989","labels":{"en":{"language":"en","value":"Efficient symbolic implementation of graph automata with applications to invariant checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6089216"}},"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":"Q2918989$082C41F3-C360-4977-86B6-F5B383E87FF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c10c2cd09400482ee5985246b2344c90bcee576","datavalue":{"value":{"text":"Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2918989$F8128C95-F433-4E18-BB4B-700BD63769AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66b10541ab615f7a7e627918df098fe2dd287202","datavalue":{"value":"1367.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918989$4C80646E-C06B-42DF-9E97-6FABDAE4C9B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e54406ad4e4c9b4e7c72e9ff1bc3d88d31134e95","datavalue":{"value":"10.1007/978-3-642-33654-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918989$DDA749D5-ED5B-46CC-A7BE-7A62C37CCB01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457e138e2c6c87f7a8dc4f2d79af72ad8233d63c","datavalue":{"value":{"entity-type":"item","numeric-id":2918987,"id":"Q2918987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918989$50D79FDD-AA7B-41AD-A4C9-2D0E999F5968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d02beee11ff675aec575448839b0cc3f812fe7f7","datavalue":{"value":{"entity-type":"item","numeric-id":2911623,"id":"Q2911623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918989$BAD93E5B-5FF3-40D1-8165-BB292209DA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487997fe8e9f147935924c6c4561ffa17490e405","datavalue":{"value":{"entity-type":"item","numeric-id":2918988,"id":"Q2918988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918989$2585B731-4B45-433F-9E94-D32F7F24C715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918989$C93FDE1D-ABDA-406F-9C8B-E8856DFD5BC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918989$43CD47B0-9FE6-45C1-B5D6-F5071DF82276","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2b18871b9dfe4cee59e4785688f95ef52679714","datavalue":{"value":{"time":"+2012-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2918989$361B2474-FCEA-4EA2-BD9D-BEA23AF29D84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918989$E4BBCE17-E364-4218-B089-184211B2E401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918989$5CD54114-3680-453A-9298-D79DB3969300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918989$D242A388-7DFE-47DE-99CD-CB7C58C752BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c23565c09b7c43a9f0c08c708927674a79ae3ad9","datavalue":{"value":"6089216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918989$A00698AB-7B82-4F70-8575-2487CA8FFF30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918989$6F912F9B-2724-470A-A45A-6D8DF055DAC9","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":"Q2918989$A62A84A4-69C6-4736-90FA-9F971B0A86BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a68c2122a8967800ab85f07d945c3e146c64129e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33654-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2918989$071775B2-8013-427E-A9BE-B161773CB74E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff12e3bb629354ae422234a09a460d404bd876bf","datavalue":{"value":"W284384401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918989$1DB08B68-B501-4D21-A855-619C2F631951","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baba44df3ef8d032daa5653806c21343676e0b86","datavalue":{"value":{"entity-type":"item","numeric-id":4972013,"id":"Q4972013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66de451a93a27a86a5df560bab3a3540b9b3285","datavalue":{"value":{"amount":"+0.7909959554672241","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":"Q2918989$4B3ADB5A-7AA8-41CC-96D4-7CB2A9C90D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f5518c5e53f8f48a32defda3bae333744e6e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2947222,"id":"Q2947222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c5f78e3758c670be29b44bcb70411955e1991b","datavalue":{"value":{"amount":"+0.7661289572715759","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":"Q2918989$33242685-5CFE-492E-9711-4FDB5D82CEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19dc35d7c4820d0ccae697e6bfeecf803d01969","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86f16fb6f360c41e962e293b2fd2bf66d2faa39","datavalue":{"value":{"amount":"+0.7406045794487","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":"Q2918989$9385B395-279F-463B-A8A5-3D1AEC06C2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c721c745d925a3bb5c9e5f3df9ae8e2a1e97406","datavalue":{"value":{"entity-type":"item","numeric-id":5292598,"id":"Q5292598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a491ce323af66abfa59c20f2aaa898150cc719","datavalue":{"value":{"amount":"+0.7334516048431396","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":"Q2918989$DB24D401-60D1-4DC9-8B3B-E061434059DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7040d06ce40179a7105a0f37c1b7dedbafd43d","datavalue":{"value":{"entity-type":"item","numeric-id":1049792,"id":"Q1049792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b907653197884bac8ce442fa1fd4c65f4ce9bdd3","datavalue":{"value":{"amount":"+0.7271349430084229","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":"Q2918989$322D8335-147D-4A82-B804-1D7DF58DB484","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2918989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2918989"}}}}}