{"entities":{"Q4222961":{"pageid":6252562,"ns":120,"title":"Item:Q4222961","lastrevid":46603110,"modified":"2025-12-25T04:42:36Z","type":"item","id":"Q4222961","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231637"}},"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":"Q4222961$35901061-7085-41A8-9EE8-54ABB039AD22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"409d185b4eea0718cefb47fceb4a5d21bd46b1b7","datavalue":{"value":"0917.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222961$1D383688-C95B-417B-B34E-8A559ED4BBAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3364335c75f2585241e96178e685953561bdbb","datavalue":{"value":{"time":"+1999-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222961$F02A1557-0F0A-4F5F-A564-EE157AAF0F17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95bb1b365308b47eb136fb0578cf839caecacc4e","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11015","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222961$1769FA1F-EC7B-49D8-96D1-5172821850FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222961$8DDD78A5-F2C4-477B-864D-1F7F37075B2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c0929e55b09984378e701dbb7d17867ef8e03bb","datavalue":{"value":"1231637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222961$5260B247-4D9F-4090-836B-C0483A08B1C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e026d78ef59e787281f7bbb101ea49de42468847","datavalue":{"value":"metric bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222961$AA6886E9-1C3A-48B6-A707-63B323B51A0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222961$4C3F5F77-4EB7-48B7-886D-E59963087734","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":"Q4222961$C7359FD9-5C20-4899-9CDD-9B41EB12B3A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926ff86643a8cfb7be85831329dc299d27c0300f","datavalue":{"value":{"entity-type":"item","numeric-id":2914681,"id":"Q2914681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ef60fa149cf22a3e0de82dd67073bec9caae29","datavalue":{"value":{"amount":"+0.7920034527778625","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":"Q4222961$3483CDB0-B253-4776-89EA-ED38A1423DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d926094172465ba7ede5834f226c3d17781a2b69","datavalue":{"value":{"amount":"+0.787979006767273","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":"Q4222961$50EB4103-A545-44DD-849D-ED18F6D364DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c559f01a358b1b4617e9fd84731f26b59cb6486b","datavalue":{"value":{"amount":"+0.7815702557563782","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":"Q4222961$93DA3EE5-E873-4ED8-AC0F-D13FCC19652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56437bc5a9701315e51acd30cf500af1f18cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2915163,"id":"Q2915163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51baad94402e891f7f82ad090827f56958edfb46","datavalue":{"value":{"amount":"+0.7811540961265564","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":"Q4222961$30B98193-9434-4B95-8815-8CBAD20DA0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f06d0baa48aa7fbf082f0e404915b263b1cf745","datavalue":{"value":{"entity-type":"item","numeric-id":299182,"id":"Q299182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3b9df528900572b57608b6ffd42ed2b01853b0","datavalue":{"value":{"amount":"+0.7759929299354553","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":"Q4222961$88F1AF90-72DF-4D8A-A427-EDF8BD19FA7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222961","badges":[]}}}}}