{"entities":{"Q5419079":{"pageid":7448653,"ns":120,"title":"Item:Q5419079","lastrevid":52010225,"modified":"2026-01-20T18:11:37Z","type":"item","id":"Q5419079","labels":{"en":{"language":"en","value":"Separating succinct non-interactive arguments from all falsifiable assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301133"}},"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":"Q5419079$32997BE9-3433-4A77-A0CF-8966539D9803","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a5de3e2b5955d51ab0cbe9f151bb6ab0eaee004","datavalue":{"value":{"text":"Separating succinct non-interactive arguments from all falsifiable assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5419079$96E07C5A-A587-4A31-AD23-C4CA7DE745B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edfbed60e933bb47de3e5fd07c74ea6b05f1a1ce","datavalue":{"value":"1288.94063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419079$BD661C0F-35DD-4A41-8FAE-4F8DAE6283D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6026b16c7a2206d88cd596cab0c266d4a4cbcf08","datavalue":{"value":"10.1145/1993636.1993651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419079$35114917-B386-408E-B0D7-7800C3E98BF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb3139b1b208e1a11ec89827e5bb2faa92fbb3f","datavalue":{"value":{"entity-type":"item","numeric-id":1688408,"id":"Q1688408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419079$8A661310-4858-48B8-9C76-C7739FB8C8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f78bb1d556e9cc858c0ddeeb86ea4600eb94aaf","datavalue":{"value":{"entity-type":"item","numeric-id":315545,"id":"Q315545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419079$7694583A-6A85-49DA-8038-186F69D548E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f1820b3623dbd92be99361367bcd78fc5ae1d96e","datavalue":{"value":{"entity-type":"item","numeric-id":5419068,"id":"Q5419068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419079$10B1036C-4136-4013-8D9B-871752A47238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419079$5E02953C-273C-47C0-ABF4-DD5B9F303374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419079$13D097B8-82DF-46A7-9F2D-9B5BDB33EACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419079$1CE37AA8-D726-491F-B03F-6BA17290D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419079$A50FA574-4EEE-4B6B-A314-0FF5E6B39150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419079$08516E5D-15B3-4FC1-AE5E-7E31A5FDFFDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c60cbd81a0044e6fb63762f5a52368639cb6cb2","datavalue":{"value":"6301133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419079$E5F3AC9F-4FFB-4395-B838-57CEDCCB48DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9d7d0f28e1544238a8fe4c287bc55b9a27bfa1","datavalue":{"value":"black-box separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419079$635A1C86-B78D-4037-B140-C0C0AB88FCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cf3d21594843fc73c4b2a072c5ad038d0464879","datavalue":{"value":"computationally sound proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419079$93739AB1-003F-47A2-86DA-F3D28E97F289","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":"Q5419079$7ABD19DB-EDEA-4CA6-AD7B-8FDA95E5CAF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f265b99b9c821ac4b95db58f1d84f95ac983e1b","datavalue":{"value":"https://doi.org/10.1145/1993636.1993651","type":"string"},"datatype":"url"},"type":"statement","id":"Q5419079$A76D5B17-E48E-431B-B17B-45314AC138F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d8323653778f1f2ac6d97aaec051b5d48c6bddd","datavalue":{"value":"W2067047774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419079$1B83A63D-94CD-43BF-B2B0-307886BBF3C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c488d079b3e9f586f7cd44934222b7bc49d1de","datavalue":{"value":{"entity-type":"item","numeric-id":6157544,"id":"Q6157544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b2eb93e8e57bad6eeb10f4fd6de06a883e468d","datavalue":{"value":{"amount":"+0.8184574246406555","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":"Q5419079$FC8267F6-7971-426A-9832-D0163C132B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c783fd8750a42e1ef9b477fe608387f8b7683414","datavalue":{"value":{"entity-type":"item","numeric-id":1698394,"id":"Q1698394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b885f0a4e0a7a1d27fe286356cbca19d05b6d40c","datavalue":{"value":{"amount":"+0.8035936951637268","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":"Q5419079$AA57BE4F-6CFF-432E-9F05-FFACE0A05559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ace912980aae6548281c9e0c61734ad34e89423","datavalue":{"value":{"entity-type":"item","numeric-id":2826067,"id":"Q2826067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c1a339c651102672d095adbd9a580c4ec404ec","datavalue":{"value":{"amount":"+0.7976174354553223","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":"Q5419079$A772AFE3-C213-4A78-ADDE-C515F3905D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0d3d6981bcb7d58ab43eb005cdd52606b180f2","datavalue":{"value":{"entity-type":"item","numeric-id":2170061,"id":"Q2170061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce907ae9f185fbd478d37151ec8f8d5ac9fb3c5f","datavalue":{"value":{"amount":"+0.7956238985061646","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":"Q5419079$177D785C-6932-493E-AF34-8114259FECC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074853dca4f97a7070dfba37e58c466ea7f45abb","datavalue":{"value":{"entity-type":"item","numeric-id":2695642,"id":"Q2695642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16baf69dfa2a739acdd887513d4d605508e0f967","datavalue":{"value":{"amount":"+0.7854365706443787","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":"Q5419079$1C25231F-EDF6-4F0F-921E-B5CB6C16FAD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419079"}}}}}