{"entities":{"Q1744456":{"pageid":1755198,"ns":120,"title":"Item:Q1744456","lastrevid":53069807,"modified":"2026-01-24T04:08:41Z","type":"item","id":"Q1744456","labels":{"en":{"language":"en","value":"The approximate correctness of systems based on \\(\\delta\\)-bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862982"}},"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":"Q1744456$57421517-85FD-4DE9-B4C9-24601BE9BCFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b93e145e81d15fb2372373f1af51be88f1e905ec","datavalue":{"value":{"text":"The approximate correctness of systems based on \\(\\delta\\)-bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744456$BCC642B5-FE4C-4666-9952-F8A7171AC17B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5257c5b0304b3b70ec2f1a0cbaec56c75950d480","datavalue":{"value":"1392.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744456$82D343F0-5799-422B-B5CE-9E7225B94B36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6727f902e49839f6e7f359fa77c1075b9ffc1814","datavalue":{"value":{"entity-type":"item","numeric-id":473366,"id":"Q473366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$76B3BB42-4D22-4679-80A5-9CD43CF528C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf29f8962a454c5a5341d1d1dc6aeb1dbbf6cef9","datavalue":{"value":{"entity-type":"item","numeric-id":592522,"id":"Q592522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$062652A7-2286-45E9-B41B-E77FBD46C47E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744456$D149B95E-56D7-43B4-A381-9E8C525C7898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744456$EC7CE256-DDF9-4797-B436-6DEDB5B6D42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744456$74EBC37B-747C-4CBC-949D-FF50800A189C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744456$14C791A8-2186-4C83-BFA4-D508E320B5EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ddb22eb1b5aeb4029801f89fce75a397c89106a","datavalue":{"value":"6862982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744456$32F0D412-740F-4FBC-88E1-5E79F3D0F90E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25d423a47f8cd79115938402bc44232e73fb88a","datavalue":{"value":"limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744456$8DB3532C-5ADA-4E70-974C-9F16141178E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744456$52AC5A82-8A5A-43F4-8D05-9615431E006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744456$E1A4173B-893D-4DC2-9BF5-5919B21617B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744456$01CE87B5-EA43-4921-AFCF-1136D84C0B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7495fef720c33927e87d95d79f56a96a7d184d5","datavalue":{"value":"fuzzy system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744456$681E6D44-9EEA-47F5-97AF-AAE7BACBEF1D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bdb70da65b202bd0837a1e08966af3ab8a9dcbd3","datavalue":{"value":"Q113317586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744456$4AD7959B-FB7B-45C8-8CB5-E3100E390926","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":"Q1744456$E2C66052-3373-4BB9-8394-AA297B1FAEEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d27df4859455385ee1f6c1e51263ace5512af619","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2017.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744456$7697082E-6386-4212-88FC-8C33AA74BB9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d81052c002081468fe25e442168b56eef170b97f","datavalue":{"value":"W2760372412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744456$BB6FFC76-365B-4D4C-9C5F-017BE0E877F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e40a1f793339ead5f008d0e9d1dbf8eefed51e","datavalue":{"value":{"entity-type":"item","numeric-id":5900586,"id":"Q5900586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$D5066E68-5AC9-41B0-88DD-E9CC6121756F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79d3780dc4cf24dca8a59d2b5d0f5a7482ec68b","datavalue":{"value":{"entity-type":"item","numeric-id":971582,"id":"Q971582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$AFC800DE-25D5-4031-9D3C-852298186DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2422043c4a4f78a66bc3c5b14cbd9ee6e271eab","datavalue":{"value":{"entity-type":"item","numeric-id":2701735,"id":"Q2701735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$AF27B961-3B97-4806-B35E-54BEC77A98DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2004da873feaf2c2a6c854f4858a83eee7d733d","datavalue":{"value":{"entity-type":"item","numeric-id":1606119,"id":"Q1606119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$FBBFC565-B3F4-4722-82C3-D60ACCE91C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625de7b884f4d59f435c8abb0140d4a07ae34f3","datavalue":{"value":{"entity-type":"item","numeric-id":2453109,"id":"Q2453109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$B04DEA60-AEBF-4E35-A46C-CF183F56EEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$EFF53D99-9FFD-40CE-B13A-47CA30020E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a036d0400be981c6a68bed3991112eb05ee9aa8f","datavalue":{"value":{"entity-type":"item","numeric-id":2994479,"id":"Q2994479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$D63E7CB5-8233-4725-9FAB-46FE4C9EB42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05a54ee057d4c69360a37cd026035c8f419ea64","datavalue":{"value":{"entity-type":"item","numeric-id":458130,"id":"Q458130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$25C7608B-8B6C-47D4-903D-F7FA9678119B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7007a97722cec737a978299b7039bb39facb3c","datavalue":{"value":{"entity-type":"item","numeric-id":2353987,"id":"Q2353987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$2A64AA23-C7DD-4CC6-AA3C-68B66665E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0688b70732c897d7770c2964beaac7ff201e748","datavalue":{"value":{"entity-type":"item","numeric-id":5259293,"id":"Q5259293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$92B2BE54-86B2-403D-B6BF-2D8C4824E2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5999c0149b370a8920153e91179f049f665f2c05","datavalue":{"value":{"entity-type":"item","numeric-id":473367,"id":"Q473367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$D6D47648-442B-4149-87DC-04D6F60FFFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$0D66BAD1-295E-4EE0-A7D9-39C587154619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5861c62396208c25b39d129257f274dcac62d0","datavalue":{"value":{"entity-type":"item","numeric-id":5312888,"id":"Q5312888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$F8F0929E-DAAC-41ED-9174-FF0D8D513CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$4ED18A33-5ECD-4936-AB9E-F232F1E0E429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e5039dae357336c077d411be3733ff0cbac146","datavalue":{"value":{"entity-type":"item","numeric-id":4064160,"id":"Q4064160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744456$DA8A885E-AEAC-47C2-93FC-87FB6A3FA607","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"885986446e581ed8aa5a0720ad609103b57ca277","datavalue":{"value":"10.1016/J.ENTCS.2017.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744456$F5BFD63C-D13E-4BA7-A7AD-C66169EBE9BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc14111fc7888d1f6e1bc0c139813a021c6f04f3","datavalue":{"value":{"entity-type":"item","numeric-id":458130,"id":"Q458130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c779d5e3053ba4865c9ee46ab4f19c4632e28e86","datavalue":{"value":{"amount":"+0.7866992354393005","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":"Q1744456$40EDC160-5D3C-4FDE-9C3B-8C23764CAA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a4717edb2c0b89de3d3bc980a6a1740976e7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6755f96d45532da6d1e3ea8ed756aa50028e6617","datavalue":{"value":{"amount":"+0.7756012082099915","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":"Q1744456$DEEF6F4A-DB99-44D5-8B0F-FABE24B5D08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec2972df9828cfb7c04a73b4797ddbd8b038961","datavalue":{"value":{"entity-type":"item","numeric-id":1664851,"id":"Q1664851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd64a9228f115cc3c6f945f2a138ea04f6307aaf","datavalue":{"value":{"amount":"+0.7515429258346558","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":"Q1744456$B1B7A843-8C57-48F4-9526-74A17ED68056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd4f04a624973235e93ce590c05163722e3eba","datavalue":{"value":{"entity-type":"item","numeric-id":4992498,"id":"Q4992498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6072e955f277fcfdb02660fadd8abb908fc0b79a","datavalue":{"value":{"amount":"+0.734973132610321","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":"Q1744456$6D9FEDC2-A3BF-45AB-95E2-89FE69986A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814f8f06e9bce52e44c40a257511fc1658273828","datavalue":{"value":{"entity-type":"item","numeric-id":1004092,"id":"Q1004092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59915f335e29576ec9ac4acc6f2817699512c0c","datavalue":{"value":{"amount":"+0.7198636531829834","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":"Q1744456$7C3BF0EB-6C3E-4375-9501-EC43728E1B24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744456"}}}}}