{"entities":{"Q2810964":{"pageid":2821702,"ns":120,"title":"Item:Q2810964","lastrevid":52548023,"modified":"2026-01-22T22:43:24Z","type":"item","id":"Q2810964","labels":{"en":{"language":"en","value":"Sheaves and geometric logic and applications to modular verification of complex systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589702"}},"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":"Q2810964$5FD5DF81-DC95-4FE5-984F-7CA36272A732","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd55dbc077392122ff444a6768615db2fb7c05a4","datavalue":{"value":"1339.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810964$6D81083A-46B3-4752-8F7F-BED60FD3F071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$22809441-C90C-4FA8-91F5-36120E51A106","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$60FD04FF-87C7-4BA8-98B6-5AC1A5390187","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810964$0D30D64D-A18D-4EA7-B225-9F3C52BC0999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810964$0972EC7D-B158-4BFC-A228-51DCD6002BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810964$78FCF875-083A-480C-B449-CDE902DD8C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca2dc0f65a9ba2724e55a320303c3b04299c7aaa","datavalue":{"value":"54B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810964$04F081D9-2071-4994-ABE8-76C9976D2EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810964$C54FED2A-5B17-448D-8477-AE970838AD9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4919d5d9ccc2b7c30321d3fec1418656e6c93fd4","datavalue":{"value":"6589702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810964$01A2FEB3-E721-474F-B4EA-4F1B74AB48F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee997b59789f85389e5368906dadd5b2641bf0","datavalue":{"value":"geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810964$1D962FF2-DA05-4E73-B424-76F568346369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810964$BFC10908-43A2-467A-A6D8-78FB9B377512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642fb89fab960669bf77c30a5366e85b7fb02243","datavalue":{"value":"modular verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810964$5A41099E-F109-49F8-8C64-C1B0533A18C4","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":"Q2810964$EF6E6266-9C3F-4C84-A8C3-41BEEADB1A0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06d651598059501cb3132e3c4c8d078f5befc98d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810964$776E49DD-6CDD-44AB-B7B3-3C2E2B4F175C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e5ab6dabc0a05090686f38c84290e662b0954ef","datavalue":{"value":"W2081145285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810964$EF2D7B52-C4C1-4584-BC03-3E534CCFE830","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$C0FD701C-4BB9-4C37-AA84-F24B5BCF3AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1462eafbf0016459ccd9c71298858ab6610eca2","datavalue":{"value":{"entity-type":"item","numeric-id":2560266,"id":"Q2560266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$BCA8B962-A78C-4847-8AB0-F2FA658313B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3224b3ee4e2065842acb7ecef1d84c9102fafc","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$4AD6BB78-75C3-4CA6-9148-7B7F314DE782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c2cbb2bf8af8fbe11bad5070e570df4153428a","datavalue":{"value":{"entity-type":"item","numeric-id":2500494,"id":"Q2500494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$26ACE1E1-2E60-4F00-96B6-967DACF9A058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b103b4f6da8892f45e71a4ba7d1316b80b935bb","datavalue":{"value":{"entity-type":"item","numeric-id":1397800,"id":"Q1397800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$3525D9F7-3626-4CD4-8B62-336D77D4007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf65c22bfb8a5399142873d9e1ac0cd7f9ef33c","datavalue":{"value":{"entity-type":"item","numeric-id":4017459,"id":"Q4017459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$8E550307-8F09-49C2-A378-37BEDD1B46B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c2bf518f07c352a8e3930c7ca19270bad30af8","datavalue":{"value":{"entity-type":"item","numeric-id":3158560,"id":"Q3158560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$14D87A5E-9B35-4655-ACE9-0BE55F0E6330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8571cfb6c41c9203dbca31502594520874a2ee1","datavalue":{"value":{"entity-type":"item","numeric-id":2864523,"id":"Q2864523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$BDFF8610-FA58-4178-9795-C13BF616E016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$07818F85-E084-46AA-86E5-1AF945A9F6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddebecba5228c2c587db848afd240d4e169403bf","datavalue":{"value":{"entity-type":"item","numeric-id":3853700,"id":"Q3853700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$256B014E-F20F-4FDA-AA3E-CBAEA06BEF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$B158F191-4E35-4E88-A469-A3C7C583A186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$4693F3FD-93FF-46E3-88DB-8EF5699D1676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410adec4d0e36482a12fcbf29152f8c498fa2327","datavalue":{"value":{"entity-type":"item","numeric-id":4507892,"id":"Q4507892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$FD53FDE9-F782-4DCD-B61A-F234BC8199F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bead456e99445c3d5860486c31fed15d1777b0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4934357,"id":"Q4934357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810964$83FAA5F5-A71C-4A14-AA3B-4720DA54B0A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29f368540ef49443835fdb0f4db0f5dd2f21114d","datavalue":{"value":"10.1016/J.ENTCS.2009.02.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810964$3040F1DB-B2BF-4855-95F1-9A9DC6F458F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f6497771c4e80e8412ec199d2122664fc4406a0","datavalue":{"value":{"text":"Sheaves and geometric logic and applications to modular verification of complex systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810964$9F4B892C-300E-4B78-AF02-B1CB772C1BDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1213873e5753f74a4bb3192cc925f07e241e1f60","datavalue":{"value":{"entity-type":"item","numeric-id":4934357,"id":"Q4934357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d55889f41a36c02fb89eda2623dc462c7448d3","datavalue":{"value":{"amount":"+0.8512369394302368","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":"Q2810964$0C260923-E6A5-4B8B-8AF9-95DE68CC7AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6385bc409e31c89a31fc4c1a44a10be95e33d4","datavalue":{"value":{"entity-type":"item","numeric-id":5757923,"id":"Q5757923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a134deafce2927735593d6984f816243859131","datavalue":{"value":{"amount":"+0.7669901847839355","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":"Q2810964$9A67605E-D981-4F99-8359-66587385A4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4392cfd21aa49658409cdf98c8fec697fd9a55","datavalue":{"value":{"entity-type":"item","numeric-id":4982050,"id":"Q4982050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24837316b8f7286d48fa587613b0d91cda78fc93","datavalue":{"value":{"amount":"+0.7661255598068237","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":"Q2810964$31300E8A-213F-4BE2-908A-7F6AEF8E7348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d4a034beb72b36b6d33e3a545ba807951a91fc","datavalue":{"value":{"entity-type":"item","numeric-id":4017459,"id":"Q4017459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b680dd59231eea7772c27cb448bf1f947168f7","datavalue":{"value":{"amount":"+0.7525565028190613","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":"Q2810964$9685F01D-B7F3-4E79-9735-AAFD996F01D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232a9f7e23658d5520ee44ef12997e354bef7147","datavalue":{"value":{"entity-type":"item","numeric-id":5019670,"id":"Q5019670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b680dd59231eea7772c27cb448bf1f947168f7","datavalue":{"value":{"amount":"+0.7525565028190613","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":"Q2810964$A3A27F17-E806-46B2-8F9C-4132A7F3034A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810964"}}}}}