{"entities":{"Q2043795":{"pageid":2054537,"ns":120,"title":"Item:Q2043795","lastrevid":72501360,"modified":"2026-04-14T05:21:16Z","type":"item","id":"Q2043795","labels":{"en":{"language":"en","value":"Simpler proofs with decentralized invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7377671"}},"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":"Q2043795$174283E0-E3D1-4A07-8366-E6F9001693B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19b24e97e894377bca12024696542425eb34efc9","datavalue":{"value":{"text":"Simpler proofs with decentralized invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2043795$26D05E51-C41F-4CB5-8F9A-87FCA401D5D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5151e47b3481ef47c9a033843060abd7b1dc0f3","datavalue":{"value":{"entity-type":"item","numeric-id":352949,"id":"Q352949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$2C1E0ADF-407D-4D16-85B3-DA5190A0A93B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$B8675432-F71F-4BCA-942F-786264B311F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49ee50f687aac7f2e200a1c881fd3cbd74f354c8","datavalue":{"value":{"time":"+2021-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2043795$410F97FF-6756-456C-ACFD-E803AAE994F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56ff933653c4b407d951f4c88ce7ca7797bac8fc","datavalue":{"value":"https://hal.inria.fr/hal-02518570/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2043795$40EEB563-18CE-41E9-877C-F5D7F14413E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043795$B004709D-23AE-421B-85E1-11EF7CCC231A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a138f7124ddddb08309318c260f677cf8ca878b","datavalue":{"value":"7377671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043795$227342D0-0FA1-4E1A-ACA1-9FE30183D1B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043795$88E5FA14-C8AA-43FA-94D2-83CB89015E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043795$AE41EA7A-1AEE-4338-A4D4-FED3D37FF645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043795$FD37CB24-93FE-4982-8326-C251E85E4933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043795$5F5B5E8A-D086-47A9-BF56-050F0E00C88A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"534ccd6c90e7c9539cf61a150fa944a2be9f45e0","datavalue":{"value":"Q113870956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043795$0F490D68-3447-41B8-9523-79F51837AF04","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$55A36324-963C-4A64-9D14-0131B6C5F427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$23FA32D7-B644-42E4-86B6-F3AD54D4AC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$9C9159BA-6466-4CAF-A6C8-B8711FFD3273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$5C5F95F6-CE6C-4AF0-A15D-B02F7480BDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$3AA25C70-5D01-4C08-BADD-AC9704C5FA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c0afbce326c7f12373ba5fd48479fef3c2af28a","datavalue":{"value":{"entity-type":"item","numeric-id":33418,"id":"Q33418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$0637CDA1-7383-4B5E-9450-4635DE57912F","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":"Q2043795$995512E4-33EE-42CD-A45C-A6AD4F2F16BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7359c4944fe15f26d20d290f2878176d96a5cb73","datavalue":{"value":"W3127480495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043795$B2FAEA70-A3DE-41AE-9FA8-5A903D10B811","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$03FDD5D0-7DE3-4C26-ACFD-3D522B81C469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59b9a95c5ede48fa66f5efb685b30e863d99e05","datavalue":{"value":{"entity-type":"item","numeric-id":3948568,"id":"Q3948568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$9FE3FA0D-7FCC-40F9-8198-AD349F4F22F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$1D26FE67-7785-490C-A88E-08BD106B14E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee7b1670b832d84e63f3575192ff8a645b95bb","datavalue":{"value":{"entity-type":"item","numeric-id":670699,"id":"Q670699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$BF289C53-1A14-4BE0-AFBB-362C8DD00947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$8616596E-28ED-4AF9-A9D1-C0F8B8C01F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0b5e451356e93206ffcea424089c905df9bf2e","datavalue":{"value":{"entity-type":"item","numeric-id":483296,"id":"Q483296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$8FF559F5-7B55-4DA1-816A-872CE1ABEDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4027aa193b5a9bb266a920950c3c2c12f94ced0","datavalue":{"value":{"entity-type":"item","numeric-id":5395716,"id":"Q5395716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043795$9B050AEC-B40E-47A5-88D9-04D04124EA96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7194ab12f714b511abe7c252a30e6085320dc63f","datavalue":{"value":"10.1016/J.JLAMP.2021.100645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043795$E88752BF-35D6-4F5A-AA20-E957C4319EBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb96375b641b8ff1019359aa044ef3ac760f2b0","datavalue":{"value":{"entity-type":"item","numeric-id":3613379,"id":"Q3613379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4252aa4f55622dda088b7b692d563248392491","datavalue":{"value":{"amount":"+0.7028148174285889","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":"Q2043795$EE1B584C-5DE5-4CF7-8743-2AE5DC3A0704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df05e67001a3d925a0f385d66f91eaae0817cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4994706,"id":"Q4994706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512967965b5c4de4530d6f2bb79917827bfdf875","datavalue":{"value":{"amount":"+0.6993204951286316","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":"Q2043795$8EFFB96F-EFBA-493E-A494-DFA3EA53ED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ad6160359367d315465542a8055f597ea93122","datavalue":{"value":{"entity-type":"item","numeric-id":2942864,"id":"Q2942864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d094fedaed905bc835169ee70b975b95191e4cfc","datavalue":{"value":{"amount":"+0.6913420557975769","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":"Q2043795$7614103B-6221-4DC4-A122-7F58A216B119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3296c1ab353346813d384994567561270a8d4f16","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e252a2e433fca17abf8722a016e733d4bcf05c8","datavalue":{"value":{"amount":"+0.6888605952262878","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":"Q2043795$A75A341E-15B6-47D7-B7DF-43C9AF9E91CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f929b2b078f05c9b7b73c3dc0c1edaf1d0368100","datavalue":{"value":{"entity-type":"item","numeric-id":2145329,"id":"Q2145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956f614ddb375e0c2252b8347a44117fe3c58c58","datavalue":{"value":{"amount":"+0.6854817867279053","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":"Q2043795$E1B8D4B1-CF42-4ECB-B9A7-7B88A0C1AF4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simpler proofs with decentralized invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simpler_proofs_with_decentralized_invariants"}}}}}