{"entities":{"Q3455899":{"pageid":5235299,"ns":120,"title":"Item:Q3455899","lastrevid":90160088,"modified":"2026-06-04T19:26:19Z","type":"item","id":"Q3455899","labels":{"en":{"language":"en","value":"Sequentially composable rational proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520131"}},"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":"Q3455899$72192B7D-4F84-485D-B269-5A51B57F56C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"045ec20118d3ec21c7eac767bdd86a5ef52200d0","datavalue":{"value":{"text":"Sequentially Composable Rational Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455899$781B01FD-4662-465B-B226-423654888CA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a06a53e1a5a30c5d8c483a1f0520b63f1a3e93e","datavalue":{"value":"1448.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455899$EB2E846C-BFC7-4E25-BDB5-809B2F45169C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c13b9188abcd25a327015102d7ce0183daf8d60","datavalue":{"value":"10.1007/978-3-319-25594-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455899$247F8620-CE62-4BEF-84A0-124FCA473020","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0afa3acae9aa9274a8cbe359ee58118e8fc0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1631317,"id":"Q1631317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455899$8B32C8EF-AA5E-40BA-BC25-56260C29ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c2085e3da506c41f02ac8273f84e93b92ba286f","datavalue":{"value":{"entity-type":"item","numeric-id":290377,"id":"Q290377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455899$010B19A4-C600-4060-8BD0-A977AB8D5002","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":"Q3455899$C156A9C9-F299-4C73-A372-723A9DDB49EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455899$1374B5C5-028C-4E0D-B658-AFBFA892E503","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455899$094494B7-3082-492F-BB6E-B0BBBCA69F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455899$7FD3E199-C449-45A5-BC02-DDC91C395A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455899$D7D2B16B-EC38-46AE-A3C7-2605D545641F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455899$BC1F86E9-018D-4D0F-94E1-B3B6AD99E84E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbc8c95de549ccb94423146e4a32fa03222101cf","datavalue":{"value":"6520131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455899$52158A5D-B3D4-4362-BF52-E3B2F8F20E89","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":"Q3455899$9AACC6DC-4098-407D-BDDD-612C7AE59F31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e32032eb05e2ea915bbdc115ffe1bdc3cecc736","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25594-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455899$42D8B6DF-895D-4736-842E-6E7296E02EE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f7fc50063dbed2ab1aed1a5f784a5ca5037a67a","datavalue":{"value":"W2237166729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455899$D6AD506C-01AC-4C91-BFDE-DA112917BFAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13aae73604eee522799e765dbfa7f209f3f95f1","datavalue":{"value":{"entity-type":"item","numeric-id":2800569,"id":"Q2800569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b6773056730ced77ec9c57a665717618d38f0e","datavalue":{"value":{"amount":"+0.8434896469116211","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":"Q3455899$F2AC54F1-BEC2-40CE-ACD5-7A8F6E0B8FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dbfa26f05f1c8d999619cadd509692d8f7763ba","datavalue":{"value":{"entity-type":"item","numeric-id":1675446,"id":"Q1675446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292bec8e4aad88e8af1f696d021936f703453a88","datavalue":{"value":{"amount":"+0.8431104421615601","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":"Q3455899$9C53DE69-CA66-439F-A950-ADDC4F7BFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4568bf59566edce95b41be4ab04b23a75c4425","datavalue":{"value":{"entity-type":"item","numeric-id":1617659,"id":"Q1617659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e70cce4f681880eaa12fce7783281e195c24654","datavalue":{"value":{"amount":"+0.8220525979995728","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":"Q3455899$BC76CC1A-0634-4656-A15A-BF0DE3C4B930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeab1f0cad5bcccec583bd725fc21547a674037","datavalue":{"value":{"entity-type":"item","numeric-id":5415532,"id":"Q5415532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24613f826e879d970912328fda109c2fdf65c2a1","datavalue":{"value":{"amount":"+0.8186787366867065","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":"Q3455899$95823856-E83D-42D3-A777-802597A614D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec9af30d8b91019159e65d4d66f6cf3c88fe630","datavalue":{"value":{"entity-type":"item","numeric-id":2799100,"id":"Q2799100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f365376bfcc95eca1b3c72e8acd0485a7e64e8f","datavalue":{"value":{"amount":"+0.8131101131439209","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":"Q3455899$11FFF642-329D-4038-A2D3-2BAD0897007D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequentially composable rational proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequentially_composable_rational_proofs"}}}}}