{"entities":{"Q2946676":{"pageid":2957396,"ns":120,"title":"Item:Q2946676","lastrevid":52347353,"modified":"2026-01-22T10:12:11Z","type":"item","id":"Q2946676","labels":{"en":{"language":"en","value":"Algorithmic analysis of array-accessing programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483181"}},"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":"Q2946676$0D3F429B-2676-4B5E-BF30-D240B7D29D73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3221af0c2b5141d0fbcd832a72e879a83a6945e3","datavalue":{"value":{"text":"Algorithmic analysis of array-accessing programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946676$86D1995E-C6F7-434F-A51E-FF2BFFA43611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"145942624643325a86dd15ada858f0d8afb8d4d3","datavalue":{"value":"1351.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946676$D2262B2F-7E0A-476D-9B0D-754592F95F25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91cfe2769c8a67548e3345b9b7f155b190c2e2ca","datavalue":{"value":"10.1145/2287718.2287727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946676$27C1DFE6-0DEB-4AAC-850D-EA8FBCAE3C4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42555107275c15893120c7cc39741fb0ca2e4591","datavalue":{"value":{"entity-type":"item","numeric-id":477209,"id":"Q477209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946676$E7814A4A-B212-4FEE-B76E-B36AB95560FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a162ed9c1228af5f8628b45a1fbe4b46bf3f13a","datavalue":{"value":{"entity-type":"item","numeric-id":703862,"id":"Q703862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946676$C19BED02-71CB-4795-B702-CAB7CB32F047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946676$4ED0F117-14C1-4D58-83CC-28D730EF17D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946676$F9A4589A-0D5C-40DE-A409-4D15E0AAD7D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946676$D09AE51A-DD87-4D84-B3C0-1457D8A91120","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbba60dcaa6a3e0fe9cd3f805df6e135b0494384","datavalue":{"value":"https://repository.upenn.edu/cis_reports/894","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946676$04DC12AB-959F-4355-9A15-D1F9DA6DC29B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946676$FD8AF750-7903-4F6F-90EE-CDB33ADC4A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946676$2B2AC8D9-1CE5-4C0D-9FCE-881E3075C6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946676$5E3405A3-84B1-4BFC-B40D-A1A546957A9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06703678349dd010a3c21fed00f5f56dfe8f63fb","datavalue":{"value":"6483181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946676$1E4AAA4C-B4E7-40E7-B92A-BCCEED0E8245","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a509d90fbeede3e6c9d158eec59669eb849866","datavalue":{"value":"algorithmic software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946676$4FB6B88C-66F4-4807-9685-836D2A15A6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3270f1a4769ce41d92ad7a61e341b778f67336e6","datavalue":{"value":"arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946676$D60C13DC-5A88-4A2A-9552-BF17C7A1E181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946676$E3DAF3DB-A59D-41C6-A005-D9694FC32E8E","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":"Q2946676$88163FE9-6539-4EC8-A347-62A8CC2C11D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b28e1778805b5dcade6a213e0c23acb5edb6acd","datavalue":{"value":"W2011432313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946676$57FCB9AF-EF10-44E8-949A-D6351E5ECAB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c200a02084ae66deda3c0fceb34493446bafb03","datavalue":{"value":{"entity-type":"item","numeric-id":3644742,"id":"Q3644742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1f6b87b0e1d03386846ffd8948361bdc9b7f26","datavalue":{"value":{"amount":"+0.9983784556388856","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":"Q2946676$53C6B0E1-26AB-4A42-B0F5-13D0B48028B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1063bece29dd4b6e998e94b2f0084b7f2a844456","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324b852de12ad2b327422d1de851c6f1db3271f9","datavalue":{"value":{"amount":"+0.7730793952941895","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":"Q2946676$2F5DBA78-BF8D-4E28-8956-55694DB9A487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd1956f977786f2043a62205373527261741540","datavalue":{"value":{"entity-type":"item","numeric-id":2351149,"id":"Q2351149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88738dbc9cf98190473b87353521872879fb9f7","datavalue":{"value":{"amount":"+0.7718183994293213","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":"Q2946676$3903FE50-75AB-4F20-B64E-37C106732DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905332bf6c3e109d1de50e535594648948454dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1922347,"id":"Q1922347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc2bd63cef29d998495c0589e3a06c3779ee506","datavalue":{"value":{"amount":"+0.7708990573883057","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":"Q2946676$5CBDC9FA-94D5-4377-8CBE-3C0C35922754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a71ad58a8f641e2dfa7ae2d147b3babde614443","datavalue":{"value":{"amount":"+0.756904661655426","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":"Q2946676$83CA0525-1699-4A73-B536-7076C8F5E86E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946676"}}}}}