{"entities":{"Q1353440":{"pageid":1364179,"ns":120,"title":"Item:Q1353440","lastrevid":56437725,"modified":"2026-03-13T06:35:24Z","type":"item","id":"Q1353440","labels":{"en":{"language":"en","value":"Btor2Tools"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"01e5b951d45e20ccea52925e98a5af89853ac1f0","datavalue":{"value":"41664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353440$F806BB4B-FF6F-4517-B10A-37D55493A4F0","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"812b6d278365360e68583fc0d009aeb0d17f481a","datavalue":{"value":"https://github.com/Boolector/btor2tools","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353440$881255C2-33A5-4348-9940-2D806557097D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$1780452E-9DBA-4C42-B310-FE6B2566ACF6","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"884d0674a7eeb894ea8b7d926c4b1a091e2474ee","datavalue":{"value":"swh:1:snp:ba83b1a6133f9fa1f8bc93c1d605f4160b7c823f","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"812b6d278365360e68583fc0d009aeb0d17f481a","datavalue":{"value":"https://github.com/Boolector/btor2tools","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"a6fb90ee761f31b8e66291dbb8944afa74d5345e","datavalue":{"value":{"time":"+2024-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q1353440$DC76A9FD-0657-44B3-9BF1-2558D793F9DC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f1ded4b47e7634cab9b7449ddf245e7390933ac8","datavalue":{"value":"https://link.springer.com/chapter/10.1007/978-3-319-96145-3_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353440$B24187D2-7B5B-4586-B155-B1DB678E96CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353440$ECCDBBCE-B9D4-4D34-851B-C6DA283017E6","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ae789d46d01f8ecbc0835a3234d41a601c51da42","datavalue":{"value":{"entity-type":"item","numeric-id":40383,"id":"Q40383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$255D1C38-9683-4FD0-948D-E36609984831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"90eaf5dec30c19833d1c94c95a8b89f1a7be0458","datavalue":{"value":{"entity-type":"item","numeric-id":32951,"id":"Q32951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$654DE9A1-3DE1-461C-BF66-8719F1DD77FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"52b11b395d87dacea7bdf1b5d1c46028d1d012d0","datavalue":{"value":{"entity-type":"item","numeric-id":1353550,"id":"Q1353550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$3263F399-4EEE-429A-8878-8ED39FDF5CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5497875c57d1f47b3171ac56327382d0368fd670","datavalue":{"value":{"entity-type":"item","numeric-id":35158,"id":"Q35158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$B7F02A36-76CD-405B-839C-CD90EBC792BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f0e599bdfdd2c2bbfc95311feb2ab8d8bf91f5f9","datavalue":{"value":{"entity-type":"item","numeric-id":25664,"id":"Q25664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$F0E1739C-9F0C-434C-A512-A43B3D760938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66168feda9e1784d76b7dcbc6fb97af98c98b137","datavalue":{"value":{"entity-type":"item","numeric-id":1353554,"id":"Q1353554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$5FC64BCE-48B2-4814-A9B3-4B55D7BE2004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"55c707917756975cf741ba13ab13d6eec1382794","datavalue":{"value":{"entity-type":"item","numeric-id":43507,"id":"Q43507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$505BDC4D-7AB9-4380-A831-6AD2B8D18AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$C8A06ABF-2C4C-4ED6-B700-2BE7EACA2CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc571a8be4640388232f236c429044db5abc7030","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$52C23132-33D0-44AD-9750-5D80817FAC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4f1d5305f44e82371e866196fccbfa87cf96b345","datavalue":{"value":{"entity-type":"item","numeric-id":1353436,"id":"Q1353436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$DBD83C0E-7F5C-4FEF-995D-CC48AA9E9CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$F430EE3A-7875-4C4C-87FE-D82ACC778237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b3142ed785425aa4e08be4d8b6f55cdbc5316416","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$870CD2BC-E0FB-42E9-9997-99C9C5430922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b2e3bbb5705880b5ed8c07507722ac1386ea1aa1","datavalue":{"value":{"entity-type":"item","numeric-id":31667,"id":"Q31667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$9D2EBF9A-3013-4EEA-8ED8-875BFAF4F47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"af0ab1ada2d518ff38518f54e75406729b2cd166","datavalue":{"value":{"entity-type":"item","numeric-id":1353438,"id":"Q1353438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$1A05BDDD-FB22-4D3B-8CBD-12E4F46500A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a562a43d8b1690cddba79a1cc7d9977c384f2843","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$8E5C998B-D97F-48CA-BC6D-7A2B40B3A75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cd85ea4235f75e500e615783d8111edd91d3a41d","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$4A2744FE-EE01-4588-91B1-07EC0D435E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dc436e45beb96e9d09011d43b6082298bf780367","datavalue":{"value":{"entity-type":"item","numeric-id":32841,"id":"Q32841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$65E171C6-3245-403D-AD05-6B47FAADBE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9b16366127050be336d5a6c8997cdced7a9e9ab","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$581DEB36-04DE-40A0-A22B-6E57746170BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7eda69ecfff0a55f63e1cfe76773a003d67cb659","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$343D0D34-76FD-4385-9554-C8A00A9E21CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd9117bb2b0e98e97f710df5c62fc1fa82922397","datavalue":{"value":{"entity-type":"item","numeric-id":35083,"id":"Q35083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353440$328B9128-3E45-40D4-B305-8CE230611741","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Btor2Tools","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Btor2Tools"}}}}}