{"entities":{"Q2104504":{"pageid":2115247,"ns":120,"title":"Item:Q2104504","lastrevid":56991828,"modified":"2026-03-25T13:40:34Z","type":"item","id":"Q2104504","labels":{"en":{"language":"en","value":"Reasoning about vectors using an SMT theory of sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628185"}},"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":"Q2104504$758535DF-EA55-4311-9965-CA28A45CD54F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5781fed5bb5c300d4c0cf53a21f51386b79b27ec","datavalue":{"value":{"text":"Reasoning about vectors using an SMT theory of sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104504$E80E1B3D-E310-4457-B444-69D7C2196347","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ee997bc1973ddf1e32bb3f511aeead288a3b290","datavalue":{"value":"10.1007/978-3-031-10769-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104504$AC4E211E-C60C-40D2-B75F-B444DC5351C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb41f2af775ffc8d4180ac4cc8391c284b7ceb65","datavalue":{"value":{"entity-type":"item","numeric-id":528430,"id":"Q528430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$8512B2D5-122C-499A-B3B7-5704D2A99D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8ceba2af8407f73c1c8392c4b03430422efa49","datavalue":{"value":{"entity-type":"item","numeric-id":2096447,"id":"Q2096447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$CF3B1BDA-C72B-4E31-B2B0-7D5E3927D0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$E68E95F4-92CB-4039-AA0D-0A9464032205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$9EC1E438-1206-4DAE-BAAA-0570F7F7C2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$B87B4779-A041-450A-97C5-2494E9871E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecd6c394ec0332e145d4602671bb252159ba76ed","datavalue":{"value":{"entity-type":"item","numeric-id":175407,"id":"Q175407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$CC1C600E-6105-4EFF-A3DB-8D533501838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba0c931f916cfdd353d6ac3e45036ab557b394d2","datavalue":{"value":{"entity-type":"item","numeric-id":2104503,"id":"Q2104503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$2FF32BC1-B153-48B6-A583-082BAA26948B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$6AA84E06-457F-4A2B-8F01-2A91D356D2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$705C3304-C10F-4081-A43C-B83733F8B949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$48EEA85B-59A3-4CF8-82B7-2BDCA885E02C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104504$2CCF81F9-42D2-4609-98E8-7C21CA8F1FD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ca17f5d47a25f2b2f04c8e95a4a921e3ad35161","datavalue":{"value":"https://arxiv.org/abs/2205.08095","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104504$F8AF64CE-49FC-4797-A39E-E438A76A16DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104504$66A23757-7B19-46DE-A7A1-92145F8CF474","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f189c5b0e6aa4e07182c70f7883f995a877d357f","datavalue":{"value":"7628185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104504$1A94F205-70FA-422D-9859-7DD784E56DC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$F4697EAE-961F-486C-80F4-0FF6C1EF6C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$DF01471C-B940-458E-8800-DB6CB898D03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$0AA0F349-300A-4AF3-9FBA-8F691CDA8889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9b6ed2a4717208bd87edcba8266a1421b187e25","datavalue":{"value":{"entity-type":"item","numeric-id":42233,"id":"Q42233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$C1C0FC4D-F0E5-472A-A228-AD9139F946B8","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":"Q2104504$6EDDFAC5-35EF-4CBC-B4FB-C23A7166798E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87a62ae55482ecfcfef0f697f1d3fec444c1059b","datavalue":{"value":"W4280549737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104504$083268CB-9E8E-4DFE-B80B-60E49805EC19","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":"Q2104504$F6ACBFE6-3073-4F89-AF56-EA711F64D4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$DF25ACF9-781B-4582-A96B-9D66B2DA2CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$A77040EB-6B2A-4E29-A252-16478D578413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$F1291946-B709-42E5-A12C-5EC6B98DEACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a65772bcb5d34897d069e1d69f622e23342728c","datavalue":{"value":{"entity-type":"item","numeric-id":2964457,"id":"Q2964457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$F7A32CF5-7F70-4DCC-B867-1B55F4252E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$8AE5719C-48BE-456B-94A4-A75ED6EB7DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28d1219e29c4a80580daac11ef44292c3abd11a","datavalue":{"value":{"entity-type":"item","numeric-id":4933320,"id":"Q4933320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$0FD67603-7A97-459C-A64A-AF76585A6213","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":"Q2104504$9DBE5408-CFD3-4F55-8737-8D175413F8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$73AA087F-A16F-4098-A375-02B1B9CF7F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55234d08de3fc0bb2ef7aa7f9a37f83d6ee9b9e7","datavalue":{"value":{"entity-type":"item","numeric-id":5491892,"id":"Q5491892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$3D256C77-4B28-4A73-B4C8-AAE5B8803DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fa78d199c1a45949047edb73ab94398f608b93","datavalue":{"value":{"entity-type":"item","numeric-id":2164248,"id":"Q2164248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104504$3389937A-DC89-4F1B-9DD2-50F677EF5F3D","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":"Q2104504$8B8FC902-2A83-43A5-9AC2-BE2810D87C91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104504"}}}}}