{"entities":{"Q3526545":{"pageid":5556449,"ns":120,"title":"Item:Q3526545","lastrevid":50462567,"modified":"2026-01-14T02:59:15Z","type":"item","id":"Q3526545","labels":{"en":{"language":"en","value":"REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5346932"}},"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":"Q3526545$10E6AD7B-FAF5-4A8D-BC81-724C0D9BAD27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70bfbb2c47a4291aca755444541981c90421bb7e","datavalue":{"value":{"text":"REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526545$17515737-3EC4-4E68-86B9-ECDAAA442290","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7a52863967ceb3ad95feae412d69342b6f56c74","datavalue":{"value":"1162.68477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526545$8A6F27F2-F248-4763-9620-2349F1A13DC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12d03d25e9e2e390a962c7a815b507abc6b32083","datavalue":{"value":"10.1142/S0129054108006066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526545$544E0801-197E-4A59-8E9B-394BCDA69234","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4592e80aceaa44555c4496e70d8209f5893d72c7","datavalue":{"value":{"entity-type":"item","numeric-id":1758674,"id":"Q1758674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$E072E448-C201-40DC-9E9B-849E3F8D4908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e9100254d03da2193ebcb0473e06193cec5626","datavalue":{"value":{"entity-type":"item","numeric-id":1662268,"id":"Q1662268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$948B20DA-374F-401F-A46D-AE7F360DA326","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$96E84261-F76A-4460-A38C-5984B01B252F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526545$425E3196-B74E-40EF-AA11-EE9D359C8FAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526545$EC04A8BA-D5DF-440B-AED9-3D0E94DD625A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526545$06DDA6BF-EA31-4D58-841E-3B111C76B3EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b4905eafdb3a636620355c297e59bcf770bfa19","datavalue":{"value":"5346932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526545$019C9A6F-E1C2-4FF5-A033-EB0E127EB5D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f545cf2fa12f9d190b95f402d5ecc223d26df2","datavalue":{"value":"cache coherence protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526545$060368E9-4A79-4729-A90A-A04ED1663781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c70679488f854d98013845cb75e8bf7b0e19981","datavalue":{"value":"program specialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526545$0CF55A12-AC11-4761-BBF9-2B637FB44607","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$DDCACA34-011A-4F4E-AC5C-5C7CBC489960","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":"Q3526545$817F58FC-BC84-4EDE-B538-BF681B6B4CCD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88513da3b40e8d94cc45b6d0ad9dbb72de7a7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$8BEEB4E9-D8CA-4AF0-A53D-E75B13488ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$17895D96-FEF1-4206-8F2C-668B08327DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$46336D5D-C936-4C02-BD72-B4F0FE0C86FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87f3fa34a5f70644bfed872e89f2e2f311b4a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2371554,"id":"Q2371554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$585661B5-51EE-4076-9B41-0E8F33264D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5700bddd5b497615cb8c41e6f2bbf5fb3735905","datavalue":{"value":{"entity-type":"item","numeric-id":4339016,"id":"Q4339016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$2C3E81EE-EFF9-483A-B738-4A8D38E2C4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$EB904AC0-4F26-4696-B610-9F2458227074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526545$2759C886-E5E0-46FE-8252-520AA3C24F84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f521837bfcd03797180c16eaefb30979ef8aa42","datavalue":{"value":"https://doi.org/10.1142/s0129054108006066","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526545$B6578560-C847-4E24-A388-BBF53040D2B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de0b36824c520c24dc4014aa45d52149e2ccb37f","datavalue":{"value":"W1974390918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526545$8F9AA5DD-0DEB-4E26-B16F-682741069388","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da452f9c9578d5fc6a447181ee9cc7d5121668d","datavalue":{"value":{"entity-type":"item","numeric-id":3457979,"id":"Q3457979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5c696cd06da1204da0cfb39e72b77a7d65edcc","datavalue":{"value":{"amount":"+0.7691072821617126","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":"Q3526545$B2A9512A-5306-408E-8977-59E140B613FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd08f8efbaf009a54507bc0512a590657cdd4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2371554,"id":"Q2371554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61247571a5932b6b3ae308b72bb6af869124833f","datavalue":{"value":{"amount":"+0.7657291293144226","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":"Q3526545$F3975AF8-D006-4BBF-8E93-41685955C35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf050f6dc020970dc21f6588e2df8bc4f5c5159","datavalue":{"value":{"entity-type":"item","numeric-id":4417935,"id":"Q4417935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42a7a822ea1a434cf448df63d1c060378e69295","datavalue":{"value":{"amount":"+0.7212731838226318","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":"Q3526545$02E6C4B6-F205-48F0-8E33-33BDDEE0E5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6206dd76673762637ce922be8464826ad4594d38","datavalue":{"value":{"entity-type":"item","numeric-id":4931295,"id":"Q4931295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479abe0912efc7136b3b1d25e03a30df8804ff57","datavalue":{"value":{"amount":"+0.7204670906066895","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":"Q3526545$1376E542-D7DC-4BA9-A82F-A352AAF55306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f479fbb7fcee580f1c74a8a2d9e1b87037f61847","datavalue":{"value":{"entity-type":"item","numeric-id":2368952,"id":"Q2368952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf675143392ecf4bc9dc9d7b0fdebec775bdd88","datavalue":{"value":{"amount":"+0.7196881175041199","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":"Q3526545$D5F296FF-C42E-4D8C-B88F-CBCFF97CC6A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526545"}}}}}