{"entities":{"Q1035700":{"pageid":1037548,"ns":120,"title":"Item:Q1035700","lastrevid":66089874,"modified":"2026-04-12T07:28:59Z","type":"item","id":"Q1035700","labels":{"en":{"language":"en","value":"Applications of polyhedral computations to the analysis and verification of hardware and software systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624945"}},"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":"Q1035700$C782EB39-B25D-46FE-A01A-B57F5544EDD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5992b5a3a6acf8ea528f954f584bcf905dbb7f28","datavalue":{"value":{"text":"Applications of polyhedral computations to the analysis and verification of hardware and software systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035700$01F833F9-A4D5-4B4D-8906-0D9DB4AF09FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d235fd481312f6a003e43bd47c4ed285ee4450dd","datavalue":{"value":"1187.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035700$D0C0A7F3-D027-4256-AB7E-E09184F7E696","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$1D775286-9EC6-4863-A4B5-3ED61B2E3D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$FB0B6858-E507-4B9C-97AB-C9633758B98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$A72FD8B8-9300-4C19-AF6D-206BAA35A03E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$F0723AB3-918C-41B6-A7AA-64E51122471B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035700$3F9AAC4B-275A-4518-B4E2-1E166C8E5690","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035700$69628E3E-2243-407F-93D4-F69B3FE317FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035700$D608A2CD-C40E-4CAE-A1D0-B3828CA941E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2c32e1fdacd535fa59e505c9e56727e48c08ea9","datavalue":{"value":"5624945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035700$1E5D7F4D-B6B6-4F59-8D0F-BFB990C76068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035700$4300238E-9B9F-488A-A83F-8F59BCC8D84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3ba7951b4903ad74bc8156ee379fa7f0472a6f","datavalue":{"value":"computer-aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035700$0FA6EBC3-EAFB-4680-9F8A-41522A3C0687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035700$37BE32F3-12CB-4351-912B-4CB080661D6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$8FA18436-81AE-4815-A400-3305090C1C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$E00AB348-ADBF-454C-BD1F-1DE3A79CEE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$3A81B17A-1B67-4EB3-8561-AE87084585F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e5d22a527dec855028f570122972172eaf3807f","datavalue":{"value":{"entity-type":"item","numeric-id":31578,"id":"Q31578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$FEC7BFFA-99E9-4DAB-8A50-BC7370AD5A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$84A5E663-72CF-410F-92F7-7779CA5537C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$245D4025-C46A-403F-BE5F-E807A7188B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb73df82459d3f25f40c06b78cfd0d0320c4914d","datavalue":{"value":{"entity-type":"item","numeric-id":21902,"id":"Q21902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$B4F550BE-21A9-46A0-B5D8-DA449FF2DE40","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":"Q1035700$389F4B0D-E9FD-40E9-864D-4AD23B3F94D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be963f9e0fd879eaa6fe66510e4b099f37cb4104","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.07.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035700$0CC0D91A-4F68-47EC-9956-B2A679B38F07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4ea33d5aa2e7448ba2427fdfd369681251526fc","datavalue":{"value":"W2088667970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035700$B694256E-4620-44CC-ADA1-F5F5FB5EF730","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d096ad35c32662be4596601668d001e2923907a5","datavalue":{"value":{"entity-type":"item","numeric-id":3345690,"id":"Q3345690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$1000451C-5886-42BA-B696-401E0F8767AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$C8ACCC30-76E7-4ED5-8EC8-F3C890C37F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3d4bf1bdec4718989d84231dac666859666c10","datavalue":{"value":{"entity-type":"item","numeric-id":4518988,"id":"Q4518988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$4CE4BB7C-AF31-4BB1-90BD-0EE3CC598828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1776ffcd23318a03778deb65a3ef6ce3fd7c7ce3","datavalue":{"value":{"entity-type":"item","numeric-id":1356937,"id":"Q1356937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$ECF4DD42-B346-469D-9101-6725CFB7F545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f214d92b54721b2023bc5bf6f717dd369a161b10","datavalue":{"value":{"entity-type":"item","numeric-id":1380123,"id":"Q1380123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$60AE171D-AA62-4238-9592-A1A4B03B328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3d826ce91a5e6de922b8c63f17fcb45f663b49","datavalue":{"value":{"entity-type":"item","numeric-id":3591087,"id":"Q3591087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$2F731B33-1859-4CFD-BD70-7C03399E61F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0385beb476f74347b6caaa53186c3cdca7a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$3B249754-3FCA-4C4A-8F55-B0BE5C1E711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a281af5b84bde118d7a3e20b9b4305b683ed6ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2576576,"id":"Q2576576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$B93B3CA5-3085-43B2-B62F-740607D6228A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55c26e57bf1c0d5715c18493a5d4074bfbaecf4","datavalue":{"value":{"entity-type":"item","numeric-id":1035700,"id":"Q1035700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$0D5A7660-8ADC-445A-BCE2-A2402C939304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad90f6cec38c35afe0de2280ea56854eb9819aaf","datavalue":{"value":{"entity-type":"item","numeric-id":5897426,"id":"Q5897426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$E369EDAB-4D73-4B3A-B102-9A2FF9F31BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$D3E032C0-6CE0-42C7-80B6-E9562E93B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb59f53a3e3f66a5d99c68568915e94b34cd9791","datavalue":{"value":{"entity-type":"item","numeric-id":5943314,"id":"Q5943314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$C7FD7375-997A-46C6-8462-BBF14A48643E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$DD2D45EF-1406-4C95-98F3-1CFA8130F69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$A35C9AD2-A4BF-4936-8ECB-0E078AB56AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e71414912062461b63dcc6abf685164d11957ab","datavalue":{"value":{"entity-type":"item","numeric-id":5623505,"id":"Q5623505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$35DCBE1D-F025-4677-9BB4-6089E81CE31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ddbb40830c44c06b2cd9a4e3bd65ec2bcddcbc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$2E982D57-7529-4CE4-BD96-AE99353E7291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d04b670e7ad6909e8ece5ea78f4e3f9148ab5e","datavalue":{"value":{"entity-type":"item","numeric-id":1581061,"id":"Q1581061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$B9A3D09A-ACAF-4C96-B13A-342FA30D915D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$97559D9C-18D5-4A85-B965-6AD6F57645DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$4EDEBFB8-0386-47DD-AE08-5A2183C27677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$EE33EF59-1BDC-44E7-B558-F66140AA87B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49174fe89898f1b3ced6aaf4b838f363e2ceefde","datavalue":{"value":{"entity-type":"item","numeric-id":655410,"id":"Q655410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$0DF24092-573B-47D2-8977-94C3E41DC093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3556ecbf0d73a14f4be4b022c9aaa15280e0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1101265,"id":"Q1101265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$6CFBD5B6-1B6F-452A-9AF7-4231C25FBB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8879eacbb175d3de4e9d23435de9abff4054ec","datavalue":{"value":{"entity-type":"item","numeric-id":4778703,"id":"Q4778703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$7CAAD2E4-3FEC-4CD2-867E-7B7399085035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57f332f5cc68c7ac5e3e59e80b7e391fd4a426d","datavalue":{"value":{"entity-type":"item","numeric-id":5897960,"id":"Q5897960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$5B72DEAE-C39E-498D-A6D6-442954D4D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$F79C410E-52D3-46B9-92F5-351D7B23F174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7518c3dc697c1f88392c573900510e6c347126","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$598B43B3-C2DA-45E3-B9BC-B3A60F8C1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb0e8d299c09f38181b1f1ce7209848e193b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5899074,"id":"Q5899074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$DBF40FE7-9E07-46F1-93D8-DAFEB5EB788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83934c02f3843ed413f8141b583a9f9ababcb9b","datavalue":{"value":{"entity-type":"item","numeric-id":853727,"id":"Q853727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$950DF809-5403-4F98-9B4F-1B54038B2C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55366d2fbde32bd9577e396eed3c4ca061c1674","datavalue":{"value":{"entity-type":"item","numeric-id":4804911,"id":"Q4804911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$0F05F0BF-D3E5-4B57-888B-F3A4CB16D2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$AE5B5705-9673-401D-BF4D-072DC97E74FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$845E2C47-C140-4436-9E25-2DA46F4EAD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e1dd30ae4daa9c7abcc0738ba04bc46880262e6","datavalue":{"value":{"entity-type":"item","numeric-id":5466561,"id":"Q5466561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$772FAFAB-8932-4822-BF4A-11147464AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccbc8a5de17ed4e6924728c6d1a2f620a7587fb","datavalue":{"value":{"entity-type":"item","numeric-id":3805933,"id":"Q3805933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$042238EE-A318-430E-8310-7F996F8250AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$19D2BCEF-29FC-440F-8C15-F80E12955FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca76fd87e30ccf0bec7a7c002ab8fec81605ee48","datavalue":{"value":{"entity-type":"item","numeric-id":3377972,"id":"Q3377972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$397A3207-D7C5-4135-8E96-97DBEF40554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbe72cc116925a801c6363ae53a473520b6daad","datavalue":{"value":{"entity-type":"item","numeric-id":688575,"id":"Q688575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$4BD2D9B5-B351-4510-AEAE-BD0B23429BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b040ec544fc613ad61a95f012a9ad2330240f2","datavalue":{"value":{"entity-type":"item","numeric-id":4673545,"id":"Q4673545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$426D22E4-D72E-45CA-9C83-D46DCA0E2A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0990793c3ee061ace0a6ccae899c7783993b9b13","datavalue":{"value":{"entity-type":"item","numeric-id":5817857,"id":"Q5817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$693EE682-2F52-4CBC-AC45-90935CAFA8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b375626e8168abea54be4b23d013772e4058a985","datavalue":{"value":{"entity-type":"item","numeric-id":5898613,"id":"Q5898613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$DB5E6070-56CF-444B-94BC-B69E4C9AA6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$AC6E0249-E80A-4247-85BF-AB84A376E37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$6DC992AC-2563-4C70-B367-74E836CBE1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1772dc0287baf243f58df4ca4621f57f683d30a0","datavalue":{"value":{"entity-type":"item","numeric-id":2863862,"id":"Q2863862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$0E8F5314-053C-4ABB-8887-B2F3371DB8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03557cbd918b8a8243c3226bcfbd382a844e571c","datavalue":{"value":{"entity-type":"item","numeric-id":5603731,"id":"Q5603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$1D85ACFF-6A85-4700-A6D3-19248A59377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9acdc7706b9f84d071f3dde8a4228d75e984b917","datavalue":{"value":{"entity-type":"item","numeric-id":3401950,"id":"Q3401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035700$80562A5F-3F17-455A-80CC-E2719AD62601","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d708ee6f78f24e26ecc25183fdac4f3bce8fd14f","datavalue":{"value":"10.1016/J.TCS.2009.07.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035700$E5286D3C-592D-41A2-887E-68D5A3608264","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650c684a4a68b1c1f2c7ac698052ba816ed7469f","datavalue":{"value":{"entity-type":"item","numeric-id":4411960,"id":"Q4411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb49ba2d6545721dcd147cb4a77fec30e24a31fb","datavalue":{"value":{"amount":"+0.8196555376052856","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":"Q1035700$EA9DB7C0-7C03-4A34-9CB5-834708159CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753d7181be29db16b4ed0c4474087efddd180a6b","datavalue":{"value":{"entity-type":"item","numeric-id":2576576,"id":"Q2576576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98c760da7b3674dc37a1016883b3a501f598a15","datavalue":{"value":{"amount":"+0.7976129055023193","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":"Q1035700$BCB6A953-49B1-48A5-824D-8EEE3879A7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed17af059a62f641fe3ea8b23462194e3290dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2269830,"id":"Q2269830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418e152b640e4fd8c5f102fca9a26b1387afc618","datavalue":{"value":{"amount":"+0.77842116355896","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":"Q1035700$A2B2EA92-076C-4D83-A909-AF7C73D0EF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bed881a821d2bd4467a6cd76c146287d0df0d2","datavalue":{"value":{"entity-type":"item","numeric-id":2926643,"id":"Q2926643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f125ef9bcc78dba5df882f3499d626681795f8","datavalue":{"value":{"amount":"+0.7650266885757446","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":"Q1035700$ED216C5A-A2FA-4F90-92A9-8F43CD40928A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4275ead0a026f400bb5b52fda6e1b928e0124300","datavalue":{"value":{"entity-type":"item","numeric-id":4813407,"id":"Q4813407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8891df513f76ed97dc787ca88e871fe850327efe","datavalue":{"value":{"amount":"+0.7546612024307251","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":"Q1035700$ACA86484-1CF6-4AC7-ACA1-E9D2CC875C84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications of polyhedral computations to the analysis and verification of hardware and software systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applications_of_polyhedral_computations_to_the_analysis_and_verification_of_hardware_and_software_systems"}}}}}