{"entities":{"Q5429343":{"pageid":7458917,"ns":120,"title":"Item:Q5429343","lastrevid":50224796,"modified":"2026-01-13T14:01:38Z","type":"item","id":"Q5429343","labels":{"en":{"language":"en","value":"A Decision Procedure for Bit-Vectors and Arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216257"}},"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":"Q5429343$D41265AF-B578-4D93-85A6-568629393C59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7865d6467ad6d0cc4e5db841fa23c979b6ad658","datavalue":{"value":{"text":"A Decision Procedure for Bit-Vectors and Arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429343$8A2C9706-FC28-408D-BCE3-D0600645B85C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3f0a0d9b3fb3c20184f60c74ef918811e74d364","datavalue":{"value":"1135.68472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429343$D022E777-1DFA-42F9-BA61-D1683F362183","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dae0f50772c31f330e83aec6e03cd217f2e27532","datavalue":{"value":"10.1007/978-3-540-73368-3_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429343$0B104539-CEB4-4EE6-8BD9-2C0B2754EAC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50100327a2c6f555e4a4810ba0263aa80d7a14ed","datavalue":{"value":{"entity-type":"item","numeric-id":526761,"id":"Q526761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429343$8D9828C6-CE7B-4321-ACC3-B063796EECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429343$CFB55674-6271-4147-846E-2D0DE8A2037A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429343$2F00036C-32B7-4015-976E-58CF08DCECD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429343$66386C17-6C65-4635-B825-01514E1F3D2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429343$FD08D5D1-86DD-417B-82FA-AC547EE0E733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429343$95934C8C-76B9-49E1-9AF9-F505BC32E737","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5eca357ea81631204a34bc81fd67ec2d06f9817","datavalue":{"value":"5216257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429343$70ADF782-3ECC-418E-8383-9A19F945D47C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429343$2B13D760-2E07-47D0-99B7-4D7AFF1DF02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429343$9D4D26E7-706C-4332-B3FD-228B1CE20BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429343$FE2CE881-70CE-451A-9CEE-D43470772D0B","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":"Q5429343$96E8A6E6-2E3F-4F28-B28E-D86DEAE88222","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c09eb9d173f20fcff846a0fd66af9f9ff4d593e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429343$647A21C6-CE00-42BF-9489-12104F2D132F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55842b783588daafb56300c403c0abd560545e83","datavalue":{"value":"W2129487583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429343$9730F3C0-2FAD-4C4B-A314-EB86D9BAFCBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887925069d9615572d47c7b054d26f8f6ec28e24","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b847189713c68dd73695182292593c30ce4753","datavalue":{"value":{"amount":"+0.8218294978141785","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":"Q5429343$DE49CDE7-9244-4CD8-93F9-6523EACC4ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1063bece29dd4b6e998e94b2f0084b7f2a844456","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79ebf13e39c21b535b83c74c06aa7b2394336e2","datavalue":{"value":{"amount":"+0.7759191989898682","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":"Q5429343$D0C66561-796A-4C1E-97F8-E3BA24D4FC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b411317991d275735a47e6906cb73deffb4a3f47","datavalue":{"value":{"entity-type":"item","numeric-id":2818018,"id":"Q2818018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0ce4f23c49d6399a4e321d0684c35e92199979","datavalue":{"value":{"amount":"+0.7541937828063965","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":"Q5429343$693F92D4-2DD6-433A-97F9-6188E478380C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07622c762984e431a24d8f00c8686c029fd4655a","datavalue":{"value":{"entity-type":"item","numeric-id":2457800,"id":"Q2457800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a422a88c042ff69cfc730c56ebd8dab29ef4b3","datavalue":{"value":{"amount":"+0.7524153590202332","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":"Q5429343$DB69E92C-199F-47D5-9F75-EEB88389A4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d614a1713015889e0900fda5bad81cf530c60","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a8c54fa406c67e54b695e1fd894387b461c560","datavalue":{"value":{"amount":"+0.7494987845420837","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":"Q5429343$0EB4B955-12E3-4490-AF7A-204465E30289","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429343"}}}}}