{"entities":{"Q6156632":{"pageid":13291180,"ns":120,"title":"Item:Q6156632","lastrevid":39733488,"modified":"2024-12-30T17:59:12Z","type":"item","id":"Q6156632","labels":{"en":{"language":"en","value":"A solver for arrays with concatenation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695707"}},"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":"Q6156632$8FCE4586-950A-4A77-BE9D-A478B85C122A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13b103544e12dafd770c2ae94d46b3fa6bc90c74","datavalue":{"value":{"text":"A solver for arrays with concatenation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156632$84C6D845-8954-4B72-AB07-9F21160A52CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5efc1b16203109b2971a18bd72601e5552062420","datavalue":{"value":{"entity-type":"item","numeric-id":2810844,"id":"Q2810844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$88C0A89C-2913-4163-A6EA-EEE197C81D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$22196F42-9829-4D09-B07E-313F677E542C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$E5BB419D-20C8-48C2-97A2-6893AFDE5410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e078913baaf6e58e465be4601d94b7e1928c7c65","datavalue":{"value":{"time":"+2023-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156632$DBBA93BA-C5B5-45A2-AA72-AD54653E58BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156632$1DFA8A92-473C-498B-BBAD-3DA43D10B7AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6236b4a42f5892eefbf4afa85161d5521eee0c7","datavalue":{"value":"7695707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156632$91EDBBD4-1657-42BF-B382-3D953EF619BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f6facc20779e08177e045a0eef37c455c61518","datavalue":{"value":"array theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156632$4914BD42-D9CD-4EB4-842E-333E6C523AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156632$92D1EC89-7074-408E-809C-1704716B2747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156632$3EC2B436-C907-43F6-98F8-8DB145F6C315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e634ac60c989b0da26c5d4a1a4e9e7acbbc435","datavalue":{"value":"correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156632$0D509EB6-C3DB-43D4-AC42-18F0CD8DBCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62798ced101241ac0d5e46110e32d69e73a0c1a","datavalue":{"value":"proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156632$C12300F2-568B-463A-B148-E3F364AB5E7C","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":"Q6156632$D7AC94EE-2340-4A59-9D49-E6C5506A2642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33c6f0139ec03127956c08d3fb45c9bc95b53292","datavalue":{"value":"https://doi.org/10.1007/s10817-022-09654-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156632$16D6145A-7DD4-4CCD-9B97-C9964220EC35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e65f393dd74f4088b08ebc0865fd60333ed1356","datavalue":{"value":"W4313680408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156632$64184761-E01F-4B21-8F14-BF067DB414FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdb27290e727aaf8814e06a49f48f08e3ab294f","datavalue":{"value":{"entity-type":"item","numeric-id":3297597,"id":"Q3297597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$5F6220D7-B7FE-484E-B128-DBD044E4F1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138a145b3723972a73dae2c6cdcf8294ccb2b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$DAB9951F-CAAB-4A58-A447-BFDE8EED875F","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":"Q6156632$C688C443-F6DA-47B1-A8D3-8351E637A530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a63eadff262b8ca16cf1d9e474ece48eef2a51db","datavalue":{"value":{"entity-type":"item","numeric-id":3100210,"id":"Q3100210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$0A75B980-F4FB-44BF-8C4E-6DE6FD4714EA","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":"Q6156632$7C9B87A1-2B03-4BA0-A3B5-41D9C3339836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086fdbd21f473c213329b475c94f7dc23f61bf59","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$0E919BF7-A729-4EF1-9E61-60B924AE05A9","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":"Q6156632$C055C1AA-4CD5-405E-85E1-F2863CCD405C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$BA0D4D67-D00C-4089-B4D5-D05B28391A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d926ddc0a6cb500bdbabe105e37ebbae5a4f865","datavalue":{"value":{"entity-type":"item","numeric-id":5458380,"id":"Q5458380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$BC6BFE51-62CE-40B3-B568-94C8D6FC5001","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":"Q6156632$1C67A2F4-72A8-4F19-A8F2-244632AAB60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72a24ab38e8fafa6fbae1839d4df37aee0396ef","datavalue":{"value":{"entity-type":"item","numeric-id":2828250,"id":"Q2828250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$CC5C8528-EBDC-4F5D-823B-A6F8D07D57EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b12ffa638fd7fd2f8d42aaf2cea823298b1d441","datavalue":{"value":{"entity-type":"item","numeric-id":4146913,"id":"Q4146913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$403ABB33-9047-4897-80F0-E02DB26415C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$62318139-0521-4CDB-8F9D-9A78EA957095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c8a78fdb6d49ac1992048f78754c13989c50a7","datavalue":{"value":{"entity-type":"item","numeric-id":3583578,"id":"Q3583578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$8CA7C907-FDAA-4638-8899-A2C7FEF7BA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66ceb8ec0539a655fc0af44496831760b37a384","datavalue":{"value":{"entity-type":"item","numeric-id":2931409,"id":"Q2931409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$76B212CF-5841-4A4D-B184-4757A613C3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a4a832d8047f608eb05b0593d63c0f28a668a6","datavalue":{"value":{"entity-type":"item","numeric-id":526767,"id":"Q526767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156632$C8C68432-A0A4-4614-8037-5C4243DCB803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4e97e127cf54bac642123570a1fb5fe3aa0b87e","datavalue":{"value":"10.1007/S10817-022-09654-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156632$B561D2D2-FD8D-4E60-A476-203AAFEFEB0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156632"}}}}}