{"entities":{"Q2120099":{"pageid":2130842,"ns":120,"title":"Item:Q2120099","lastrevid":82505429,"modified":"2026-05-06T21:03:36Z","type":"item","id":"Q2120099","labels":{"en":{"language":"en","value":"Proof-carrying data without succinct arguments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500843"}},"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":"Q2120099$F2AD3B3C-D3D5-4990-B475-30C699C27E06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54c542dd2d37c0240093969d5b5b253125c8e0b2","datavalue":{"value":{"text":"Proof-carrying data without succinct arguments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2120099$AD5B4197-D4CA-4323-9A58-88F7DC52D017","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2ec3e055168c1af3fff6eb587feceb28eb02da6","datavalue":{"value":"1485.94066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120099$95003AA8-6BD4-4A08-8BD9-D0F9E720646D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a8e8559112616abaa5462db9c662d2d94f047aa","datavalue":{"value":"10.1007/978-3-030-84242-0_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120099$C922C9AF-F847-41BF-8933-A2440E09D111","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7dd6fda26d005a819aa849142dec570fd3b9a8d","datavalue":{"value":{"entity-type":"item","numeric-id":1673420,"id":"Q1673420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$8CB0CE4D-3873-46C9-9D10-08448044022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b11224702ebda4fa6749901ef03700c79f3ed704","datavalue":{"value":{"entity-type":"item","numeric-id":496011,"id":"Q496011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$F3F58F26-2EB6-4DE4-8966-CBD6426A0F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52563dac6182f42f57cfa684369174accf4a1afb","datavalue":{"value":{"entity-type":"item","numeric-id":2120098,"id":"Q2120098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$094B92EC-81E9-4114-9254-E2AD72F2C878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"067f270d2c5f4e77d2d38320f605ed8b1d0cebcc","datavalue":{"value":{"entity-type":"item","numeric-id":2055638,"id":"Q2055638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$B75FB46D-FCFF-4019-9159-04D45933ACF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34902698fd2ef01895a2f792abdd9df0fbd152e5","datavalue":{"value":{"entity-type":"item","numeric-id":1690268,"id":"Q1690268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$5E84154C-D5D5-437B-9DA7-5C0B53AAEC8F","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":"Q2120099$C95C0E4C-C086-4812-99E9-6454757EFA4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120099$0651F4D9-CB3B-4E53-A6B2-F17D4C79474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120099$FF0F948E-6FD5-4149-B43C-D57B932C9839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79b30b0948a9ab809cce12b72065f89aaf2dbff2","datavalue":{"value":"7500843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120099$A0D70D0B-B4F7-4339-904C-E837B2B4DC7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed52fcb1cf6f52a07eb734927252c130233b08f","datavalue":{"value":"proof-carrying data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120099$56F8947B-0A57-4ECC-AB30-466B095A75AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f17f8773157ff28c6be4fe3ca695fe18654cca80","datavalue":{"value":"accumulation schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120099$92623AB5-7682-4B8C-8369-403427A1D0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1086bdbce17969a71f5b7abf563914cf0f51e186","datavalue":{"value":"recursive proof composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120099$F36B18BB-7F96-406E-9FEA-7675D4A05E4F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2faa2cc4a7140b2f1e1f73ecc71ac183064c6978","datavalue":{"value":{"entity-type":"item","numeric-id":34287,"id":"Q34287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$C76093B2-E360-422F-B3C7-A65CD5E0178C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7ce5f1b635eba64bb2a99ec3c7ed8ff25cffab1","datavalue":{"value":{"entity-type":"item","numeric-id":1353389,"id":"Q1353389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$3BF8C88E-7612-4BA2-8EE8-D48A359EF6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da9b6b74758b1707cda930ed2c35549d0e1337b4","datavalue":{"value":{"entity-type":"item","numeric-id":1353387,"id":"Q1353387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$E3C38C55-7A0D-411D-B8A9-5CD507C1B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$DD9B0211-BD1F-4CB3-8798-D53DE7E14137","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":"Q2120099$CC49F1FC-CE05-4256-94E6-52527C02FB6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"522fdaa158a877ddee9d8918b977aafc31849b79","datavalue":{"value":"https://doi.org/10.1007/978-3-030-84242-0_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2120099$C19423DA-962B-4352-A035-C888C6ACF151","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed45edee047296cc4115ccf5a607c5207065c5af","datavalue":{"value":"W3127664165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120099$D19D362B-3500-436D-BF4F-130ABA200B63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9102a38956bc288ef92d5367e32fe64b7d6fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5739207,"id":"Q5739207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$91A6CD89-87BF-4C80-95E6-2C64B0B810D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7ca46691d93b7a00e5d42edfa86aefd1787c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5495781,"id":"Q5495781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$92B3335C-0986-456C-8FB5-D9F737EA4E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff2afde088362b5f9050d2a29df64c87b845b40","datavalue":{"value":{"entity-type":"item","numeric-id":2119035,"id":"Q2119035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$AF5E0B26-0372-4385-925B-9F6F1090025F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6e07c1f81a2c5ebdc38877adeefac6e1d629c6","datavalue":{"value":{"entity-type":"item","numeric-id":1688401,"id":"Q1688401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$9CFE9B5A-102B-4288-AEBC-5285C48AD9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a392816566ea396bd9a2f21a3571a115ceed6f","datavalue":{"value":{"entity-type":"item","numeric-id":2055641,"id":"Q2055641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$E9EB450A-C92D-43A1-B81C-E7565E7F8426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc127e4515090a828c6d0efc339d3fbd6ffbff94","datavalue":{"value":{"entity-type":"item","numeric-id":2055643,"id":"Q2055643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$76D08F8A-40ED-4E87-ACB2-10332E2CE6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"449a306fb87aacde42647ae7f070501246912d49","datavalue":{"value":{"entity-type":"item","numeric-id":2948390,"id":"Q2948390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$FD2C51E2-96EF-4DF2-9314-CDFB054A0EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5878e6bb53bee38a4562266c40b50da5b405a676","datavalue":{"value":{"entity-type":"item","numeric-id":5739206,"id":"Q5739206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$9CFDDED1-0E5A-4BE7-9333-67E3D488FAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb30f3bc0897e3f2e86c9997bd0e81210e0aaff","datavalue":{"value":{"entity-type":"item","numeric-id":2119004,"id":"Q2119004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$A2FBF007-3D4C-4A71-9357-7F761C8A7191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295ccbcc18285d2b9ea1360717c18ccffe606bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5445495,"id":"Q5445495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120099$4774D09E-6A60-4870-941A-C6AFF9944580","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47d129fdd3c0f1d5464232c56d97e7873c2db72","datavalue":{"value":{"entity-type":"item","numeric-id":2120097,"id":"Q2120097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5baeb0e64c66f8153df6acdb967e7a4e9021868b","datavalue":{"value":{"amount":"+0.8141335844993591","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":"Q2120099$26C56C93-C9A3-4419-9AD5-CA7C8300979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af73d0c8ca358013e58d8293ef089dbc3438989","datavalue":{"value":{"entity-type":"item","numeric-id":5495781,"id":"Q5495781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afedf1a6121df8744cd3e31ce1891092f0db42f","datavalue":{"value":{"amount":"+0.8008958697319031","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":"Q2120099$D0DADD44-B6BE-45BA-BC68-1C45C4D03A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77691aaa76549be68c379aa4e82003c863b4bc6","datavalue":{"value":{"entity-type":"item","numeric-id":2119035,"id":"Q2119035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9023fb8960175cbaf4e6bbba48ad4b73d8d16ede","datavalue":{"value":{"amount":"+0.7972575426101685","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":"Q2120099$E35B78C4-D334-4FD8-948E-1A6A6DF4BCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59d5597becc017512ef779a86ace509c4185d7af","datavalue":{"value":{"entity-type":"item","numeric-id":1688401,"id":"Q1688401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ab74521248d6c34da026411dd905b3fca27b3b","datavalue":{"value":{"amount":"+0.7250054478645325","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":"Q2120099$41795C27-1E96-4E2C-83EF-F497DD8B0F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07925c241e834a1f5d3ae10375b4bfbe273cf6ec","datavalue":{"value":{"entity-type":"item","numeric-id":2874542,"id":"Q2874542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa87217fd8fcc19d39b458eb9bdae8769c4789c6","datavalue":{"value":{"amount":"+0.7232253551483154","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":"Q2120099$7CCF7847-3159-469E-8EB1-E58F9A599316","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-carrying data without succinct arguments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-carrying_data_without_succinct_arguments"}}}}}