{"entities":{"Q4645748":{"pageid":6675329,"ns":120,"title":"Item:Q4645748","lastrevid":58320924,"modified":"2026-04-04T17:22:14Z","type":"item","id":"Q4645748","labels":{"en":{"language":"en","value":"Proving uniformity and independence by self-composition and coupling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999996"}},"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":"Q4645748$6E06BA56-021D-4768-9601-010136FAC498","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d81f460af5e6addb106c9d533370f351a48f7b0","datavalue":{"value":{"text":"Proving uniformity and independence by self-composition and coupling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645748$55B73A60-539B-402F-AE1D-693B31B6D401","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1e7a8313ffe683fcc31baae4ea5ee61bbf6f833","datavalue":{"value":"1403.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645748$4F59FB5A-1771-4D1B-8B50-E25C75370EDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645748$57FB719D-EAEE-4A75-905A-3503F4B9190D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fc1b96efe2b3a26a4d72dfc53ed8e67a4f3aab4","datavalue":{"value":{"entity-type":"item","numeric-id":1633470,"id":"Q1633470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645748$F25EF881-EACF-4B34-92F9-B8F8605B7138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645748$8361ABE7-70A1-4F02-A5F8-F95CDFF5B63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4945abe70a949cd0fdf5412833ce3a82242934a0","datavalue":{"value":{"entity-type":"item","numeric-id":1623160,"id":"Q1623160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645748$87DE1B03-6812-4277-B3AF-535F4E20418C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645748$5B8920B3-91FD-41D1-ADC1-6AEC23C6666F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645748$E5DC4452-2543-4D44-88C0-13D80D460970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645748$1666860E-278F-4A15-95C4-56CE2A77AF42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"131b67002efc5fbdb077ea1af5fc92728f9aa604","datavalue":{"value":"https://arxiv.org/abs/1701.06477","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645748$88048486-F4C4-4D12-BFD3-534956D3D70A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645748$681F2A02-C77B-4C9A-AD3B-92C34BD48748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645748$3B9DD1F4-AB13-494A-A74F-1522E5D8CDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645748$F614B1BC-186C-49CD-8F1D-5D97B0E955D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645748$A0CEE46D-B768-4BA6-8415-454155DC8650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4904d45f5f798be1090d7a3cdcf569eeee61778","datavalue":{"value":"6999996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645748$54ED0F79-0CB4-4CD4-B0AA-DD12D6B1E57C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645748$4FBDFCDE-1E5C-432B-A2B9-656B24DCCAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645748$5D3BE77A-E398-47A1-947B-A1FEBABBEC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645748$6A6D9122-D447-42BA-A843-0A6817B1391C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645748$836ACB27-E933-4FC3-9221-FB18F300AF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdbc2759372fdadcf0bb27bec89e17c62a4ba59","datavalue":{"value":"uniformity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645748$C18A6EBD-3EE1-49AB-B595-E5E064ABB506","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645748$B21B561A-67DB-41B1-A32D-282F9E0926BA","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":"Q4645748$F6F72B2B-6AD0-46AB-B792-092C24DF5491","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3316c4c817f412368dab60e5e4791db45b906953","datavalue":{"value":"W2950053966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645748$AB441C72-7C8A-4B2F-8A46-A17533AF5B0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b57ff4589c2fdc5075cffb1ce33b2552369d248","datavalue":{"value":"10.29007/VZ48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645748$BFDB235D-B013-4F5A-B901-4051F8E9E63C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b6abc77ecdb123c2a350422059d29b57db8072","datavalue":{"value":{"entity-type":"item","numeric-id":1091820,"id":"Q1091820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754519f970eea11d022f9768a75bfe011e9727a0","datavalue":{"value":{"amount":"+0.8537066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$C0555A71-87EF-4122-B276-847BE7D7F79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44525b17e1cd414e654bdedf41982b3f8a2b4d8","datavalue":{"value":{"entity-type":"item","numeric-id":4487280,"id":"Q4487280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a5b6630908ba3fc30893e6ca38c5ab8ce196df","datavalue":{"value":{"amount":"+0.84344053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$385FD1FF-35E1-4A40-A58A-59544B8793E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef55e5e9a549848d831a3ef0037d0dc2f5671f7","datavalue":{"value":{"entity-type":"item","numeric-id":3743426,"id":"Q3743426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c595f571a58ed34ccc872098c3e9aa2160e137","datavalue":{"value":{"amount":"+0.84242934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$19188320-78B9-41E2-82B5-E4DAEE2D25D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188aa62ada3ae994f256b4c138cfea64084b8fc","datavalue":{"value":{"entity-type":"item","numeric-id":3731771,"id":"Q3731771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c595f571a58ed34ccc872098c3e9aa2160e137","datavalue":{"value":{"amount":"+0.84242934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$004C87DC-5036-4348-B0BC-778972F41F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d248afecd19e03b74947c06ed1ba45cc5efe6015","datavalue":{"value":{"entity-type":"item","numeric-id":273745,"id":"Q273745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529e1d09eaed2756a5c3996fefba2f8f93d3aa83","datavalue":{"value":{"amount":"+0.8385959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$4DF8EB6E-125C-4C9F-BBFB-D5C495423A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8941d224a07ddbb18e978e2e092756db95af33e9","datavalue":{"value":{"entity-type":"item","numeric-id":1011429,"id":"Q1011429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854b5401f6840d794171c746b1a061564c492b1d","datavalue":{"value":{"amount":"+0.8292117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$D237FE20-8B03-431C-8933-C564CAD13C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d543b3b2cb456575c50e353181a1a0f9419ed40e","datavalue":{"value":{"entity-type":"item","numeric-id":325905,"id":"Q325905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb931cfbd980617708b763a4ea823cf7ca3d5ab0","datavalue":{"value":{"amount":"+0.8291839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$BA02F92C-7FB8-43EA-8D86-C98500A8CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47cd7300b3241448d0bcf05aadc76425b29fedd4","datavalue":{"value":{"entity-type":"item","numeric-id":2634807,"id":"Q2634807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92ae54d6d22d76dfeded3654fbba6af8e1f39a2","datavalue":{"value":{"amount":"+0.82699585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$7AB817BA-ECCD-4926-9A1A-9AE19897494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1100086fdf1ca2d9ac2838ee2bfdb0ceed2e852","datavalue":{"value":{"entity-type":"item","numeric-id":5373999,"id":"Q5373999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d639c6b9d70703098c778181f209aaf248d7dec","datavalue":{"value":{"amount":"+0.82406884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$96A05178-4681-46E9-BA8A-287F6B7BDB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740c9399cd4f51a3b777c1d987a758c52df24569","datavalue":{"value":{"entity-type":"item","numeric-id":3345497,"id":"Q3345497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cc588f68554629379cc5425df9e13f46cdaac7","datavalue":{"value":{"amount":"+0.823521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645748$24ABAD5C-80C3-4C20-8E0A-EED7626DD6D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645748"}}}}}