{"entities":{"Q6488162":{"pageid":14066931,"ns":120,"title":"Item:Q6488162","lastrevid":47833054,"modified":"2026-01-02T19:59:54Z","type":"item","id":"Q6488162","labels":{"en":{"language":"en","value":"Proving LTL Properties of Bitvector Programs and Decompiled Binaries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669399"}},"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":"Q6488162$23624C57-98E0-43C3-934E-29A8F06160DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"189261023e3dc73c2e848eb987628e99e60007be","datavalue":{"value":{"text":"Proving LTL Properties of Bitvector Programs and Decompiled Binaries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488162$E97F002C-ECFE-4827-8864-6254C33B9EE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aa7e37f0d3942fb8b10133b9f7c8b80bad9236b","datavalue":{"value":"1520.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488162$AE0FAF14-1921-488D-82AD-CC71550903A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e05fed79ea0dda099ed2a50caee03be1642fd7a","datavalue":{"value":"10.1007/978-3-030-89051-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488162$474DD697-BCE1-40C1-91FF-89CBED7E6BA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f06d66f5acb0737ea3f019e0e300bc1ff8bdaa0","datavalue":{"value":{"entity-type":"item","numeric-id":6488160,"id":"Q6488160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$67792A0A-AF1C-478C-9255-916A69F653DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d89ea515e5248800e43a255664b5908efeb4625f","datavalue":{"value":{"entity-type":"item","numeric-id":6488161,"id":"Q6488161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$B998EF90-CA64-4471-8525-08CD68E40FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e156e8fa4d3f1d15652d6c661fd72d146102a7","datavalue":{"value":{"entity-type":"item","numeric-id":1629965,"id":"Q1629965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$FCC7D022-DB10-45FB-B859-EBFEAAD79BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3428d6758c8cd969fb5cc602f40fa07e68de0b76","datavalue":{"value":{"entity-type":"item","numeric-id":832228,"id":"Q832228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$85333784-4FCF-49A9-BBBD-991DEAAB35C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d65495ab5558ff62ea59fe4039592e5464f999","datavalue":{"value":{"entity-type":"item","numeric-id":2281657,"id":"Q2281657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$444814B9-E422-441F-B78F-CFFB34D0FC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5588fd4ea156f5b4bc165e28638302b797ee0acc","datavalue":{"value":{"entity-type":"item","numeric-id":869363,"id":"Q869363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$3C01F4B4-7C2D-46A6-8C03-9E709980D736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72e5358809595f521e93b8f6f6371db6fb849f8d","datavalue":{"value":{"entity-type":"item","numeric-id":6112734,"id":"Q6112734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$482818DA-8CDA-4EE1-8B2B-B3C446F48CFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-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":"Q6488162$B0E02C7A-FE1D-4F1C-9E52-809E26825335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488162$2B1BEC12-A0F7-4596-9F99-0F4E9DFA4E40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e6a544b9c9b0934337c2de56cf5642fb1429dba","datavalue":{"value":"7669399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488162$613EEB5A-4D55-4E1D-9244-6D9DA2784A53","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":"Q6488162$916E4BA9-D24D-447C-A0BD-E98B731E6857","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$711DF891-4438-4DE5-AF7B-B3F4F0ABB96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5317d011f6522f5a129d65a3c878ff84c282b532","datavalue":{"value":{"entity-type":"item","numeric-id":5408559,"id":"Q5408559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$C04D4A6E-8C05-49E2-AD46-5080EF28FCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72218519db5d67e742c1d9933b547c92ef121134","datavalue":{"value":{"entity-type":"item","numeric-id":3557080,"id":"Q3557080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$65782DDA-3131-4D74-9196-0AF5D1D31EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$A1D34C9E-BCBD-4695-8B69-DC3A8DB2591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babe611997095873a0ab1430e726c4c08d306790","datavalue":{"value":{"entity-type":"item","numeric-id":4571133,"id":"Q4571133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$1BC52738-5042-4E41-9789-D137E3DDC83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1809381f98716513d6e2527d3dd471ebbf1ef","datavalue":{"value":{"entity-type":"item","numeric-id":4804923,"id":"Q4804923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$D3A1F825-65E9-4DB9-A06C-463146CEE4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b75bfe1d748978ed5f70390b01dcd2aea1b738e","datavalue":{"value":{"entity-type":"item","numeric-id":5899062,"id":"Q5899062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$F3B89886-1C45-4E08-B2C3-C3A227A19EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819e3f56ab0d900c2d1df022a982559393111eb2","datavalue":{"value":{"entity-type":"item","numeric-id":2324233,"id":"Q2324233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$FA3F5589-378F-401A-9B00-D0AD6CC111B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac30c585b3eca0009fc86a02535b9a25c0d03553","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$8CDEDC72-40CB-442D-9CE0-4A113B147446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfe87c8d9b7147cc2246fbf808814b97b935a00","datavalue":{"value":{"entity-type":"item","numeric-id":2305428,"id":"Q2305428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$B6C083B8-CD84-4660-A42D-FBE9E1072BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cf1fbb097a93619e873e24271fa9638a00cf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488162$FC05A0C8-27A9-4A1E-8BA6-4F9ECF71A73A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a4f31ab7bd47e6ca106600c1b438a2626e57db","datavalue":{"value":{"entity-type":"item","numeric-id":2058375,"id":"Q2058375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb03f16a1f825e85ab155e3e6b8c8b1eb75c22ed","datavalue":{"value":{"amount":"+0.7130652666091919","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":"Q6488162$C0FC6136-ADD5-4F58-8671-ED681BA302E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f00829899bb29edaf603e18e1a2afbc1c56b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3088019,"id":"Q3088019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2eeec43954fc5636b1279bb55b50eba8ef5a22","datavalue":{"value":{"amount":"+0.7023600935935974","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":"Q6488162$0E22012C-7499-4E25-B255-DCC0F4585CAE","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":"0af5d5fd2b8a2ee1fc824fde13c819905570c861","datavalue":{"value":{"amount":"+0.702003002166748","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":"Q6488162$831DA587-1F70-4599-9989-E3719FE377D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f17fbff8582b39405885d1adaa6e24599c57537","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bea6034fc7d920c58e79900ff4cd01a1ccfa8ee","datavalue":{"value":{"amount":"+0.69320148229599","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":"Q6488162$5B5F60D2-BCCC-4FDE-9F3E-1A6BC2651CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf6924dd2f75d70d651ac1a4eb13e84efbfcc44","datavalue":{"value":{"entity-type":"item","numeric-id":5039504,"id":"Q5039504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0efcbb1c2fbd5e5112c2ba7b3f2fa6026ad1708","datavalue":{"value":{"amount":"+0.691630482673645","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":"Q6488162$D4D1AEB2-7159-4DDC-ACEB-247F5D5EDC68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488162"}}}}}