{"entities":{"Q2165459":{"pageid":2176202,"ns":120,"title":"Item:Q2165459","lastrevid":54384539,"modified":"2026-01-26T17:56:26Z","type":"item","id":"Q2165459","labels":{"en":{"language":"en","value":"Checking trace equivalence: how to get rid of nonces?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573630"}},"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":"Q2165459$E22D3E71-E8ED-4F8C-9EE1-CA29393B62FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9cdc49661c061e0c284d9cfcd0607c3fbeff9de","datavalue":{"value":{"text":"Checking trace equivalence: how to get rid of nonces?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165459$26C76E4A-9BB8-47E4-9405-EE0B60980E56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37c4d11f18feefbdf87259565dc3f555d8523708","datavalue":{"value":"1499.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165459$A111181E-C5D9-4C28-866F-5B48BEA2749E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0ac88f930fb7d33e88b4b103a0e4eb26e02048e","datavalue":{"value":"10.1007/978-3-319-24177-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165459$66535F26-63E9-4877-ACF8-92FFF2AD87D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a0da12c7a1222e7363417c2fb3e05731d0cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":2165458,"id":"Q2165458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165459$ACC6B3E0-B688-4881-998D-F475ADA6D925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165459$936C19E6-5C50-4564-899A-0FCBC9684814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165459$347F44D7-8BCF-4F64-B068-033D73B98D13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165459$F295BCCB-7141-4137-8BB5-DBB054C2AA70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165459$E8B74700-7070-4297-B4BD-00D4807CD3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165459$3594ACA6-D47C-492A-BAAA-0BA30F8CB377","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ea29bf3e1790b5872a5b9b1bd60f84e0df678d0","datavalue":{"value":"7573630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165459$B2BD554B-A94D-4ED0-B139-79AAF27261F5","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":"Q2165459$75A9DF9A-9416-4969-AEC0-D7F82560ECC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fe5e39d14022ae34b88f84b219db718862917a6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24177-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165459$D2BD92AB-5084-42AD-889B-9D940B2F3736","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b282b55c53b06288836b1a185f59beece9fbdc8","datavalue":{"value":"W2293447636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165459$E616E082-620E-4B0A-931D-8B27F5143EE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8defb382480503002f67fdfe92e7f4be08066b6","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bce573944023bcc3c2c1347136059dbe8c1019","datavalue":{"value":{"amount":"+0.7618064284324646","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":"Q2165459$1BA60A89-0B29-4A52-A78B-D5DF2C81AE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa905b017c22d00c6283fd22ebae86a7781bd0b","datavalue":{"value":{"entity-type":"item","numeric-id":2167736,"id":"Q2167736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7f05f91ec3d626cbc56c11585c6d7b05061a0e","datavalue":{"value":{"amount":"+0.7573843598365784","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":"Q2165459$33D34EE4-57A2-4122-A0E6-CD1C7F906033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a15116b1be972d2907d7920a038c033b8fdca1","datavalue":{"value":{"entity-type":"item","numeric-id":3190130,"id":"Q3190130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88a3dc29800677aabb24c7f49746198eeb8cb4e","datavalue":{"value":{"amount":"+0.754045844078064","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":"Q2165459$C1E5071C-77E6-4E90-9B88-412675631F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d88669b24130f350fe5ac6992052944c7a6481","datavalue":{"value":{"entity-type":"item","numeric-id":5327429,"id":"Q5327429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c535b93fe9fcae1db74502c273cbe432b04ad5","datavalue":{"value":{"amount":"+0.7455351948738098","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":"Q2165459$448CA6FF-7B01-4E8F-AA92-7056D3C4D1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ee2e34356e15e2fa81ab628ba9df71231596d6","datavalue":{"value":{"entity-type":"item","numeric-id":511946,"id":"Q511946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed149b32bb35506d94ec28f97972ecf2ae0dd105","datavalue":{"value":{"amount":"+0.7454425692558289","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":"Q2165459$9BFBA4F2-67E6-4877-9A67-4794AEC6E292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165459"}}}}}