{"entities":{"Q5458380":{"pageid":7487939,"ns":120,"title":"Item:Q5458380","lastrevid":50333933,"modified":"2026-01-13T20:27:18Z","type":"item","id":"Q5458380","labels":{"en":{"language":"en","value":"What Else Is Decidable about Integer Arrays?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262427"}},"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":"Q5458380$957975DC-3E2E-40CA-8AA2-46F51CFB9A87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bf4914b703f67c27d0d3decfb5edd29cd3982f7","datavalue":{"value":{"text":"What Else Is Decidable about Integer Arrays?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458380$ACC6B1F0-A777-42AC-A02A-48CAE7C74E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5a4a537788bcf1e07cebd558520666aff1d5c1b","datavalue":{"value":"1139.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458380$C6198D6F-B8ED-4026-964F-B409DEB8557E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9a4e2d97e830be8d887bc54c461b612e8a3c4e7","datavalue":{"value":"10.1007/978-3-540-78499-9_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458380$18E23525-DE40-4099-BFDA-E4EA381418B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458380$84EF9B93-CDD4-42A7-AFEF-C7E70FF56958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458380$9A5C19B0-5C0F-4212-B1B8-A834E5994621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458380$7F3F0AE1-F2A6-4567-8F29-302E2477EE47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458380$ADC0976F-9205-4F0F-A8FF-0A955C1AE233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458380$56B0AC04-0DAB-46B4-AE51-0DC32899F440","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458380$B07D50F1-44A1-41D4-9292-6B5DA0A86BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458380$ACF87660-905D-4910-9726-190C08C2BA1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a420183ebd006ba34fd654499391fca9132f9942","datavalue":{"value":"5262427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458380$DBAA325E-FB6E-4FA1-9472-925B72716A8F","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":"Q5458380$B31707D7-DB35-4A1F-8E73-6BE9EDC25775","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f30563bdcf6bf16594a94cc23adc2f43064c10a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78499-9_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458380$818CFA86-7FA9-45A1-8E89-55357DD2E79F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d69795832f5c6daee0a5fc7ba21ff557cba48b2","datavalue":{"value":"W1859059663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458380$E1297A4D-4323-458F-B0A7-D1DB6C7E7898","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6bf6447b85490bd8f32cacf9657774160e4337","datavalue":{"value":{"entity-type":"item","numeric-id":5505581,"id":"Q5505581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21654c22ab3d88367595fa5d7dfceab103591cf3","datavalue":{"value":{"amount":"+0.8629719614982605","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":"Q5458380$C239F878-D8AF-43AD-BD63-C7334681353A","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":"e611a0edfacb97d081d6aaef4de8a15d1c504ec1","datavalue":{"value":{"amount":"+0.818909227848053","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":"Q5458380$B271CBC5-EEAA-4885-890E-78FB3A34BB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6f3d173551e58c67ddcbbf85702c07b10b27a3","datavalue":{"value":{"entity-type":"item","numeric-id":4931288,"id":"Q4931288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045e456566c0213ccd7823995ddeea0e5c9846ef","datavalue":{"value":{"amount":"+0.7962123155593872","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":"Q5458380$26C3D903-7471-492C-9EEA-6079C5639B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc4a0bc320f52ca86174d1f7e7034db633f6ee0","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67ff9285fa50c6c7f9be4c2be6cef9c0278cd6f","datavalue":{"value":{"amount":"+0.7950934171676636","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":"Q5458380$0A8A93D0-9269-4953-8688-CD6F27890C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690c858d760c02bc1c787b31957541644aed107","datavalue":{"value":{"entity-type":"item","numeric-id":2851948,"id":"Q2851948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8af6a21242fe3d1dbf302540708498b0577fbb6","datavalue":{"value":{"amount":"+0.7789636254310608","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":"Q5458380$9DF0CE8C-88DB-4F58-A063-735EA8BB7596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458380"}}}}}