{"entities":{"Q2457800":{"pageid":2468543,"ns":120,"title":"Item:Q2457800","lastrevid":50193413,"modified":"2026-01-13T11:42:28Z","type":"item","id":"Q2457800","labels":{"en":{"language":"en","value":"Decision procedures for extensions of the theory of arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5204109"}},"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":"Q2457800$ED32CC59-0FC9-4729-A8F5-EAABDFD2BF76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa2845dbdd575f12389381b9c924f7a353a506a5","datavalue":{"value":{"text":"Decision procedures for extensions of the theory of arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457800$ECB48215-FC7C-435B-8203-A49885A06489","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48a98767b3d903685bf9648a94fa0679786ec88b","datavalue":{"value":"1125.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457800$C178544C-C77D-4770-8A84-B4A0473FB65F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$B3853090-85DE-454A-AF8F-0BEF889EF22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e50528f45a8bb28ce09efe5389b579bf5ff46d","datavalue":{"value":{"entity-type":"item","numeric-id":438571,"id":"Q438571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$D4116CE0-4D23-4BBF-92D4-4E14F0B568D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$DA08A8B2-B287-4CA5-90DF-950D38A83CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aac917e4665717c34bbc71235a9093a7d6741cc","datavalue":{"value":{"entity-type":"item","numeric-id":438570,"id":"Q438570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$C11DC357-1018-4B10-8E7D-C3179137751C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$80B1C72D-7243-4A56-B5D2-F3C35A37F533","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457800$16CC4824-446D-4605-A1C0-2B883161ADA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457800$62D7DFD7-D0BC-4BA3-BC81-31EB0AA3DE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457800$4B8F8376-A224-4CB9-91BB-E81E43B1F321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457800$44AA429A-CF57-4DB6-B6D1-EFADEEBEF3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457800$F56E80F6-20CC-45CF-9F0F-3845B4B9FBE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0069e178e1568f7458f43d1d255ed9f5e6866bdb","datavalue":{"value":"5204109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457800$16DC9769-020F-40B2-9F65-7D7E69E54C49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"980ebe6ca7e45d4ede49bd77232ed26f757ad55e","datavalue":{"value":"Constraint satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457800$14010B83-6B73-4305-9AC4-0672B20BC040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a1d8b3158c8e54d3eb6dc847ad8b1b709f4bfa","datavalue":{"value":"Decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457800$B2CE689F-49F5-4199-B5C9-28EC17DD50DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a0e9003d15ffd2847fe0a90fc9f814c55f67cb","datavalue":{"value":"Combination methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457800$7E2BEAB9-99F9-4D97-9B07-6FB407B00B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c178315f1a24fe3de3677c018c922349abbf3890","datavalue":{"value":"Instantiation strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457800$05F7D08F-EBA6-4C38-97BF-A4A8E719B737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7892e11abe4499c729afd01dffece63c453b38d2","datavalue":{"value":"Theory of arrays with extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457800$EA1700AF-130B-44CF-97FA-DC9F1850183C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457800$A0F16010-02DE-4110-8A87-07F04B1C9CFA","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":"Q2457800$61FA2D7C-3441-483A-B566-D99FA08E912E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de8c714da0b54d00158b740d21a7dd6241faee14","datavalue":{"value":"https://doi.org/10.1007/s10472-007-9078-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457800$9ED5182F-46F1-480B-AD81-522197AC8F20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d0bbbd39858527df3928a0332a7df349edb842f","datavalue":{"value":"W2154032363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457800$EB6CA250-7A22-4991-B5EA-E2CD5BE6125D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4741e9d217eddd81c00e6430470e876cba6d8519","datavalue":{"value":{"entity-type":"item","numeric-id":5491893,"id":"Q5491893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$6A16AEE7-4F7A-45D4-BCC2-1C546E405706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103360585a9bffb1c1cc70bf60b5d74438ed3255","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$1DDAFD76-4CF1-49FA-942A-8FB8E9A5E726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc74a420b6b7ea54906573084cfacb776d08039","datavalue":{"value":{"entity-type":"item","numeric-id":3613431,"id":"Q3613431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$3CDFF92D-8082-4B1E-9602-9602C98F7EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b0f81481964ce2c3959f44994546ec67aa5a63","datavalue":{"value":{"entity-type":"item","numeric-id":2432765,"id":"Q2432765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$B2FAD464-7A6C-44A2-B2F2-7F282405A74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$1B9EFB9E-FEFB-477A-BFE2-1D32CD893AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6581ef4793380effdc73e1184fffda39014d6317","datavalue":{"value":{"entity-type":"item","numeric-id":3024760,"id":"Q3024760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$980324CF-4C13-4867-AB15-6DAD4F43BDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601ec2c706ddf45de31ee679a12674e1ca489252","datavalue":{"value":{"entity-type":"item","numeric-id":4916225,"id":"Q4916225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$ACBC21CA-A777-49AB-82F3-A1694BFEDC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689e79cb9366c053465644e5ffddf982ad0107f1","datavalue":{"value":{"entity-type":"item","numeric-id":4170196,"id":"Q4170196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$0ADBCA0C-CCDC-4D94-9945-D01B3A157F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$348604C4-FDA8-44EA-BDC6-71D2A4416BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$4C4EB660-8510-44E8-B565-2EF03526D5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae611ccf26d614d6f5569c32d95f83372cdd7983","datavalue":{"value":{"entity-type":"item","numeric-id":5311286,"id":"Q5311286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$A9A84C95-9C7B-4B2A-B6FB-9D9C1B73AAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b46d5f65e8737cac806fe4f42d3b4d6ec963c54","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$EEB3F5A1-E13D-4138-B065-C3CF0272465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b302ba9a7d1a6b0b7e3f686e6a4da7336866d5d","datavalue":{"value":{"entity-type":"item","numeric-id":3533130,"id":"Q3533130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$D54E2CA9-4332-4F59-B7AB-62D6AEC22310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edcdac11d5b28d0fae3e735a21092bef44a76237","datavalue":{"value":{"entity-type":"item","numeric-id":1159191,"id":"Q1159191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$28956C4E-FD79-4AFB-8AE5-336562A29A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267d2692778560c926fa1a0840789871f1edb87f","datavalue":{"value":{"entity-type":"item","numeric-id":3916002,"id":"Q3916002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$93AB3F9B-34F4-40BC-A1B5-A39CEA57ACC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$B47F1069-C425-4731-BCEF-EB461927523D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$B5E162C1-72E6-4C39-BD63-E38644616A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$A6DB248C-3669-4F14-9D81-EA8107B1B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393ecae0dc74f488cdf64d27da9a36da7f60c999","datavalue":{"value":{"entity-type":"item","numeric-id":4176940,"id":"Q4176940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$2F52C543-D3FB-4085-B2FA-9D6B5AD0161D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$F904C3E6-BE33-4805-A772-A9B6A54A1F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bb2a60e9f6ffe181fe7ecda3a8c91cb637b1a9","datavalue":{"value":{"entity-type":"item","numeric-id":3867162,"id":"Q3867162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$C45622C6-E803-49F2-8090-CA854A39A3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba4cd235346de0bc02a623953674e572b92e157","datavalue":{"value":{"entity-type":"item","numeric-id":5916300,"id":"Q5916300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457800$3F6B4C9A-739F-40E7-B24C-A971FA9B9063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48ea0043b286cedaf70f4b9541a8449dae50d1d6","datavalue":{"value":"10.1007/S10472-007-9078-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457800$6C6B813A-D15F-438E-ABE3-B07B99207BA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f5333c900d359772d6b5aecd422238f1cecf5c","datavalue":{"value":{"entity-type":"item","numeric-id":3533130,"id":"Q3533130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51963ae80bf2000bba6ae409824a55de37af0d90","datavalue":{"value":{"amount":"+0.9763627648353576","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":"Q2457800$05F61C14-F462-4845-861F-12A8C8464AAB","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":"270b219d1bf68ece2812ab8ba2f4c703a8a2524d","datavalue":{"value":{"amount":"+0.8591812252998352","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":"Q2457800$F3EE62A8-E434-4EA3-8B0B-910D324EB272","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":"ed1b403bf0f4f0c8e63fa64ad0b49fd29a596082","datavalue":{"value":{"amount":"+0.8335748314857483","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":"Q2457800$75D8E93F-3A49-41BF-BC72-60481864DBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786bc49782152e86f8b4d584ce79d4cdf315744f","datavalue":{"value":{"entity-type":"item","numeric-id":3181652,"id":"Q3181652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e94a80fc2968cc2fc228bdc3c86854ae7513c7c","datavalue":{"value":{"amount":"+0.7973837852478027","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":"Q2457800$02B5F726-8ECC-40EE-8E36-6A8966D502A8","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":"7218a5984b1655b514d21bbbd4d4e7de0f74c159","datavalue":{"value":{"amount":"+0.7930952906608582","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":"Q2457800$17C4D130-96F2-43E5-8248-13C4E85E88A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457800","badges":[]}}}}}