{"entities":{"Q4222874":{"pageid":6252475,"ns":120,"title":"Item:Q4222874","lastrevid":46608909,"modified":"2025-12-25T05:01:20Z","type":"item","id":"Q4222874","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231558"}},"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":"Q4222874$9873D6EA-3558-444F-BCEB-D651E94AFB79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c820eaed0a30c65495f9d582b581ab2098463760","datavalue":{"value":"0911.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222874$91A1F69C-FC78-41C1-9E38-20CB49A5D985","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52a0c2c6ada02ebc5f26d5d562081e4cb50aeca1","datavalue":{"value":{"time":"+1998-12-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":"Q4222874$B696718D-63B9-4950-9027-11AAB6CE8E4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3882dce32beaf8389f98e133fb2444a467908d89","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#mayr","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222874$A3749324-EF0D-4644-9914-E0D3BDA67F3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222874$F9E3D6BE-989E-47C8-94D5-C967303739B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222874$87B1B84E-95F6-4893-8846-4D8B4BC0FD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222874$65D052E6-A752-467F-91C8-77AAD2BA783E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e172d6815bdacc82ec5f6e660b17a5027773347","datavalue":{"value":"1231558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222874$8A49707A-6EFB-45C7-BBBE-6E7B2EF74B97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222874$29476F4C-CA25-4166-8223-16CDF815B9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222874$BC0F5940-756E-4515-A5CE-A687C702216A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222874$36214814-FAB0-40B5-B033-A1433D665343","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":"Q4222874$067FD31B-BF91-4A6C-B147-4D671A678314","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7aae52abb6839b4f62374a0c58f9f04bf2855b6","datavalue":{"value":{"entity-type":"item","numeric-id":1813788,"id":"Q1813788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a89395796ad45ff0837dda930592d4e38b227f5","datavalue":{"value":{"amount":"+0.7705336809158325","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":"Q4222874$B10F43C2-8A48-44B3-9596-63926AB0FACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66d01a423ca05009f4cb2738ab23bffde9156e9","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c5978f245aeeef935a76358066e5c91d059c61","datavalue":{"value":{"amount":"+0.7570804357528687","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":"Q4222874$367179E5-4441-4FB2-A739-8CEEB8E96F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e8265a21a53e16c25f8845900a25c6eb4d2a0d","datavalue":{"value":{"entity-type":"item","numeric-id":685410,"id":"Q685410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc4d40b62556cbc8740772c1908fd1b050f92a8","datavalue":{"value":{"amount":"+0.7568656206130981","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":"Q4222874$8792A0D4-F825-41BC-8231-6DF2D7BD3F3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222874","badges":[]}}}}}