{"entities":{"Q6535525":{"pageid":14146668,"ns":120,"title":"Item:Q6535525","lastrevid":57343731,"modified":"2026-03-30T14:04:42Z","type":"item","id":"Q6535525","labels":{"en":{"language":"en","value":"Bitwuzla"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787545"}},"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":"Q6535525$CAE73824-4716-4FA2-B825-9EE191EE63CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e3e12c60cedc72a13fcc05ea7bd87346f95e547","datavalue":{"value":{"text":"Bitwuzla","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535525$E54D7D13-E335-4EDA-A6DC-DECED05CA490","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17327c36b402b90baa06b5a91697389a656933fc","datavalue":{"value":"1545.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535525$F36E265F-761A-4F55-9092-10F0921EC16A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb4b72acefa24708f4f5b462499be42dfb67d67b","datavalue":{"value":"10.1007/978-3-031-37703-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535525$A695CA66-C43F-405A-86D1-8BDF058B223F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1797629fcd98376075f8fdfe9a9fcaf30af9290","datavalue":{"value":{"entity-type":"item","numeric-id":1688544,"id":"Q1688544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$DC9826CB-4DEC-4C56-B89E-AB9CD4A1D926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8675088ba59622264d9b63deab589caaa3c7b74e","datavalue":{"value":{"entity-type":"item","numeric-id":1688545,"id":"Q1688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$737495F4-C230-4284-83CA-55ABD7D66C11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535525$AEBDD2B8-0F2F-48F8-98E9-FACDD2C65DCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535525$A6B35B0D-FD4B-4D34-B6F0-5AC7DB3ED9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535525$1326CBA4-3D05-4391-ADF2-3C022912E25E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"139c6cc8ee36f22c428a3eac7ed3d93479daaeaa","datavalue":{"value":"7787545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535525$4CC6A136-09F3-48BC-B66A-674E91EEA5B7","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":"Q6535525$4E6D8F38-9632-461D-8193-62BFD31754AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$C10AD7F4-A35C-4B03-908B-4774DD777680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4d5df30bde2099983c3bf5f07484cf1031c989","datavalue":{"value":{"entity-type":"item","numeric-id":3181652,"id":"Q3181652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$7C20EAAB-CB95-423D-9435-EB0B1988B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$6C2806EC-5B2C-4F9F-966B-5E9D0DC060C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$FC2C4BCB-AF1F-46FD-B506-1617F21B6E15","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":"Q6535525$5942216A-BEC5-40F0-859D-24DCB3EA96B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24097b670c1b5718d5f88515d03b6858cbb8970","datavalue":{"value":{"entity-type":"item","numeric-id":4344221,"id":"Q4344221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$BBB17304-ECCB-43D1-9C84-A94B898C7633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d664d6a12ba4e11e4c3f8f12772484ac4058223","datavalue":{"value":{"entity-type":"item","numeric-id":6535525,"id":"Q6535525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$CEB5E3CD-8784-4BF1-8923-3A5059D8DDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c060d6258d63ebf14a77434a67c0cf971997ce","datavalue":{"value":{"entity-type":"item","numeric-id":1688546,"id":"Q1688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$A7E1F3D6-8C31-4A90-A257-9ED71784003E","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":"Q6535525$B36C29CB-0973-4609-824C-3C93F073028A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c9773cc9e296251e233b285f6519945481d5eb","datavalue":{"value":{"entity-type":"item","numeric-id":3303898,"id":"Q3303898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535525$A8700560-3AF2-4D7B-BFBB-F47F14479733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6959b5e1eb783090a603f1be1f98156db180b2e3","datavalue":{"value":{"entity-type":"item","numeric-id":2305428,"id":"Q2305428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79668b39221022d5a855fbb0909f730ea7927bd6","datavalue":{"value":{"amount":"+0.7406836748123169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535525$45BE459D-E221-4EC3-98E6-5A64C9D1B7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a253e169382d6ef7a1451a904b19037d03a09f8","datavalue":{"value":{"entity-type":"item","numeric-id":2818024,"id":"Q2818024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17cdd172de5c79628ea14205367c3ed5d5915513","datavalue":{"value":{"amount":"+0.7376878261566162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535525$64EFCFBA-8577-4D28-99B8-512C0F428707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1905f739cf619ec41f7a0632698a1edc5845bebb","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c08e43df97357735d7d5483e5a25abbdf55a551","datavalue":{"value":{"amount":"+0.7359066605567932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535525$3F40104D-7F63-4009-806F-E1CA672E3404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85495befb34ff779c3c978ad8d9a46cc035823bb","datavalue":{"value":{"amount":"+0.7278136610984802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535525$8E39A4FE-B04D-4309-9BA0-67856E33AE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd67d9904f8497b4b7b4ba2781e1ac9bb002f","datavalue":{"value":{"entity-type":"item","numeric-id":2818019,"id":"Q2818019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dccaa58a351506a33528e9f20c5f43459961fb81","datavalue":{"value":{"amount":"+0.7264899015426636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535525$B69065AC-2E56-4E4D-B5E7-A7CD7C00AA46","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":"Q6535525$7613705C-6F15-4FDA-A76D-0AFCB07F1499","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535525"}}}}}