{"entities":{"Q1857285":{"pageid":1868027,"ns":120,"title":"Item:Q1857285","lastrevid":73572141,"modified":"2026-04-14T16:30:18Z","type":"item","id":"Q1857285","labels":{"en":{"language":"en","value":"Proving invariants of I/O automata with TAME"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870089"}},"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":"Q1857285$173407FA-FFE8-4246-B14D-28117FB8AFC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1064253f048f602c8369d6d6e4dca82b2be213a7","datavalue":{"value":{"text":"Proving invariants of I/O automata with TAME","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857285$0CA36ED8-6CC4-4556-8F53-1543B2F8F4B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9fff1fd4998cc88e23e3e1a139aa31f135cfc31","datavalue":{"value":"1034.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857285$2CFD8AB1-697A-43A5-9363-23E4386A2BC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fbae0072382aad63e72288d9c0e5bf4b7e408e3","datavalue":{"value":"10.1023/A:1016320523091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857285$1C299546-25B7-4BE8-8A09-0655CCAFF80F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"358f5679e9554adbd1f71043d4fb8def6ef8c41b","datavalue":{"value":{"entity-type":"item","numeric-id":315282,"id":"Q315282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857285$AC2EA2F0-EC51-4CF2-8A83-EE4F4C2F4EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a5e7f34f5647aa6603bde54bf3aa46d019e1c75","datavalue":{"value":{"entity-type":"item","numeric-id":633294,"id":"Q633294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857285$D15BA4E7-2E3B-4B9C-B8A4-293C969F95BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"494f22843e47887330b0ad777c9100ef7019ae07","datavalue":{"value":{"entity-type":"item","numeric-id":633293,"id":"Q633293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857285$445662DB-963C-41D3-AD68-EB751024D863","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857285$EBD5D025-93D5-44DA-9BCC-FEB4F5417CD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1857285$1304B648-C0EF-4102-A49A-931F9C47D7A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857285$96CB149A-E040-420F-85C3-AF6CD6A7B024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857285$6A82FA54-A000-4264-99EE-B087874ABD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857285$461FA565-B9D6-4F5F-8923-6F9CD26FBD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857285$71D1EDAA-1E8F-4D7D-9B25-0F4A451C2FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857285$7C749013-A21A-4A93-AFC5-08F3A8B787B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"120a9e5b478dc40840e638780d8546cd059d37c9","datavalue":{"value":"1870089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857285$643DD40F-8C67-4BEB-9A03-5BC1089A0871","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857285$46AA522C-D922-4E58-98AA-44D51792CCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"695b438a64cf92f97cfacd067a96b0dd0b1c8272","datavalue":{"value":"software requirements analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857285$C5D41061-176D-4DAB-8C49-18B4939DADED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857285$DE7BA10C-3C8A-4B71-9B01-3979803233C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857285$34335398-5399-40A4-B3C6-8D6C9BE1810C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857285$E06D0B19-0B5B-4C7A-A8E6-D962D9B1921A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857285$652DE62C-C250-4058-9B50-7D558D0833C8","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":"Q1857285$43F91038-DC22-4978-A988-440C70409638","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89787eeae13ca828b586adfe0aa6bb160080be82","datavalue":{"value":{"entity-type":"item","numeric-id":1601865,"id":"Q1601865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2960979b7dfbbba9f29d9f700716d3ff90b82f","datavalue":{"value":{"amount":"+0.8757774233818054","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":"Q1857285$B55DBA94-5B9F-4FD2-9781-59C7B194F27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe065525bfc4ee2a2c7ff8a421b0b9909ebe1823","datavalue":{"value":{"entity-type":"item","numeric-id":3002201,"id":"Q3002201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2960979b7dfbbba9f29d9f700716d3ff90b82f","datavalue":{"value":{"amount":"+0.8757774233818054","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":"Q1857285$42C16237-9FBA-4272-84FD-5AC68068DB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e992dac1bec6dd389398e6ca7adbd355bd13c35","datavalue":{"value":{"entity-type":"item","numeric-id":5897951,"id":"Q5897951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbe2bf3f729d21620b46c1a6ab13e643a9926cf","datavalue":{"value":{"amount":"+0.7744619846343994","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":"Q1857285$1EB479E9-D179-4343-B7C5-19A07B99CB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce35a2de932330b2b03afc04f0f971a5c9229d68","datavalue":{"value":{"entity-type":"item","numeric-id":4247083,"id":"Q4247083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45a7b8cb23cb769943dbe78c99dd38374857099","datavalue":{"value":{"amount":"+0.7680792212486267","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":"Q1857285$324C523E-83A5-4071-AA7D-5C295D2C4129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba11aea365327050207417956f298bd86563fab","datavalue":{"value":{"entity-type":"item","numeric-id":4239073,"id":"Q4239073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4330b93d5f2e42ac49fa71c0a6a5eea9e6659c6","datavalue":{"value":{"amount":"+0.7667682766914368","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":"Q1857285$F4C1BDC5-4CFE-4DEE-B04C-BD942B315302","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving invariants of I/O automata with TAME","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_invariants_of_I/O_automata_with_TAME"}}}}}