{"entities":{"Q6192058":{"pageid":13326946,"ns":120,"title":"Item:Q6192058","lastrevid":57443124,"modified":"2026-03-30T23:13:38Z","type":"item","id":"Q6192058","labels":{"en":{"language":"en","value":"On algebraic array theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803169"}},"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":"Q6192058$0E25AF4D-0611-4AF7-89BE-2B0833B8843A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7db1ea94dd7b5800613ce6ad3337091191e5450","datavalue":{"value":{"text":"On algebraic array theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6192058$D741B3C4-F95D-4190-944D-4481D9BA59A3","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":"Q6192058$1DF09365-694D-4DE1-8D7A-AFC1F1AB602B","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":"Q6192058$6EA399BB-3A41-4B25-A0E7-DDAC7C357CEC","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":"Q6192058$0CF94AB2-FBB6-45F9-A8A4-782F1196F1F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2690d5dc291ad0ded12f2eb8597187f840576ab","datavalue":{"value":{"time":"+2024-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6192058$859BD1FA-9275-4482-8AD4-E9C67ABB667D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6192058$2C344F77-0FB4-4EE6-9914-419EAB2AF8FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed63a5ecef9992062b009d5787b09b4ba58c8178","datavalue":{"value":"7803169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6192058$E1B4FAC2-D4F3-4B31-9F12-D5966B6559B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6192058$58918D82-7CFA-4245-98B5-B1579B44F417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6192058$7189FCD9-7598-4E73-9876-72C24E5BC988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3270f1a4769ce41d92ad7a61e341b778f67336e6","datavalue":{"value":"arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q6192058$587D417F-72E6-4E94-AB80-A905F5F5A076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c57f8bff2c11a16a337a70bf5076411a453791","datavalue":{"value":"Feferman-Vaught","type":"string"},"datatype":"string"},"type":"statement","id":"Q6192058$AF1F1DCF-35C9-4E2E-8827-528136F71773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a741d179500c829a6b953afdeddeb1c89e4be2ad","datavalue":{"value":"composition theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6192058$66F11715-6680-4856-A401-96D4B0F47679","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":"Q6192058$D58D1BF8-BAD7-4620-8F7E-A3463BE513C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78109effc32683ac90af9f7ea094ea2ae61d883c","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2023.100906","type":"string"},"datatype":"url"},"type":"statement","id":"Q6192058$8EF521E6-4B54-4A4F-975A-CBBA78D969E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5299ce283b6be7dc1f3ad14eb1d28d2643eae38f","datavalue":{"value":"W4386365754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6192058$6E7C1D54-DB29-48C7-823D-FB4BA02DF91E","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":"Q6192058$BA3785E9-F9D3-4B5C-84E0-CAE5D36CC24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f176d988fabbd626744eee2651f4ef8cf9c0825f","datavalue":{"value":{"entity-type":"item","numeric-id":3457775,"id":"Q3457775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6192058$DF5CCA68-125D-4E09-A059-DF708F953393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514430fb16af5350d3da66c57a77fa416ade52e7","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6192058$D61E22ED-08CD-4C15-AB85-121E47E1692B","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":"Q6192058$809D3B87-54AA-40A0-AC60-A817A7B38B86","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":"Q6192058$357C1502-3278-4119-A1C7-888547680E39","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":"Q6192058$FC790FF9-9ED4-4643-8B8E-60EDE7F4D906","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":"Q6192058$97F2737C-33CE-4432-8AAC-F33BC9DFFE01","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":"Q6192058$C074934A-F7BE-4C04-99B6-78F7873DC78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc12f4cea5547cfeac802b962384c3ffbc8850f","datavalue":{"value":{"entity-type":"item","numeric-id":1391526,"id":"Q1391526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6192058$7D68F908-2F13-41DF-8C09-D3B5FB515026","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":"Q6192058$5E3E793D-52B9-441C-8DAE-A920F496A6C6","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":"Q6192058$ECC10BFA-4A98-4B28-8304-BD921964FBDD","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":"Q6192058$5C67107B-0EAA-4272-A61E-49F2B0C5DACC","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":"Q6192058$419D53B5-6CD8-44A7-8152-7CAA42C3CE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933b22d452873c71c1e8647c7fb6e720bdb4daaa","datavalue":{"value":{"entity-type":"item","numeric-id":2457800,"id":"Q2457800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6192058$EE6E8375-D745-4D78-80B0-87661D40A700","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":"Q6192058$DC0829C6-95CC-47C5-BE7A-4A4F37F6538A","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":"Q6192058$A406C40D-9993-41BB-8AEF-97CD63D9014F","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":"Q6192058$F44193A7-364D-4C1A-A943-9D0B1B27D747","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":"Q6192058$DD5898EB-A8E5-48E8-973F-651E9A732CCB","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":"Q6192058$39691387-BF7F-4329-9D91-057EA5662AB4","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":"Q6192058$AD060565-C638-4145-9790-05DE3BCC5490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6192058$3F31C834-0EA2-40A6-B846-E555F3C40583","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":"Q6192058$FA55A8C7-680B-4434-90B2-035D05A7F58B","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":"Q6192058$E879D9BD-0480-417F-8DC3-E476D9B58B27","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":"Q6192058$E617C1E3-4D0E-431B-97DE-C98E934442EB","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":"Q6192058$5D9CFDC5-B2EC-433B-B7C9-D193D30AAB4C","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":"Q6192058$E79CB021-FBA0-424A-B48B-D4799C967A31","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":"Q6192058$3191F814-381F-4E4C-9767-689D8B8050C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13a6701efa8427b6d85fc755bf9de2c5a1dda28e","datavalue":{"value":"10.1016/J.JLAMP.2023.100906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6192058$419B159E-DFAD-4E19-AC62-6FE0433BF491","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6192058$2187B4CE-D410-4717-A4B1-03C9E467AEE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6192058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6192058"}}}}}