{"entities":{"Q3457803":{"pageid":5237203,"ns":120,"title":"Item:Q3457803","lastrevid":52417433,"modified":"2026-01-22T14:43:26Z","type":"item","id":"Q3457803","labels":{"en":{"language":"en","value":"Efficiently and completely verifying synchronized consistency models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521680"}},"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":"Q3457803$35C8D76A-947F-4071-BB8F-F6831D95B6CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ef04c5d7c8e69bc9c5e4adf21ede305c45a20d4","datavalue":{"value":{"text":"Efficiently and Completely Verifying Synchronized Consistency Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457803$5DFA5C8E-EA4D-4A2F-9CEC-8E53B10BB9EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d5245d710005a9794f27082d4cd4a552545472c","datavalue":{"value":"1448.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457803$EB98A549-1D17-456B-BE11-1471FD74875D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63b7d5d690d4d62c388eae78d7d2315e55400639","datavalue":{"value":"10.1007/978-3-319-11936-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457803$9F4805D6-26D3-4B6E-BD66-6FCDCCD0B23D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d72f515ec80d1b19b3d664fd0e36daa0f7979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1629745,"id":"Q1629745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457803$FAB88E6D-2766-4E47-AEA8-1F0E9D90501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50350110228fd84bf0af68ac4ae9cb8a558a5810","datavalue":{"value":{"entity-type":"item","numeric-id":3457801,"id":"Q3457801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457803$B92A23E1-7139-469F-B767-A4A7E92A51D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8925b79a015b1978ac1e337d5d38a75ccbf40e18","datavalue":{"value":{"entity-type":"item","numeric-id":3457802,"id":"Q3457802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457803$E38091E1-992B-445E-B3B8-D27DC28DFB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"659dfb2e7fdc853bc206612f0ea7dd66bf5772d4","datavalue":{"value":{"entity-type":"item","numeric-id":1884331,"id":"Q1884331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457803$4D4A6EFD-0CB8-4F94-A61A-D1D9183E8D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33b408bec949267a60074306977bc4d5b9fc95f","datavalue":{"value":{"entity-type":"item","numeric-id":289840,"id":"Q289840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457803$59DA7AFC-1F80-47E7-BAB4-BC78950CF389","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457803$783732E5-E86F-4B71-8D94-1B0D68E2EE5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457803$AD49C6A9-E27B-446E-A75F-01B131845955","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457803$E219C98C-8052-4EB7-9391-7B915E57C364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457803$2C3732D7-CAEF-4B2D-92DE-93EFE692EECF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea0942f6db0bc8e8584194e0a51ff6ab6f0dcf18","datavalue":{"value":"6521680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457803$C5DCAA29-8D17-44DA-AC42-716B288EC955","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":"Q3457803$DA150F60-AD1A-4C14-9122-0DFF93990491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6478a7a2b9eda258adbd6114bb1861c99e6abfbf","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457803$48152FBB-4260-417C-993C-32AF62A88286","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2ada11f641f370d52096686431cdaa491d00c8c","datavalue":{"value":"W2264377422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457803$D5AC74A5-1A9D-48B6-BA62-693C8EE409CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0371d139c20914e6e84decbaeaa4b6f048f545e6","datavalue":{"value":{"entity-type":"item","numeric-id":5312917,"id":"Q5312917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c975e9bc841e8a9b0e3553274df87972df9ac9","datavalue":{"value":{"amount":"+0.7729265689849854","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":"Q3457803$4FD5E36D-9EDB-4859-A809-50DFACA7016F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f78eaf2dd507d45a1c4b5687f580c33006b4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":3000633,"id":"Q3000633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4d7da185a808d58b788603bf15f7f4d68b7434","datavalue":{"value":{"amount":"+0.7707950472831726","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":"Q3457803$301866AA-F080-4775-A521-BE7966B0C5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aed15c3e8868494c143e530f984db1935924349","datavalue":{"value":{"entity-type":"item","numeric-id":4818798,"id":"Q4818798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd485ce60261160a2597016b9950048015f4ddd2","datavalue":{"value":{"amount":"+0.7701090574264526","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":"Q3457803$CF42CFB5-3704-40A9-884D-3B0D9DC6726C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d68dbf2c0578ce93d0a1620d8b3a041780c9ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1879185,"id":"Q1879185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d43416fd2b38bf6712da9bfdff526aa304e14e","datavalue":{"value":{"amount":"+0.7621612548828125","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":"Q3457803$FAA4266F-083D-452F-90AB-0B7BE5A49808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee6488f531e61ac327d66fc22fd268410b1fdd4","datavalue":{"value":{"amount":"+0.7506318688392639","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":"Q3457803$EBD1A3FE-5C34-405A-A448-EE719FBDF46E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457803"}}}}}