{"entities":{"Q1353546":{"pageid":1364285,"ns":120,"title":"Item:Q1353546","lastrevid":56446113,"modified":"2026-03-13T06:37:22Z","type":"item","id":"Q1353546","labels":{"en":{"language":"en","value":"BtorMC"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2832a5cbe9d20fdb49419a46bf7ed3c1dc469f54","datavalue":{"value":"41586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353546$58A9C531-B8AA-4947-8CF5-3BD01783574F","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"812b6d278365360e68583fc0d009aeb0d17f481a","datavalue":{"value":"https://github.com/Boolector/btor2tools","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353546$4EAE37C6-4484-474B-BF36-23F3AB238407","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":"Q1353546$AEFCC388-CFE2-4199-B0D5-CD1865196D0B","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":"Q1353546$2E429BE9-D1D5-4700-B3C9-EA228A2BD09D","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":"Q1353546$D26E8B69-8A8B-47C1-A7DB-BD31BABA0ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353546$571EBA97-CAD5-44D4-BB47-90C3050357B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353546$CC52A552-A35E-48A8-8016-3BEE77CC7FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353546$8A1CDBF0-4F8A-41D8-A64C-5DB28A062562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353546$0E578C14-8274-4D5B-9C49-1FEEF5E3D7C4","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"929d5ae123d16d7d1416ccdcb0bb8cac6c7e0ecc","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$8282365A-9D5B-4F2F-8B28-3CB50F878239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$EB1A4305-C814-443D-AD21-E74CEEDB1A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$F377E000-ED1B-467D-9A86-6F422171947E","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":"Q1353546$AD00B1E2-9177-4623-869E-C3908252D86A","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":"Q1353546$5D181EC3-DD1B-4BC7-AF06-8D41BC177223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"827838c16ff6199af0328a8495e277b76839ef42","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$D3FC6524-C38A-46D6-99F0-F4535E78F51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b69dfd6aefb61fb62fe0c9bd5bda4c391dd9a94","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$F7EFB477-1332-4124-9960-07F894D18FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$760219BE-44DC-4DAE-B5E7-CD503313B1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$55C89B00-959F-4ECA-875C-6E06E52CC7F3","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":"Q1353546$9894EF9F-82D4-4D0C-A510-52DFD37DE3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53ea2bc537887160fa1f4aed4e41eaa700bbce69","datavalue":{"value":{"entity-type":"item","numeric-id":41082,"id":"Q41082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$9289A233-4050-479E-B083-B902B810D2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5b43378ad25c4688935e819cbfb6b2e14ff33a08","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$4C3C3B5C-ED5C-44DD-BA03-9218C7554149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$771DAC44-CD5A-491A-8326-C4999A6D286D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"67dd98e79593da7fb2523abb7bdc433bc752d2ac","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$AB376E03-912D-42B8-BA15-4D7D07826524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6625003e074b94179be9346690140608d3525057","datavalue":{"value":{"entity-type":"item","numeric-id":1354210,"id":"Q1354210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$2FE0E22D-ECC0-47F7-9CE5-A460A22BA85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c7e6852b329099c4057cb13ba68988cec7eacbb4","datavalue":{"value":{"entity-type":"item","numeric-id":1354213,"id":"Q1354213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$E6C9D047-3407-4DFD-94A5-8F8FECC56A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$558DCD8B-11E6-46DB-933F-9E5B65E0D5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353546$74F56C92-667A-4AAC-80CB-91F527391E13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BtorMC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/BtorMC"}}}}}