{"entities":{"Q6561348":{"pageid":14172503,"ns":120,"title":"Item:Q6561348","lastrevid":42349289,"modified":"2025-06-12T08:45:03Z","type":"item","id":"Q6561348","labels":{"en":{"language":"en","value":"Succinct ordering and aggregation constraints in algebraic array theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870780"}},"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":"Q6561348$65783A5B-FE32-4BB4-837E-9DA8388C870F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8925f0408af7c3fec2d344bb313c99b96ed6645d","datavalue":{"value":{"text":"Succinct ordering and aggregation constraints in algebraic array theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6561348$DA2F06A6-F419-4B8A-A2A7-EC84769DA3A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"108a3a382d1f6989233ac271c6a4621b0f1fd16f","datavalue":{"value":{"entity-type":"item","numeric-id":2152657,"id":"Q2152657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$5756A605-D79E-4EBB-9E8A-2C29B8687597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$E4A99445-D80F-4BED-B764-26524DC31946","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$58979BFC-B0D1-4803-9510-77BFBCCA0CE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"810cbb80b3532059cbf7c621b480d82d1f9f012b","datavalue":{"value":{"time":"+2024-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6561348$70F0D170-5D88-4042-A44C-0C1753202EC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561348$97A706E4-97C4-4CD5-A1C4-53F7478787C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f9b725aaa26b83e4d36555b842c94f98c200fb2","datavalue":{"value":"7870780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561348$437CB92D-7073-4EAD-8EA8-7C8A216CCF70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561348$888BC9C3-8BEE-46CD-A959-4F19A98C34E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561348$E25DC4CA-98DC-403A-AA63-837A78917D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3270f1a4769ce41d92ad7a61e341b778f67336e6","datavalue":{"value":"arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561348$03AE57E4-808D-406B-82CF-6A335CEC0A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c57f8bff2c11a16a337a70bf5076411a453791","datavalue":{"value":"Feferman-Vaught","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561348$8B885704-D136-4C57-B77A-BE656EBD739B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a741d179500c829a6b953afdeddeb1c89e4be2ad","datavalue":{"value":"composition theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561348$99526556-8474-4651-92F1-29176C883533","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":"Q6561348$D8398595-B413-4709-AD22-B60C34F98735","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1d0e8cc6a988269191c9f7bb21643115dec85b","datavalue":{"value":{"entity-type":"item","numeric-id":1688541,"id":"Q1688541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$C5BD9A66-834B-42D5-96DC-C1129C983C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$1AEC3FD1-186E-4FDB-9A18-0726032B0FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126e5dfacc7f9aed01f6e192710147ed8c12ae25","datavalue":{"value":{"entity-type":"item","numeric-id":2817912,"id":"Q2817912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$0159E59A-552D-44CF-B11B-B96949AC656A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$CEDC653D-C059-4F7A-8628-60724202F186","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":"Q6561348$BF8BD72E-747E-40BB-8F19-4B4FE9861E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82154e66a2e8fea69e3328eced4f67343c9f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1214411,"id":"Q1214411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$29C25F14-C588-4C13-BD5B-280A9F61A0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$E1B3BE3B-D385-4011-945A-A5C46310B4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae9e7db1bfa350e543799b1c4534f1a0b1eb0e3","datavalue":{"value":{"entity-type":"item","numeric-id":4633555,"id":"Q4633555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$F26038C8-AF0F-495D-B99D-503F2E956936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff0465dc06ca78a72e47b3e23d97a012b0bd58d","datavalue":{"value":{"entity-type":"item","numeric-id":4635952,"id":"Q4635952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$3CAAC312-4D4B-444D-BCC1-6E84B8ECBE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$DBF5FA0E-1A39-4CB5-9347-30F099B35D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$F31656CE-7FB8-4879-8123-E0FF79D2CDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$320B82E3-7CF2-40F6-8DBC-56DFC299B209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$5B5BAE26-9276-44B2-94E8-14A8B69F58DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$CBC35773-DD6B-4D69-93D1-98C0DFAE10D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c587158df526a2d6b29da97447f4af226ffd7c","datavalue":{"value":{"entity-type":"item","numeric-id":404011,"id":"Q404011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$6168915B-75BA-4370-ACA8-22CEAA763E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c6738e66ac796c260134596dd9befdbe139a8","datavalue":{"value":{"entity-type":"item","numeric-id":5441362,"id":"Q5441362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$49EDFCCD-1E8E-45E1-8B00-97436CC73CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$D853B92B-286D-49D7-9E27-E72E4E14D738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14e117232d6e088fbdaa0ce7e01802fcb6823ad","datavalue":{"value":{"entity-type":"item","numeric-id":5452188,"id":"Q5452188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$76081B9B-142B-40E8-BC97-922B26661A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$A884DEF7-F202-4AE5-B66F-85CB21F6CEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e690a622a61afeb0c2a7c388c1cf18ef89252c9","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$3AB89190-9E2C-4E04-AEBA-0E0951052D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cecf5ecc0a73e42385bc5f7405c4ec8f0827f308","datavalue":{"value":{"entity-type":"item","numeric-id":3586032,"id":"Q3586032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$43CD47AF-CADB-4606-8BB6-B39821411CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278276176b213e20723f5199a3fe875c19d6492","datavalue":{"value":{"entity-type":"item","numeric-id":3608775,"id":"Q3608775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$0CBC8FE1-4634-4033-BEB0-3865B15BF8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$4C4A46C7-27D8-4080-9DE0-DFA73ABC2762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3216d42207957e64bfec1ea73f6a86569343311","datavalue":{"value":{"entity-type":"item","numeric-id":784151,"id":"Q784151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$DF482995-E688-48FE-9239-07633AF2EDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$D7B0E566-27A0-4101-A3CC-A04B865B6612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fdb6ea82df62b6b8377e8b66a698fc11b5f0db","datavalue":{"value":{"entity-type":"item","numeric-id":6113018,"id":"Q6113018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$1CAB6980-7532-4F4F-AA8C-636EA1267D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$7566F649-7551-4B7E-90EB-F54464A5FE71","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":"Q6561348$41537E43-D870-4C56-986E-AB5B89B02B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$0CE67835-A304-4B99-BAAE-F5506764FFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c62cd394a1c8b379dc342a74d561891525bf3c2","datavalue":{"value":{"entity-type":"item","numeric-id":2096432,"id":"Q2096432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$FA7D5869-6C36-4829-8650-CA9E1A56638F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd3ae9ecaf03e669578b5127403b6c5be6add45","datavalue":{"value":{"entity-type":"item","numeric-id":3512499,"id":"Q3512499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$A6885840-A7D2-4F08-965A-4113AA67C0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a967e41142efe1e0e211fa58a75bc92a59d0c4e3","datavalue":{"value":{"entity-type":"item","numeric-id":3075496,"id":"Q3075496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$778C5800-6444-4006-83C2-6B746FAF0D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50c244c442d65d5310b55c451520a1fdbf4f9a3","datavalue":{"value":{"entity-type":"item","numeric-id":2152659,"id":"Q2152659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$61891661-DDCC-4A05-83C6-7313487A6256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2f7260f0a189ea912aa7ca381e63a3eb12b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":6192058,"id":"Q6192058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$1FBE8E7D-A400-423E-8B76-AC1A9BAB5CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024436ce79d78900d887501762f1523e2832f46","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$383E11F4-98E3-4999-A13B-AA23F556B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$B52C9BF8-737B-49C5-9ABB-4BC829B9228C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bbdba07ae843318f6418cc9c2e5ed6446ca4f2","datavalue":{"value":{"entity-type":"item","numeric-id":3455548,"id":"Q3455548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$A1C6D3C5-BE91-497E-93EC-1AD67F25C110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6489cf91e9b20f63ed7456f579d1977e07a3f9","datavalue":{"value":{"entity-type":"item","numeric-id":3075499,"id":"Q3075499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$CDFC1F6A-B9A6-42E4-9FF0-217194756662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e478b454a848e966dd19d4bc1adbaf619f7c7421","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$CAB07620-B80E-479D-9F5C-5D237886D7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd17d46557ce405d28de010e2d55120db882b58d","datavalue":{"value":{"entity-type":"item","numeric-id":483051,"id":"Q483051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$E2F8B9D2-50CA-4B9D-A831-9C55BCF28DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6511f2ab28b1ab2433e56820834e0e4329a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$A224A474-1487-4222-9C73-C8308C24505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c7a786d50b61b81c837f107881a4b9a94a2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$066A93C6-EDE5-47FA-A006-1E8EF7033E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc80633033e33b0c5b134d43da0776fc1e27c25","datavalue":{"value":{"entity-type":"item","numeric-id":3655212,"id":"Q3655212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561348$57DF536D-D218-42FD-BF6D-8816307540BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af74198870bc50b318f2faa640a2a046c1a3497d","datavalue":{"value":"10.1016/J.JLAMP.2024.100978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561348$48635F4F-34DD-4948-AF85-E024CE8ED8B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6561348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6561348"}}}}}