{"entities":{"Q2888503":{"pageid":2899228,"ns":120,"title":"Item:Q2888503","lastrevid":44708613,"modified":"2025-11-25T10:09:33Z","type":"item","id":"Q2888503","labels":{"en":{"language":"en","value":"CIRC: A Behavioral Verification Tool Based on Circular Coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040179"}},"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":"Q2888503$51AC58FC-9E94-46AE-85A6-33FF92FC01C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4ed14befbb54f341bbdaac3d69444f48b62850f","datavalue":{"value":{"text":"CIRC: A Behavioral Verification Tool Based on Circular Coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888503$A556F90A-1278-4EE4-B860-098C78AD9EE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b6e073769c47e2890d7ef658e220a07aaa548e8","datavalue":{"value":"1239.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888503$3B5BCC88-A90B-457F-9803-C4960FA05EB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"091c1250dae0dca08e5c861dee8c9b224d8fb951","datavalue":{"value":"10.1007/978-3-642-03741-2_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888503$4DEA2416-320D-45BC-961D-581CA6798967","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$4DA1EC3F-8606-4BA8-AEDC-08C70BCFDE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"392a50cb82fb05a2f2a440fd35f2b0d252f5c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":477629,"id":"Q477629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$761E1E0B-6236-4BB7-ABB6-198A873419DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb6c682ea1d2955b0fc3bf41511e38774bc37602","datavalue":{"value":{"entity-type":"item","numeric-id":2043808,"id":"Q2043808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$06B02ED9-2464-4AF6-90C6-D49BD10FE072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$8CDEDAF1-4D67-423E-85A6-A746763FEFCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$5CB04ACF-0124-4E60-8B73-FB06B0C898A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888503$59803AC5-41E9-4620-9581-BCCCA52A9966","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888503$BE1748E6-3AEC-4659-854D-E7CB064F7288","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d15ca3729a83411427b1d3a048c938b29d3c87d","datavalue":{"value":"6040179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888503$C1951713-CBE9-4B24-A3E9-ADCEB7AE311C","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":"Q2888503$390832C9-787D-4B5E-BDD1-BE81066718A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efb18dd13574d3fd4c2c2096e980e9cb7310f9bd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03741-2_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888503$F0ACF717-BD98-4D15-8B47-0689FF24716D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"033183134d4918e755b301aed72b41a34996418a","datavalue":{"value":"W1680684178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888503$6802F22D-4E86-48A8-8FF3-1D8512F9AF0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d2c3b6932f41417afb6a1d01edd4e5f110bc98","datavalue":{"value":{"entity-type":"item","numeric-id":1894002,"id":"Q1894002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$F851D423-64C1-4070-BB43-BCDAEC4A0921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223550176370d5043c2c4ccaed292fb5cb47cccf","datavalue":{"value":{"entity-type":"item","numeric-id":4330617,"id":"Q4330617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$204E86CF-37D8-4268-9A0E-98955763E11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf132045a21c8f39d628645d0f41b0ba009c190","datavalue":{"value":{"entity-type":"item","numeric-id":5900823,"id":"Q5900823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$6BD925B7-72C0-47A7-B0EB-11AD4FD7CAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0f21077419bb3e23f4e63ca54f333d1d198be4","datavalue":{"value":{"entity-type":"item","numeric-id":3612501,"id":"Q3612501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$F68A69A7-9F4E-4FB2-8A3B-F10CEE067CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$9122407A-76BC-4B5D-B461-B93B725261C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac77c1b6de7e95e9db5b26a18cc341fe18af5090","datavalue":{"value":{"entity-type":"item","numeric-id":3636825,"id":"Q3636825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888503$35BCAFE5-9337-4152-ABF1-BEF88325D7C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88d5c4105bd54b2dc07fa9bae0d1279569ce522","datavalue":{"value":{"entity-type":"item","numeric-id":3612501,"id":"Q3612501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583623412599749cc57f53f811eaf55ffeb2106c","datavalue":{"value":{"amount":"+0.89062107","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":"Q2888503$DE5A387E-3DDB-484E-B113-9F7A72F07CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd88f259a0a8927a98da247c6f4e34a6e078d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4222987,"id":"Q4222987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7fefd9162ee973a8de87635ee1531d599c3c5c","datavalue":{"value":{"amount":"+0.8476129","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":"Q2888503$FB7F9F27-5B1D-4DBE-A211-7BD7503F5E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6aa1e2276a6d311bc5445341af6628b597b2a1","datavalue":{"value":{"entity-type":"item","numeric-id":5312944,"id":"Q5312944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec02b3e1864c6ca49a1483d0a60fcf3ab9e0eea8","datavalue":{"value":{"amount":"+0.8423797","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":"Q2888503$68B1AAC7-E7C0-434C-981D-8C5A96CCE628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e1aaa0be958fe715be1b4b00dc87503e5eaecb","datavalue":{"value":{"entity-type":"item","numeric-id":4261314,"id":"Q4261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d55c0af826a971850ce1b77936039f74d427978","datavalue":{"value":{"amount":"+0.8341541","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":"Q2888503$EFCA7CD6-E33B-4B92-AF8B-3097ADF12558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5065466a7633bd531b5488ad49b124a5a0cfb0b5","datavalue":{"value":{"entity-type":"item","numeric-id":5316440,"id":"Q5316440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c535720c64851f996cf243855f4f468113f16f50","datavalue":{"value":{"amount":"+0.8325169","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":"Q2888503$A0156932-358A-4020-B386-CFC8C888292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806602fc7daf24c050d2c203dfd111ae30216068","datavalue":{"value":{"entity-type":"item","numeric-id":4028147,"id":"Q4028147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2359002721c52f017027a15b500f82cfa18613e","datavalue":{"value":{"amount":"+0.82991487","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":"Q2888503$E0E17775-8411-4326-B3C3-71979830C022","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888503"}}}}}