{"entities":{"Q2852365":{"pageid":2863085,"ns":120,"title":"Item:Q2852365","lastrevid":51839777,"modified":"2026-01-20T07:26:03Z","type":"item","id":"Q2852365","labels":{"en":{"language":"en","value":"On timed models and full abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214063"}},"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":"Q2852365$3C43BC77-0F4E-4EFA-8A9F-AA736E3FDECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c261138be024e43b68cc1cb7160ceab6a4e12dd2","datavalue":{"value":"1273.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852365$A8480D28-121A-4B4D-A82D-2E7692E849C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10e5b6375cec486c10f672235e2a7de9b55f6384","datavalue":{"value":{"entity-type":"item","numeric-id":557890,"id":"Q557890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852365$FB2B568F-A25D-4FC3-A123-9152C2DDDDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852365$64DAC641-6776-4563-9F99-76C377F3CF4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852365$8CD48594-D2E7-4C29-9276-3423F5BE8F06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6469803d4f81755a67e4376a1204731f4e8d227","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106002076","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852365$F2C66E5B-078C-4F85-8DB1-1A8C14A305FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852365$5B5FEF31-2E47-4DA6-93C2-2EEEE1C2F3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852365$922C0C36-C57B-454F-B6AE-6551E058EF65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a500f98a2e51655a02409460a720869b9b4132e","datavalue":{"value":"6214063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852365$8252C623-AAF8-4B4E-986A-A5D8C4330AB8","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":"Q2852365$332D858F-9EBB-4B0E-9FCA-3CE96ABDE463","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e3fe87b1d22642ded3f4b94c2e215f819a7f9b","datavalue":{"value":{"text":"On timed models and full abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852365$FC1F3E8C-ADD5-42BA-BA4A-14F44DF7AF92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86abfba7ea5617dbf8878ebac98a3e69ffcb26d8","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc08fc578ec83641c5c5f716b1706efdeedbbf2","datavalue":{"value":{"amount":"+0.8194732666015625","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":"Q2852365$97247A0E-779A-466F-99AD-119A983F469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10830d96225b58745d6fa18d7bd3380cbbf739f2","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3df6eebbc290927a2ea8a256eecb1551f25c4e","datavalue":{"value":{"amount":"+0.7917351126670837","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":"Q2852365$A17638EA-37E2-4A69-BB81-EA1DF40762D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e827de45638722e687132d560747204b26e2b6","datavalue":{"value":{"entity-type":"item","numeric-id":1708721,"id":"Q1708721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e791131a862a7fc70624ec152f63dd55dbc044fd","datavalue":{"value":{"amount":"+0.7829381227493286","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":"Q2852365$571EE24C-8C3D-454D-9E37-7372894BD55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1fb27aac8fcc04819c961d1fc1f11bd669d351","datavalue":{"value":{"entity-type":"item","numeric-id":1891147,"id":"Q1891147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac49d1dcaf6a4cebc1dd893dabb2d829f2f770c1","datavalue":{"value":{"amount":"+0.7804595828056335","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":"Q2852365$658C95AF-A4D0-4CF7-99E8-C2FDAA5FF3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cf4e07dc7234f03b47447521843638c9939afe","datavalue":{"value":{"entity-type":"item","numeric-id":674193,"id":"Q674193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2d70116bb39475a18b42c62572e625de3bc228","datavalue":{"value":{"amount":"+0.763774037361145","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":"Q2852365$7752B0C2-346E-4143-9220-E3A3C6DABC68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852365","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852365"}}}}}