{"entities":{"Q1353547":{"pageid":1364286,"ns":120,"title":"Item:Q1353547","lastrevid":56445816,"modified":"2026-03-13T06:37:17Z","type":"item","id":"Q1353547","labels":{"en":{"language":"en","value":"lazybv2int"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a62b34dc559d4ef4e69a2901daea76ca4f50ffe7","datavalue":{"value":"41585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353547$99CC201E-0C4E-477F-8EA8-2EECA01BCB2D","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"c5238907f351d351cf47c4b1a0a4ac62a87e7dc3","datavalue":{"value":"https://github.com/yoni206/lazybv2int","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353547$DE46D449-533B-4305-B327-E1E38F361833","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":"Q1353547$08B2FD91-0BE1-4321-8920-57F850A5E62C","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"13ad3038921fa2b0cf50801cb39e0cbfe0807ab9","datavalue":{"value":"swh:1:snp:d1b6b0327ef0c64b5393c6120e31a55132ba5ac9","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"c5238907f351d351cf47c4b1a0a4ac62a87e7dc3","datavalue":{"value":"https://github.com/yoni206/lazybv2int","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"0d5acb40ca14ee82b011911207922cbb98a6e3d1","datavalue":{"value":{"time":"+2023-12-18T00: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":"Q1353547$D07EB14B-1684-4730-B932-BD7DB41F433D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"37c31a36c12720e367fe7ca86c14f888064bf172","datavalue":{"value":"https://github.com/yoni206/lazybv2int/blob/master/smtcomp-2020.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353547$A4DBC71E-6CAD-4C95-9EAF-EB295F5AE319","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353547$CCF96728-FC02-4C6B-8210-EE131018D091","rank":"normal"}],"P1458":[{"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":"Q1353547$4593BC6D-DAFF-409B-A484-D5AE545023D3","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":"Q1353547$34C8A350-B815-462D-96E5-B890B463F3AB","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":"Q1353547$0828A4A1-07BD-404F-B268-2479210AD910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"92018de61d0ee64164237ab0c515f2dd28f720aa","datavalue":{"value":{"entity-type":"item","numeric-id":1353544,"id":"Q1353544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353547$C9768881-4B34-440D-9888-B72158A426EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2edf404b472c4aa4442b7f47053e26ebff166fa","datavalue":{"value":{"entity-type":"item","numeric-id":1353546,"id":"Q1353546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353547$23B2EB56-BC70-4B88-84B4-E5483A1AD64D","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":"Q1353547$B8C1D544-7A6B-439D-83A1-DF6D79243208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2faf24c65b4c7c68a84739118c755c2169896168","datavalue":{"value":{"entity-type":"item","numeric-id":1353549,"id":"Q1353549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353547$C2DF5575-8D22-4BD1-8C25-E85032C79B11","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":"Q1353547$E89A425E-A885-4F96-A423-D6A139CDFD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c03a4b007d0be37515b083455ecedcf6db33695b","datavalue":{"value":{"entity-type":"item","numeric-id":1353553,"id":"Q1353553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353547$79431FE4-3804-428D-AAC4-C7712A4EEC77","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":"Q1353547$CB124797-98EF-491C-B828-32C7AE967A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8c03f71fe1bd1012597cd5f0944c0feb28a4fcc4","datavalue":{"value":{"entity-type":"item","numeric-id":44016,"id":"Q44016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353547$DC6C2A0A-77B7-4119-ABC4-048654DCED1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a8e97c439757fb2cea41ac0617679665cf67681","datavalue":{"value":{"entity-type":"item","numeric-id":38708,"id":"Q38708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353547$662B1E06-F221-4B73-9C01-B7CC8FEE12F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea071e694eea8e49c3ad76c6dd4553eb2bd58f84","datavalue":{"value":{"entity-type":"item","numeric-id":33947,"id":"Q33947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353547$AF5E85D7-DC73-4B43-AB79-AB4A6098FD33","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":"Q1353547$6A7B86D2-28A8-416F-9D95-1F795F6B3F12","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":"Q1353547$8D55F996-4B73-4700-95D0-9D778A26E0A2","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":"Q1353547$3FFDB4B9-AA27-43CA-8840-BF168FA035BC","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":"Q1353547$2E8B636B-E9D8-45BC-BC8D-AE6EAC2A8C4B","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":"Q1353547$9B3E5129-B02B-4E2C-A3DA-25B49DF29FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53b9a65755d142aaab53b35bb679c5ce2db64012","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353547$22C34293-6C64-423F-B314-BEBA5D25CD5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazybv2int","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazybv2int"}}}}}