{"entities":{"Q3637209":{"pageid":5667115,"ns":120,"title":"Item:Q3637209","lastrevid":50704268,"modified":"2026-01-14T21:02:07Z","type":"item","id":"Q3637209","labels":{"en":{"language":"en","value":"The Computational SLR: A Logic for Reasoning about Computational Indistinguishability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576342"}},"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":"Q3637209$225A6EA6-8609-4B1C-A490-41A5C49BCA9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39b3a18b81c9b78959aef09d11a208ae1605e69e","datavalue":{"value":{"text":"The Computational SLR: A Logic for Reasoning about Computational Indistinguishability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637209$B1F2B3B1-EFF7-4994-A2CE-C698226F6725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be916f434c1aee1b9650ab814828bf2c42fda8fa","datavalue":{"value":"1246.94042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637209$2799D73B-F727-4270-A6EA-B4A26EE80305","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f561a4102565df9ae15cdba05d98675ecc0a0ec","datavalue":{"value":"10.1007/978-3-642-02273-9_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637209$79694CC8-85A2-48C0-81F8-D750940CE659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2308b37ac219e1ca1b213d17b783dd3af2b3080d","datavalue":{"value":{"entity-type":"item","numeric-id":351978,"id":"Q351978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$BF23D96E-BF99-4EC0-A386-4885FA0B6C57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$84000431-7CE8-4E10-9791-91667FF37455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637209$F569872A-28DB-4B1D-8C6C-B873E4DF0360","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637209$2ABC15E7-F04E-4E72-8760-96E0E6EE20DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637209$F3AD4E6D-CF13-4854-B6E5-648C1D33A965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637209$A434CD07-416D-4F93-9016-A0E8349C10FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"754d7fd6289f64fbfcb6ca850b9532076f338444","datavalue":{"value":"5576342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637209$8F2F56CF-17CB-43F8-939A-4AB44E7A26A3","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":"Q3637209$41E64FF1-0FCD-4C80-9F99-01D17C1395AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb7dc4af6967a6564fca4d6d9cb0356b9d1294d6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02273-9_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637209$5F289193-C772-45F6-AFBE-E878B5EF417C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07d2b5a4d4b865e0ec81b71cb0cf08a462638438","datavalue":{"value":"W1733287636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637209$29BD4849-E9B3-4315-893B-6B91604B9C9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f8bfaa468e637db4889a8ff43ea6b011ceb641","datavalue":{"value":{"entity-type":"item","numeric-id":5505567,"id":"Q5505567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$52E1830F-C6A6-4F27-969F-4A47BB9BB951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$C8760906-7C27-4C41-9E79-E80877BC5E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$CFCEA92D-2024-418E-857C-B5936E61E1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f99502c40ae215d703ebc8b47da560e094c7aa","datavalue":{"value":{"entity-type":"item","numeric-id":4328696,"id":"Q4328696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$1E2CE669-6C89-4B59-8120-F612455B8126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cbf1fc2616a90273e8d3db1d96fae28ad400e1","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$EC7F2675-15E6-4548-9204-76EAC6FF9E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$9BA1656B-CC1B-4694-96D4-32223B9FBCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2274b4a592bb83702fecba1e161643ae9d90f3e2","datavalue":{"value":{"entity-type":"item","numeric-id":2490263,"id":"Q2490263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$4C65A64F-AA0C-42AA-B1D6-6B0D53C42A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9bdd39754d44bf8e3eda07b5167dd592264d5c","datavalue":{"value":{"entity-type":"item","numeric-id":2368990,"id":"Q2368990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$21C54959-5767-4767-9117-165645FED229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$5CFE5FA9-D0BE-47B9-9F0A-97385A7E0B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c7c5e9586e81ad658f8fe2b1e3076c2f1ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":5178903,"id":"Q5178903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637209$90F93CBA-5D17-4F29-8276-1F4031E5AF4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca77989614744a366d9df933a336a86794c6cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3060197,"id":"Q3060197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4504c32097b3266717b122325ae1ccbd3de433ce","datavalue":{"value":{"amount":"+0.9935887455940248","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":"Q3637209$3ECDC81E-2DC8-4A3D-838A-3C8B88FCF879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9c86cfed88d5372ed769eef3623b1170b13d18","datavalue":{"value":{"entity-type":"item","numeric-id":3591439,"id":"Q3591439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e11f90f6e0f41ae3c1513f58b70e9ab31396b82","datavalue":{"value":{"amount":"+0.7427766919136047","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":"Q3637209$8CBC75B3-2E3C-4376-BCF5-9A515EDC9C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402eaccebcc2073e587f1bfa8c96a4aba09d330c","datavalue":{"value":{"entity-type":"item","numeric-id":2343128,"id":"Q2343128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac97699e6a4ab50efd6fc3cc7d41e1edcbf702df","datavalue":{"value":{"amount":"+0.7404715418815613","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":"Q3637209$5C121412-9061-4AD4-B4E8-DA4929A3F5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506d5dd7c577657adc1adb11aeafa3e0976a30d9","datavalue":{"value":{"entity-type":"item","numeric-id":5505567,"id":"Q5505567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cea8ebbe003abe63d5ebfcb42003946c4bf765c","datavalue":{"value":{"amount":"+0.7324271202087402","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":"Q3637209$88BD3D35-0911-40C5-9C54-3F20A9B4C8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6618caca31da67450a1b1da389dacd0e8a0a06da","datavalue":{"value":{"entity-type":"item","numeric-id":1601823,"id":"Q1601823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcac62707f3ef55ce9cd91bf0a3eb26a607845f1","datavalue":{"value":{"amount":"+0.7273465394973755","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":"Q3637209$737FA728-8F97-4823-B346-B6B9CC20D6D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637209"}}}}}