{"entities":{"Q4440830":{"pageid":6470429,"ns":120,"title":"Item:Q4440830","lastrevid":48214435,"modified":"2026-01-03T23:48:39Z","type":"item","id":"Q4440830","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2020181"}},"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":"Q4440830$850D80A3-3895-491C-91B2-599B9BDD11C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87762f478974f8fa7c0c0df9f5fa0583875e56ee","datavalue":{"value":"1036.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440830$5208602B-3574-48BE-89F4-03C80016C1B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16179fdf9dd6b498fad3f9e77d522b325315bc5c","datavalue":{"value":{"time":"+2003-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4440830$697668CA-000C-4E68-A8A1-B343408C8536","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440830$1A51D8D5-E082-4541-8541-FDBBE8C2D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440830$DC3AFA70-65A0-416B-8B17-87FEF06A90E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33c7e5633882ecaa7226a86bd25095e4907a5b0a","datavalue":{"value":"2020181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440830$21277369-9B1C-4781-BC2D-0DC7751335E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440830$5F84013C-B7F4-457E-BEA2-B0147BAA3CCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440830$2FB7C546-DA3D-4107-853B-6C85AB11F40F","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":"Q4440830$9590EABA-31C7-46AF-8565-48675E3E8A78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f54cb18e4020d77135267b262453765219c30e5","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58ce42c0db32b58e6b31b8632f818101f74d16a","datavalue":{"value":{"amount":"+0.8407398462295532","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":"Q4440830$047F5F73-EE76-44F6-8463-BDF53BDD6EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e324874e25ff984bc895b138773ac64e28785bb","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2583fe69be2ed8612ef3c840b360788d850a635b","datavalue":{"value":{"amount":"+0.7863905429840088","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":"Q4440830$E3799036-C367-4364-96DA-DEB43644DBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e497e89d3f907bd920ef245c3f449e961dfcb71d","datavalue":{"value":{"entity-type":"item","numeric-id":5411963,"id":"Q5411963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b595bf957d2421b0373d4cd8db3819187f91eb","datavalue":{"value":{"amount":"+0.7721894383430481","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":"Q4440830$94E2E1B9-F0C6-4BD5-AAB3-BD4AC8B13C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00953a372addde9410ab958c65d103bd1923c831","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a2e8ca921c5c198faa6981dad298238147d245","datavalue":{"value":{"amount":"+0.770407497882843","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":"Q4440830$4DC98E91-43A1-489B-94E6-9AD39A8AE525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cd5dc382b01927552cb748abdf182eda110955","datavalue":{"value":{"entity-type":"item","numeric-id":1342255,"id":"Q1342255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52ee6737be44a5c525b443062f3d12eb0f5953f","datavalue":{"value":{"amount":"+0.769446611404419","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":"Q4440830$475508BA-B4A0-4D0A-9187-D819D6B0F48C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4440830","badges":[]}}}}}