{"entities":{"Q2152654":{"pageid":2163397,"ns":120,"title":"Item:Q2152654","lastrevid":43608229,"modified":"2025-10-28T13:15:52Z","type":"item","id":"Q2152654","labels":{"en":{"language":"en","value":"Fast three-valued abstract bit-vector arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7554868"}},"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":"Q2152654$9246000D-AD33-4DE7-B419-CE8A12B14B07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96e76456f03798f53345d4313d68dd6ec4c885b4","datavalue":{"value":{"text":"Fast three-valued abstract bit-vector arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2152654$F204668E-6037-4C61-942A-9798E14AC763","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22b75e609db230eea3975ae91137b01b45944057","datavalue":{"value":"1498.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152654$E1E998D5-B2C7-4935-B5EC-E1F2D0873D9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"638a4a367ce106ee6577efa0820541702521f0dc","datavalue":{"value":"10.1007/978-3-030-94583-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152654$F9EDC680-A5B6-41F3-B4E8-3DB1A8C35717","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a79fde8838289e28c1cdeeab2e259c7a3651d3","datavalue":{"value":{"entity-type":"item","numeric-id":2152653,"id":"Q2152653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$7747DCAC-70AE-4543-BED4-600C9D742A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$3F6876B1-4BFF-43F5-868E-7A77F1852328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f271a816850f44e4911f5762419f83fae54908","datavalue":{"value":{"time":"+2022-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2152654$47DDBBBC-91B1-423B-BBF6-3E13A1F1183E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152654$ED91B677-84E7-42DD-8DAA-286A96AC6C27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd9318afd985834288711857e7bd87059df4ebfd","datavalue":{"value":"7554868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152654$8D0874A4-F680-4E94-9570-9E6636EA3724","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152654$E4D1A903-4A6E-4D47-ADD2-C4C9447C4955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80717ddc01e6067beb2f1c6abc363708cdb05a99","datavalue":{"value":"three-valued abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152654$699645A0-0AC1-4599-835F-B91D64618B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33c83d5142aaa8d798578ed711216fa831c5585","datavalue":{"value":"computer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152654$AB40320F-5278-41C5-86B5-55BB9FA4C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6fee9b8f80a167daaedb899a49bc71f16319d","datavalue":{"value":"addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152654$5888752A-DB2C-46B4-917E-A1E0F607ABDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa436c3fb77c4a34119658ff623170ab7d7ad4a6","datavalue":{"value":"multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152654$586573E0-4DF0-40B7-9C3F-CA00AF5D9A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4858cd0fa6cd20dfcb809327f2f38a88a5fcd7aa","datavalue":{"value":"pseudo-Boolean modular inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152654$B29DE32C-BA0F-4A89-A44A-580F873642F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"674cd60828bc007cb59f25ed895882f886c650f9","datavalue":{"value":{"entity-type":"item","numeric-id":17180,"id":"Q17180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$22311E9A-F910-47BD-A03C-A092B0F7B5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68a293e4f993d0e8fcd1df2bbbcb45217d541b90","datavalue":{"value":{"entity-type":"item","numeric-id":17542,"id":"Q17542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$5142EE62-2383-4DE6-BFFB-26B099C56B39","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":"Q2152654$967DE08E-2396-477B-A3B2-1B348992DDDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2fe3ec3957ccb0e2a1090c735bcd79e20af7d69","datavalue":{"value":"https://doi.org/10.1007/978-3-030-94583-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2152654$1046DC6E-30B3-4D9E-BABE-7D716158737F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a541019e7efe0fbfbcb98e0618fc9d70ff53e617","datavalue":{"value":"W4205339820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152654$DAFAF9DF-7FFD-4F37-8F94-FADEC5BCAF80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ddf3ed9a237ed0fb997036ed583390cfade3e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4930173,"id":"Q4930173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$70A3CF2B-AE28-4EED-B0B2-70C48CE2A941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ff8f1c19496727f99d8fe271f1509db3d0697c","datavalue":{"value":{"entity-type":"item","numeric-id":697569,"id":"Q697569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$FA019A40-E786-4F43-AF44-9BF3452E3974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$E6470561-4222-4016-8977-E4AFA61E9AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$50473B07-DABD-41DE-8CB5-678BD4AA6236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$FEA93F4F-4B92-4659-BC34-1D41389DBCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5beae24d5dbbf1bf9dba875d1d837f23285613","datavalue":{"value":{"entity-type":"item","numeric-id":2796033,"id":"Q2796033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$C76091BF-8056-4F8C-B56D-D4A08EE12DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d6dc2a44e10b14dafdfbecd3cc59ce2dcafe3f","datavalue":{"value":{"entity-type":"item","numeric-id":3499247,"id":"Q3499247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152654$66A0FBD8-14CD-40C6-897B-978CF03CD9D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3acd943d43f2904755f8842aed0c517bc6910bba","datavalue":{"value":{"entity-type":"item","numeric-id":2376835,"id":"Q2376835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec7e4509d52a4bd28958efa67728e3f221e2c77","datavalue":{"value":{"amount":"+0.8912031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$02AA401F-6CD6-400C-9387-C5626132AC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6289f9747797ed3ce663ef0b681b7f1777543395","datavalue":{"value":{"entity-type":"item","numeric-id":2865368,"id":"Q2865368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cc254d9f0183ddf01762bb6319440a85ff8826","datavalue":{"value":{"amount":"+0.85454327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$5EDCC86D-5C21-4AC0-AFB1-E7193897B942","rank":"normal"},{"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":"f2393af6d46ef40aa10b923944c9c9f226c6d4e1","datavalue":{"value":{"amount":"+0.8511021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$563049ED-D41F-4C57-A610-302354B0EC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499b8791ee38fe7c18d50a7cddc4311fdf552699","datavalue":{"value":{"entity-type":"item","numeric-id":958307,"id":"Q958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc88c7035c0e1f58df14fa08445f677e10155133","datavalue":{"value":{"amount":"+0.8406898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$EE7EE27C-E980-4B3A-A327-C79FF9DC95BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8733b35f3d1c9ea17892f85a9639d4d8a363f4","datavalue":{"value":{"entity-type":"item","numeric-id":4590285,"id":"Q4590285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61c24ab4fe01c0c3b32e43399f5fb79ce0674d2","datavalue":{"value":{"amount":"+0.84025145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$8CC186E1-97AD-44E9-8913-6A4FDC45167F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e9b6fe0cd9995dcb973a7c600d66d13c8e303b","datavalue":{"value":{"entity-type":"item","numeric-id":4590486,"id":"Q4590486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7269d3d91229db3a11422a0bdff5bb61e9985d","datavalue":{"value":{"amount":"+0.8397717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$FED235A7-75D1-4B6D-A5AA-89E58F91F59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994fb4ca87e487d1d3cb6db277c6a3af831673b4","datavalue":{"value":{"entity-type":"item","numeric-id":1749304,"id":"Q1749304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340d11355b53b477e24fc82ee9aa931cd82f05d2","datavalue":{"value":{"amount":"+0.83720034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$568A1271-DE72-4EF1-A501-9D6827514EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910cea678ee9ff1e699e3f3b158a222447a70db8","datavalue":{"value":{"entity-type":"item","numeric-id":3584980,"id":"Q3584980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4693092a55358ebfc948046bf968e362cdbc2a04","datavalue":{"value":{"amount":"+0.8346956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$894B82DA-206A-47D9-B7A8-15582E925491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb02a597db6bc8fbefa867f8ca47e3ebda3cf632","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb4911a96b3c6bfe44ed2c1860109c5a6ac14d1","datavalue":{"value":{"amount":"+0.83284974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2152654$FCCD682D-0C64-450F-94B9-3B70BFF70FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2152654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2152654"}}}}}