{"entities":{"Q6535615":{"pageid":14146758,"ns":120,"title":"Item:Q6535615","lastrevid":95489561,"modified":"2026-06-05T09:08:39Z","type":"item","id":"Q6535615","labels":{"en":{"language":"en","value":"From bounded checking to verification of equivalence via symbolic up-to techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798026"}},"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":"Q6535615$DE904E67-19C5-4297-8A25-CB8435DC1774","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"157ee4a6d7c0dfdf211a44773464df01b7f6ff77","datavalue":{"value":{"text":"From bounded checking to verification of equivalence via symbolic up-to techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535615$F794B1B6-2398-423F-B029-2E1C52D85B1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51a72545134efedcb10cf26a57699f76b6c996af","datavalue":{"value":"1547.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535615$B0A5A544-F533-4C7D-A21F-E9BC92E0D002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb0268c1247885e780a48667c2c66908fd70d87f","datavalue":{"value":"10.1007/978-3-030-99527-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535615$73B4958A-C33A-4DC4-A978-B27708E36F57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea96b392951ec1833f9a7654afda9da933112fd0","datavalue":{"value":{"entity-type":"item","numeric-id":456464,"id":"Q456464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$E9FA2626-8DDA-4124-A906-4C777F177F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cbbc7289f1d858ea32f876d506424ab276d39b2","datavalue":{"value":{"entity-type":"item","numeric-id":6535614,"id":"Q6535614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$19F2A504-4C26-4DD2-B901-80262D75F7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$BDCB3D8B-3244-4E70-91C7-B7EB6288A548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-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":"Q6535615$58A280BE-5DA9-484E-8096-61EFFC4BEC67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535615$C3164BAB-70B9-4750-91A1-97FE6F2C01F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535615$CDDE0022-7C9B-4E2F-AC28-617B68FB5B01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7b3524845b3628eaa93b74dbe96060dd1bd4efa","datavalue":{"value":"7798026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535615$FD4D2AFE-B55F-4203-B7BC-83274BD4A29A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535615$B46CB8FF-7D8A-4456-86E6-C8922626F79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535615$F58A7766-7A86-4C32-B3AA-9F61C97BEA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50995c35cf8f618870cb3d3e0ece6f60dbc0cadd","datavalue":{"value":"symbolic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535615$AD5CAA1D-667A-467F-A2CD-491D3476E1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535615$3C7BF550-CDAC-471E-BC3F-5271159B4204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a465ec5110dcdbeedecb8c2d0a4222cad08e4941","datavalue":{"value":"operational game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535615$0F486323-3F61-4A4A-A8CA-011CA6F600DD","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":"Q6535615$A9EB333A-E406-4B48-8871-3EA29526B357","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$D4440083-B3B8-4CBF-9D46-A6BF934EC6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$2579ECAB-F048-433C-9B58-D2B2DD070F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a09cccdd730facc51bf400b37836cd56dd3b94","datavalue":{"value":{"entity-type":"item","numeric-id":2289066,"id":"Q2289066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$28265993-CCF4-49DC-A8CA-773A2E64A3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be2b55c26066558b2b0eab18ba7aff923244432","datavalue":{"value":{"entity-type":"item","numeric-id":5385588,"id":"Q5385588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$31A36A64-74E2-4B1F-AB25-2D140AC76881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$F7E4C506-855E-4FBD-9B35-6FB26E6E8A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3402b658120540eec801a4fff8e839211add8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":477213,"id":"Q477213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$9F587381-0B5E-4BD1-B48C-4DBD92EE420C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98855e5f63a687d22ad5b8fcf60eef7c9c99fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$28BBA504-F8CA-4EE6-A22D-5817B4AC9A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfda309eb42a5b38774d05c4351d124f0ce0084","datavalue":{"value":{"entity-type":"item","numeric-id":2942857,"id":"Q2942857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$92EE85FD-5053-43B3-BACE-EAC605FA3E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6859ab3688478184b220c554f2f4c4b0e413a5d8","datavalue":{"value":{"entity-type":"item","numeric-id":3460912,"id":"Q3460912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$27C653C3-B224-4C49-A8D0-A1EF0688B2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$8FA285C5-F561-441E-8787-2569A1D4E1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4b79829f8fd84af3b54b011e9baecc4634b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$BCD83FC3-E337-493E-A9F9-DC61E0ECDDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5583e5c752f6e319df38e82d83799f2bcbd1ad81","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$F0916DA6-004D-4353-B637-124F09C4956B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40059917d0d7b1cf8ff9391f3c31bb04e97eaab5","datavalue":{"value":{"entity-type":"item","numeric-id":3460566,"id":"Q3460566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$9CC56936-0559-4649-A4B3-80BB585EADEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce730ee7a5403b7df2b306c982f584f0979db721","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$98AF41F0-527A-4D7E-9922-072B2E9A052C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$6A1CC54A-D764-4709-A73B-5D3EB1E56489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$622D5EF8-4C67-4604-8E01-6FC957554FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4750cca92184ae4b471328f5c701fe49a2c218","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$072AB0A6-D98D-45FC-B80B-7ED1E7F1E063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7ab1a2d532c3e5489264d89121b40bd2d66cca","datavalue":{"value":{"entity-type":"item","numeric-id":1682291,"id":"Q1682291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$24F8CD74-A931-43B4-AFA0-9DCC4D0B5CC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cdce444517eeaa7e38b0700124fddeaa943257","datavalue":{"value":{"entity-type":"item","numeric-id":6535909,"id":"Q6535909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73556d710ede835ef8f861e14941ee1b44dd2790","datavalue":{"value":{"amount":"+0.7382311224937439","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":"Q6535615$F1AD29B0-CB44-449A-8046-B9F525E433FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da644fc535911241c85fc174784d19f18fb743ce","datavalue":{"value":{"entity-type":"item","numeric-id":456473,"id":"Q456473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f9a11583429d533b22e7c86274b24bb5ecbddc","datavalue":{"value":{"amount":"+0.7337120771408081","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":"Q6535615$E7FB8B26-75E4-4125-8CB8-55B10B031D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb197472a54bc454969477413d2cdbc7e0105ff","datavalue":{"value":{"entity-type":"item","numeric-id":5953448,"id":"Q5953448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5323dc00a89555759d058ca1ca8768d40e475713","datavalue":{"value":{"amount":"+0.7253236174583435","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":"Q6535615$6971A4A9-A9D7-43BF-A55E-963E8BE96E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042ef2cd465ead97b9a3c891c0bdb2bc37373421","datavalue":{"value":{"entity-type":"item","numeric-id":6163887,"id":"Q6163887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368e4aa1f9e40ba3326633a20529c912600ec68b","datavalue":{"value":{"amount":"+0.7215374708175659","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":"Q6535615$CDFC067E-2477-40A1-8E0A-5DC43D006D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7e2f9eaac4dfb8cdd29f492af317b82cfb25a2","datavalue":{"value":{"amount":"+0.7184887528419495","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":"Q6535615$80CE592C-FA40-48E3-9C4D-3D7739997868","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535615$00F3B4F1-18BB-4315-BCAD-8B7FADA5D315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From bounded checking to verification of equivalence via symbolic up-to techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_bounded_checking_to_verification_of_equivalence_via_symbolic_up-to_techniques"}}}}}