{"entities":{"Q2119969":{"pageid":2130712,"ns":120,"title":"Item:Q2119969","lastrevid":43522072,"modified":"2025-07-30T14:03:33Z","type":"item","id":"Q2119969","labels":{"en":{"language":"en","value":"A mechanically verified theory of contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500642"}},"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":"Q2119969$64BCED28-FB85-44AA-AE2B-1AE641C5D1F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"855604b2b585aaf746e4aed568aa0751fdb5388f","datavalue":{"value":{"text":"A mechanically verified theory of contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2119969$C5094DCB-617C-48B0-AB7C-073D25584192","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b66abcd9dca679a092779c1faa5baa33d6c63f7","datavalue":{"value":"10.1007/978-3-030-85315-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119969$7DA11471-06D3-42BF-B549-3BCFB838564C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bc6736c250b068be80e25c2e9e93b2a6942b4d6","datavalue":{"value":{"entity-type":"item","numeric-id":2119967,"id":"Q2119967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$E77EE96A-15A5-4C20-A070-C019FACD8379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff2dadf39adfb54bd77220f1f99399d7f233939","datavalue":{"value":{"entity-type":"item","numeric-id":2119968,"id":"Q2119968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$80B2CF03-A37F-4BA0-970B-1D8198C84017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$489C4523-54BB-4FF7-9FEE-3603516AE1EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cb51486d062318d72a3e7127aeccd5361ad436b","datavalue":{"value":{"time":"+2022-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2119969$70E19564-8164-4CD7-98DD-653E4472FCF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e4bf2d0f1360a7b7b4fcca388968b8d7220fc09","datavalue":{"value":"https://arxiv.org/abs/2108.13647","type":"string"},"datatype":"url"},"type":"statement","id":"Q2119969$52B63754-50CB-4BE7-BC7D-AE45D0EF0F5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119969$C8E9B159-24A7-480D-B979-2C26B47DCF0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af1586db14b20d493f63a42bdde9de864de45eda","datavalue":{"value":"7500642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119969$C4579DCA-DDA0-4FD0-8992-1E0FDFFEF02F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$78AFE82B-4BB0-4CD2-9368-AF659F897655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$D9471678-E3A2-41CD-9A93-C025FAF73997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03bc0969d66f63218041357e0da6af3aa771d8bd","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$78CAB9BA-7884-4EFE-B80E-E6E728FF6F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$F6C8B342-7194-4171-B33E-66853C92868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$301E692C-F07D-44B7-8211-C0077CB403D4","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":"Q2119969$6E106015-98C8-42DA-B386-7F6E6D81DF01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a52c6f050c7f32249fdda791250c066a5e03210c","datavalue":{"value":"W3193928150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119969$3C8C553E-3D64-4803-BA6D-0AA7C91B2D53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4077aa82c7ea28dce00f8ac3c2dab611f36bf1ec","datavalue":{"value":{"entity-type":"item","numeric-id":3602999,"id":"Q3602999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$40965B4C-E7C2-4457-8CB8-1CFC8830B6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65cf27cb319b50deacb73df4d115e078e49367","datavalue":{"value":{"entity-type":"item","numeric-id":2007732,"id":"Q2007732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$A1727BF2-D68D-4DB0-AB5E-82A26D909C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$94BE0C88-3B1E-4722-AC62-54A7651B6CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e0ae61eecb3435a399a4b5baacf30cfca4a2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5215905,"id":"Q5215905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$57602D6E-C872-4DC2-9E17-DF20344BFAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$EB7D6CB5-560E-412C-B8EE-16E83FC68D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$631025CD-9EFB-4E3E-A4EA-4DFC1E235004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a87be1fe3b334706741fb78f02001e4e8709cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1937313,"id":"Q1937313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$91017B8D-71E8-40E6-8281-D365E0095BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0b2fb975ce9c6f288d691488970d4bbb46e604","datavalue":{"value":{"entity-type":"item","numeric-id":2898020,"id":"Q2898020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119969$0590E964-5004-4A13-9CDF-8B1FAA8BBD6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2119969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2119969"}}}}}