{"entities":{"Q5145321":{"pageid":7174892,"ns":120,"title":"Item:Q5145321","lastrevid":58456506,"modified":"2026-04-05T07:29:41Z","type":"item","id":"Q5145321","labels":{"en":{"language":"en","value":"Classical realizability as a classifier for nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298771"}},"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":"Q5145321$5E3F38B6-52B5-4D1A-9B96-7C10B8639B5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92005779a8d7b042ff70e0af37ab194e9e879618","datavalue":{"value":{"text":"Classical realizability as a classifier for nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145321$3EE8FA45-17AF-4060-BAB1-61C98DEFB167","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71e97504a42e7ff3a062004f9e815c5a9f06b89a","datavalue":{"value":"1452.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145321$E6095DD7-239D-4219-83C5-23F74B123873","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea37f868e7dcdf406604babf9e69d0add770e96f","datavalue":{"value":"10.1145/3209108.3209140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145321$F23F48D8-B68C-44CD-BBBA-263AFCD19B1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"079da3998385620efce5bca51d39b72196615a62","datavalue":{"value":{"entity-type":"item","numeric-id":4988444,"id":"Q4988444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145321$FF6B7BA9-855E-436D-85F3-847BBC68686A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145321$3E335D76-E7E7-4E3E-B57D-250A4E4DCAA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-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":"Q5145321$69693FB2-B3E2-4F67-8201-980BCBB9DA91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcfa61453dc80159b5911ba93a1d6546ed643d99","datavalue":{"value":"https://arxiv.org/abs/1805.11392","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145321$D8181986-DA1E-44EA-BA10-47DFC070D5B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145321$12149500-78F5-4FFA-8545-BB493A1160BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145321$4E290909-6391-4F2D-BBF2-E0D69B02AB3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"573478dd1852ee8a5b21d9a8f819637cfd9cb9e3","datavalue":{"value":"7298771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145321$69EB5DA7-C459-4C7B-8AB5-D855F25B8C09","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":"Q5145321$CEF61FF9-B386-4394-901B-257A02DFF919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0426cf58e9e09e10dab0b1c7716cdcfa7c7baef1","datavalue":{"value":"W3098075529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145321$38418C91-4584-4B12-99BF-37E454713B5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692accb3f7a444e19c1bda74f604ab28829a7938","datavalue":{"value":{"entity-type":"item","numeric-id":3007652,"id":"Q3007652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61d309025e79c91991d8ca3da91b9b9b09cda3d","datavalue":{"value":{"amount":"+0.7826963663101196","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":"Q5145321$D12AD840-2C3A-446A-92DE-6352E53C1FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792fb67e05c81511edd03cb15723d074f9973c01","datavalue":{"value":{"amount":"+0.7525694370269775","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":"Q5145321$E44F75D7-E453-44D2-93DC-7E8F89E3A986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1e93150e4c3bdbf0f6b331696a5b3d8fd51551","datavalue":{"value":{"entity-type":"item","numeric-id":1744381,"id":"Q1744381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5389d525a59f68b4f1d6470f9356133d967674","datavalue":{"value":{"amount":"+0.7334003448486328","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":"Q5145321$E3EB1DE8-2094-478E-9185-B35AE9787B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b32e131c4df944ec43e47e50cd77ac3e58685f","datavalue":{"value":{"entity-type":"item","numeric-id":3644761,"id":"Q3644761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d664e4f2e4ef983ab5f9d5d5ae343834658608e7","datavalue":{"value":{"amount":"+0.7211174964904785","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":"Q5145321$0920BDFC-28CB-43A6-BFF4-832292FEAA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910c9cce5b7e616f23f6714d9ffc588ab2ed830d","datavalue":{"value":{"entity-type":"item","numeric-id":5360216,"id":"Q5360216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f78f34055b33fcb42fcef135c75243a1d6a82d6","datavalue":{"value":{"amount":"+0.720084547996521","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":"Q5145321$AC075B12-7DF9-4F77-A41A-E8A4F56A51FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145321"}}}}}