{"entities":{"Q2849589":{"pageid":2860309,"ns":120,"title":"Item:Q2849589","lastrevid":83513747,"modified":"2026-05-07T08:35:39Z","type":"item","id":"Q2849589","labels":{"en":{"language":"en","value":"SAT-based induction for temporal safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210238"}},"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":"Q2849589$97CC8B0C-674C-4291-8C13-709BAE58BB5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9f16bfe8c4263025765ce4f14981667572fe4a8","datavalue":{"value":"1272.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849589$ED6102C3-B417-4CC5-BF60-06A51B9BBDA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e250f871627bca80e63711b4a809f789ad5b60e2","datavalue":{"value":{"entity-type":"item","numeric-id":2849588,"id":"Q2849588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849589$C97917D5-E347-4639-83E8-79CADDE74322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d92818e59c1c1e061569f357623fe5f5b2fd830","datavalue":{"value":{"entity-type":"item","numeric-id":1274451,"id":"Q1274451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849589$752A3A01-2994-4EF0-96A8-736E605C5ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff80ce325cf2597f2ed759f7ce40df9d2372b645","datavalue":{"value":{"entity-type":"item","numeric-id":2754098,"id":"Q2754098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849589$9FBE3F36-1EEF-4E09-9436-07F499BAD67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d14c4d5658c952041cb022293964d0dbf1905457","datavalue":{"value":{"entity-type":"item","numeric-id":1162361,"id":"Q1162361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849589$B4BF876F-400A-4DE9-9113-6364B25494A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849589$ECBCC041-8FFD-4CF4-9B22-05B19E163E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849589$A1BB3369-97FD-473F-83DD-9078239ED2EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849589$D8E190B9-771A-4B0E-80DB-9C019BA842FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b09a5a03bff927c715dee10650106002b9a4277f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000873","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849589$22FCD338-E122-4D8A-9E9F-0BE53D2C0C3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849589$D1667B81-70D1-4D7A-AE08-9FACF1091C2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"068ab078fd5e6c5c0000758d76ca6f06309454cd","datavalue":{"value":"6210238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849589$EE93808E-0168-48F4-8772-6198362D6E29","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":"Q2849589$6B03616B-A012-4C59-976E-DA7EEB078786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a478c0106cdc63252cd4677f6e46ced31698aa3","datavalue":{"value":{"text":"SAT-based induction for temporal safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849589$DCC510D9-758E-431A-A438-171A616A0AA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193b6443352a3258f81fe7b2e5abf39f12aa60c8","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1863a4b6d74912de9ba025fbf5a3af865a888632","datavalue":{"value":{"amount":"+0.8429701328277588","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":"Q2849589$ADB8862B-4E1F-4E97-A3DF-4250E3FC2BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6795641e95021be4e5de7beddbd3542952c0cbd9","datavalue":{"value":{"entity-type":"item","numeric-id":2754093,"id":"Q2754093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38dfd01d954ce8f72a5a6f95273144aaa9efba64","datavalue":{"value":{"amount":"+0.7536883354187012","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":"Q2849589$4C44240C-756B-4050-B55C-43B2F3B0AB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda3b69c299daf30d8cc51c25e127e9845eb220b","datavalue":{"value":{"entity-type":"item","numeric-id":5898457,"id":"Q5898457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbaeb58ac6ac7127824a60618e9e661d60db8162","datavalue":{"value":{"amount":"+0.750464677810669","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":"Q2849589$5667A839-8A40-4B9E-ADF7-D7C69E8D1743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b003eeb83bdb18fcec0ec8771fb609de3a99890","datavalue":{"value":{"entity-type":"item","numeric-id":5716553,"id":"Q5716553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36e209e9c98b6d77e18c8969cce4350b2af42d0","datavalue":{"value":{"amount":"+0.7488943338394165","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":"Q2849589$23D7885F-C27F-4C26-8921-6975CD14DCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078735b08fe294dfd2bf3d186fb100e9d87c2ffd","datavalue":{"value":{"amount":"+0.7476697564125061","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":"Q2849589$2FDE929C-416A-4152-99D9-23A812E90E6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-based induction for temporal safety properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT-based_induction_for_temporal_safety_properties"}}}}}