{"entities":{"Q2568446":{"pageid":2579189,"ns":120,"title":"Item:Q2568446","lastrevid":44368821,"modified":"2025-11-22T09:33:37Z","type":"item","id":"Q2568446","labels":{"en":{"language":"en","value":"Typestate verification: abstraction techniques and complexity results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2213173"}},"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":"Q2568446$0AF30003-2422-4571-8DD3-6D7B7FC0866E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a4582d8e7deb5dddc4ee19cba9bc5ec329049dc","datavalue":{"value":{"text":"Typestate verification: abstraction techniques and complexity results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568446$9EE3C7DF-6AA4-4482-ACA1-A3B8EF6791CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"783cfba91b1a1fb59aadb2a732fdc17836627079","datavalue":{"value":"1088.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568446$EC97013A-ABC1-44D2-AAE0-3573B641D8A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d208141bc41673e028cfe04d8fe99d63fd222d","datavalue":{"value":{"entity-type":"item","numeric-id":436393,"id":"Q436393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568446$E46F59E7-A118-49D3-A32C-4EE835DAF014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568446$164EFB88-DE21-4D1A-A470-5E5EA441BAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a072d79dc10dd470eae0ea36d8621bc918b9d6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1004059,"id":"Q1004059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568446$E238290E-603E-473A-BBB8-BD97F2400AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57608c10f2d24e5f0ba3974be8f10a5229694359","datavalue":{"value":{"entity-type":"item","numeric-id":815000,"id":"Q815000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568446$49533C0B-8581-4B73-B05C-793291FF13FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568446$86F62069-E704-416D-A77D-7BD8ABD7B36D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ad81c392fb16ee79fdc0f71bc6ecae74b0738e","datavalue":{"value":{"time":"+2005-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568446$5A56F0EA-C378-42D0-B9FB-92F8D1AB8D01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568446$CDAFF937-A07C-4D36-B3C4-2D10F21F68F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568446$C517A91B-16F2-47A1-97F4-F237901424B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568446$169992BE-BEED-46B5-B844-AE82470BE60E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1230629dc65228113c284966f2bdbe701a46898","datavalue":{"value":"2213173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568446$0BBDA1A4-0934-449B-A542-E77C3AEDF84D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d93591094c54ef39faa0f3aced2853d81b84dbe","datavalue":{"value":"typestate verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568446$8409B52B-DAAD-4EB5-83EB-DDA0F38B17E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568446$E86F8E74-3C32-4E88-A939-70C92BB214FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b0583ff8274058d62dd7f72531fdd002de9db","datavalue":{"value":"pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568446$6A8F0CE4-F55A-4CBE-B4D3-3081017CEE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3380896d6ec1566f755b387b501ebe890e0951c4","datavalue":{"value":"alias analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568446$54A55268-FE94-42EB-AC2A-77485F13E6F8","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":"Q2568446$FD3A0EF6-3166-474D-AF42-9DBF9350AF05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2abd3fbcebeee52319f5de76f9ca2d9f6aa152ce","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.02.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568446$611FF6CF-1462-4442-8F5C-16CD912432E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56481bd29a4d1c5317e15433ebab93faafa3161f","datavalue":{"value":"W4235481015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568446$CF975624-B0A9-480A-9C48-EC952E6C3AA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0a6d0ae01ea7d9db12af9139bea681c359a9231","datavalue":{"value":"10.1016/J.SCICO.2005.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568446$409DAE86-EB24-4EEF-AAF7-D15DC552BABA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8417069816bf63c12f47d43777f723b0af5355b","datavalue":{"value":{"entity-type":"item","numeric-id":4813415,"id":"Q4813415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q2568446$9296AA6F-B41D-492A-8760-50E5EB1CA979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5363569a6573600960dd9b6d5096471d63dc063","datavalue":{"value":{"entity-type":"item","numeric-id":3401956,"id":"Q3401956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4d528c049363178f4be3f8d475b0b12c31a55c","datavalue":{"value":{"amount":"+0.9033544","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":"Q2568446$45C8DF96-0B74-4C3B-92BA-503B27E33E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebe5a62b96d9785a280849d04f2c10f5b1201a6","datavalue":{"value":{"entity-type":"item","numeric-id":4736999,"id":"Q4736999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01f4bbec9737e4809d2f0f45ded4f14af40f381","datavalue":{"value":{"amount":"+0.89561325","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":"Q2568446$B1B43EC8-D90F-40DF-A291-01FDAA561835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66fab79a353055e2170435173949aa5a3a9842d","datavalue":{"value":{"amount":"+0.8902234","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":"Q2568446$22823FE1-BA93-49CD-BCB3-8C8FF1B018ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f19bef1e14c769e4106dbb86627c8e47637170","datavalue":{"value":{"entity-type":"item","numeric-id":4039815,"id":"Q4039815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b59d747ae9343a7305eeb07e7b086585080eea","datavalue":{"value":{"amount":"+0.8854985","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":"Q2568446$9A4D352B-D201-4D8D-9F94-16AF9E4CA567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4f9a7383f542082834062c3e5d00d948918b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f973509b56071621aa5d8c24d3c5b6a56c73482","datavalue":{"value":{"amount":"+0.8834813","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":"Q2568446$87890B17-60F7-4449-BC8C-FC39330E78F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe83d322ad211062f70bfa17e17d146ea2fbd91","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1043ed5c9ab1c3dadacfe0401953e358a5706e8f","datavalue":{"value":{"amount":"+0.8818029","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":"Q2568446$E790FDB7-8830-4BC7-A117-ACF4210A13AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568446"}}}}}