{"entities":{"Q4568011":{"pageid":6597600,"ns":120,"title":"Item:Q4568011","lastrevid":97335266,"modified":"2026-06-05T14:15:33Z","type":"item","id":"Q4568011","labels":{"en":{"language":"en","value":"Bisimulation equivalence of differential-algebraic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6892122"}},"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":"Q4568011$CAF30105-7746-48A6-A5EF-C80719FCD62E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38666877fb1f53beebcd5ad93f9f4fdf28c4b63f","datavalue":{"value":{"text":"Bisimulation equivalence of differential-algebraic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4568011$1D2CAF17-3ECC-45B8-8B5D-C9DCC0527470","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9a23b3c1611725793a56e424932ad9e4e815a74","datavalue":{"value":"1390.93223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568011$19C67BF6-F880-410E-8CB0-81E623BBE9D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f9f4bbbdb2c3f98d84bfd1b2687b4964753f67b","datavalue":{"value":"10.1080/00207179.2016.1266519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568011$71DCEE54-3A4B-433D-8735-523C71DB11E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70798f9c2ffa5ae4a59c86eb11eb708b051e451f","datavalue":{"value":{"entity-type":"item","numeric-id":2130200,"id":"Q2130200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$54E845E8-4B48-41FF-AA2C-5D3322C6F383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa4aa245e6d6101c3c2e3052787e445531a56c7","datavalue":{"value":{"entity-type":"item","numeric-id":592320,"id":"Q592320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$D65B259A-CF4E-472C-89B6-5ADAC6CD1F7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$0976F587-E318-4135-AB3F-AE588B52F268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37dbcb0a1eb15c53aa30315254dc5849c8fc3e05","datavalue":{"value":{"time":"+2018-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4568011$987EE421-9B03-4B3B-A055-71E1E9AC43E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2304bae6e5e5568ff77c071929405d5fc0672cf6","datavalue":{"value":"https://arxiv.org/abs/1512.04689","type":"string"},"datatype":"url"},"type":"statement","id":"Q4568011$417F649C-9FD0-42CC-AD79-B756B7E8C32F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"216a608e3fa79d664fb5f28a72edf15852141160","datavalue":{"value":"93B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568011$8B622F3B-D420-4FC8-95BA-7F5CBF1D7D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568011$AE7C3239-81F0-45D1-922E-3CD9862505DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568011$39DE7495-426E-4223-AA5A-419F30D29AB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24e38a926cc3c568aa4aa5e13dd5803fff81ea34","datavalue":{"value":"6892122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568011$880FB733-243D-436A-94D6-AF34257F4D30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9c905a78497f557ca0aef81b1453e228aabc40f","datavalue":{"value":"differential-algebraic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4568011$BCD5773F-9388-4F33-9C8C-CE27B7075126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4568011$D952CDAF-FE3C-4EC4-B2E6-8B734B095B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bf823e0786e44061645c5e7083af24ecef7502f","datavalue":{"value":"consistent subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4568011$125E2913-D5ED-4D0A-BE8B-35BC30995859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bf245afab8dc9a28a3a4874a7a13dc3f2b0fa2","datavalue":{"value":"regular pencil","type":"string"},"datatype":"string"},"type":"statement","id":"Q4568011$E457D5DA-DEE5-4F6F-BE19-8C90140EE2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4568011$9F565D80-7455-45EF-A6B0-610B14AF7D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e758ed0d8034c0513637923c7575319d4b6cddf6","datavalue":{"value":"maximal bisimulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4568011$CF6DAF90-C736-4B72-97BB-02E18B7E262D","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":"Q4568011$A81AF7E5-5150-4BDE-A69E-B7F4418DB802","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c436842e27f289b8e6a0d8b80e7627a7b708f62","datavalue":{"value":"W2557568629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568011$182E4186-AD9B-433B-B605-D9631D12EB21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0abf37dfae85ff01003f00187884a264ae4a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3745702,"id":"Q3745702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$1FBF9EB5-5520-4AF7-9BA8-9E6E29430BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b6442f539e7d2f22d2d537ffbd96ea4b91ddd8","datavalue":{"value":{"entity-type":"item","numeric-id":4003794,"id":"Q4003794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$D0BCF623-E562-4FA7-81E4-A63C83D3FDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd25f9ff5a42152959ad9f34c02a1ee6d3209260","datavalue":{"value":{"entity-type":"item","numeric-id":4928960,"id":"Q4928960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$B7DB7291-A604-485C-9A82-90BC1B28F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8af6948f7142954eb05097bfdee35a0fbc1cff5","datavalue":{"value":{"entity-type":"item","numeric-id":3953615,"id":"Q3953615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$1E54C61B-F641-40A4-9FAF-D26CDFD16448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddfa5a0689064f7fe3636f40652b22e12bac7136","datavalue":{"value":{"entity-type":"item","numeric-id":3852479,"id":"Q3852479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$CCD1D383-423E-44FB-A675-CE64BAB2A443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891819f160f455d792435ae659b3c989ef0063c9","datavalue":{"value":{"entity-type":"item","numeric-id":3041004,"id":"Q3041004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$A1B6F50B-B2D1-4408-BE8D-F61187D99283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab51fa269e721b208f26ad404e0a107738bd019","datavalue":{"value":{"entity-type":"item","numeric-id":1820103,"id":"Q1820103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$384155A2-AC72-491A-9202-C80939300BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$22C41C66-0FAC-4DF0-B98C-B97195B58D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b65b5698b86df64f1bf56c95e86633fcd84c18e","datavalue":{"value":{"entity-type":"item","numeric-id":2503604,"id":"Q2503604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$E936371D-492B-4F8E-9EF3-88772E123137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9347051938ce74808f15d5f1b10fdf38c9145c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4928963,"id":"Q4928963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$D33BA037-495E-448F-987C-50C968F3190A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dee8df777ba2418f60f605e7fcea0b8c999999a","datavalue":{"value":{"entity-type":"item","numeric-id":5926533,"id":"Q5926533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$77E071FB-8A32-457F-8309-31DEDCA92FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8104187ee43fbac8a7a3d2aa1c93127055336ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5273951,"id":"Q5273951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$4A2A24C2-E5A9-4A03-B235-F14B17A96538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063292e49fa3b8e7b1bf371f4828bf35c758d40d","datavalue":{"value":{"entity-type":"item","numeric-id":1220882,"id":"Q1220882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$AB13CFE0-4C7D-4DF5-A666-096BE51C407A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e850e799d86e031a95a8801dc00497e33acf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5307950,"id":"Q5307950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4951bca7f61fe071258a267162d4feadcf9ea88","datavalue":{"value":{"amount":"+0.8737214207649231","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":"Q4568011$6E1663ED-C668-487F-9120-6CAF04A72B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e3ac3cae8827b90b8de31e5cd427703b9adf05","datavalue":{"value":{"entity-type":"item","numeric-id":5758269,"id":"Q5758269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b31a3fe22427c39cc6d9b94c50072877e62a1ac","datavalue":{"value":{"amount":"+0.8360622525215149","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":"Q4568011$40D0E776-4993-42D5-A0BC-70EAD57DC401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8634064e9ccdfe921954b1f1dcc86274241a0e56","datavalue":{"value":{"entity-type":"item","numeric-id":2842819,"id":"Q2842819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92c0cb11718faa73899202382ece962e5dd8981","datavalue":{"value":{"amount":"+0.8234733939170837","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":"Q4568011$4975F7D2-AF18-4AEC-B59A-301492B231B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d86424533bd4ffc80015721df5167c10418346","datavalue":{"value":{"entity-type":"item","numeric-id":2503604,"id":"Q2503604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1cf9f3c1ed533e6a705eceaa672da15a247914a","datavalue":{"value":{"amount":"+0.823409378528595","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":"Q4568011$545F6C59-8FA0-4925-AE1C-3D9F4BA8BF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281787182ffa20d7e9f55c4bdb5ba9e9b50a11d3","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c00946eba5c35fbb323d6a1a1111c5d38f1dfe2","datavalue":{"value":{"amount":"+0.8144365549087524","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":"Q4568011$90591222-77E1-4BFC-99C7-6A0EF331340C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568011$5E395901-7722-4E58-8BDE-49F9CD085F90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation equivalence of differential-algebraic systems","badges":[]}}}}}