{"entities":{"Q1708658":{"pageid":1719399,"ns":120,"title":"Item:Q1708658","lastrevid":72160098,"modified":"2026-04-14T03:01:57Z","type":"item","id":"Q1708658","labels":{"en":{"language":"en","value":"Safety property-driven stubborn sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852690"}},"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":"Q1708658$20D27F39-0D9A-4F1F-824C-2853A2EBE9DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b5583be3268610dc8f0241bff72cc51ab1738d2","datavalue":{"value":{"text":"Safety property-driven stubborn sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708658$C01E2060-1214-43BD-8261-9B8F3B5C716F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d4704dc12e18c038f10f41ff0da6971d9830c4c","datavalue":{"value":"1478.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708658$0CF1CCE3-6965-4F30-86BC-718180A24369","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"140dce1008bd5a96f09ddfd35539426feba4715c","datavalue":{"value":"10.1007/978-3-319-45994-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708658$3EB7E0EB-CBA4-43CB-ABBF-ECCECB25E1BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a5c78dabd7f98a4b2ab7b669bf2f2efb708a364","datavalue":{"value":{"entity-type":"item","numeric-id":1708657,"id":"Q1708657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708658$0009879D-AB94-49F7-B33F-D63EECC97E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708658$CADA83D1-0AB9-452C-8354-C21938B4D05C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708658$AA4DBC50-048B-4D7B-9659-B0B929AEEDDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708658$2843FF0D-6F55-4501-A25B-DDC8E5EA7A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708658$B5116C66-2D37-4418-9D4D-F69A0568FF6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cedb9090f5f1ef02ee86f9aca6a4dbb56e30aef1","datavalue":{"value":"6852690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708658$F51C9DEE-C163-4B98-B5A2-6C0E7612DB6B","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":"Q1708658$369EB1FC-A55C-4306-848F-467DF56CC25E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfb86b5a7880fe401e2b765c59aa315aa5a9ce95","datavalue":{"value":"https://doi.org/10.1007/978-3-319-45994-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708658$F55BD5D2-2F1D-42C4-889A-1459492E717E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ba18df73ee8508647be73adf007bb6789aa4d28","datavalue":{"value":"W2520221671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708658$6D1140D0-A417-4940-A4D8-7C0D8FB862B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88759a13cb4d23b8ba7dd2545173bdb2c8d36186","datavalue":{"value":{"entity-type":"item","numeric-id":5898456,"id":"Q5898456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475a91ca9f183065b90c2f408a6693cbdb0941bd","datavalue":{"value":{"amount":"+0.80887693","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":"Q1708658$59079B1D-982F-403B-8F0C-0034FFBE124C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18e334447b56da968598a4ba16e9cdf9ad59a84","datavalue":{"value":{"entity-type":"item","numeric-id":6047845,"id":"Q6047845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac22821ad3bf15799f741848fe3f23b4cab6c7f2","datavalue":{"value":{"amount":"+0.8072615","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":"Q1708658$F0A57CA7-297F-4286-A38A-46560D1943F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8082ca25e8a1a84351047fc525c409bde54bea7a","datavalue":{"value":{"entity-type":"item","numeric-id":3163871,"id":"Q3163871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10073508a3f240571a6960dffec3df08cdeb6a88","datavalue":{"value":{"amount":"+0.8008305","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":"Q1708658$0A0B7F15-8C30-4DA6-A4B1-3BF50B68AD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ee22cc706fd9798a8f21b25113600131d69579","datavalue":{"value":{"entity-type":"item","numeric-id":2734659,"id":"Q2734659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18c5199011b9d24ed2232776bf689560a79307b","datavalue":{"value":{"amount":"+0.7989117","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":"Q1708658$A2D3D6CB-2718-4211-B3D5-01C10BADB54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7dde2c7bb25808b3529951815db04b96ec6e4a","datavalue":{"value":{"entity-type":"item","numeric-id":943057,"id":"Q943057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6537827a0d68047135a724d8b0d4706dfb64929b","datavalue":{"value":{"amount":"+0.7976687","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":"Q1708658$1C38597C-28A0-4860-B1BD-2406FB208BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eb611003393c1dc0205556b91d6c0ac6c96c45","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164b5cb5338b29069815bdd762f3633699db278d","datavalue":{"value":{"amount":"+0.79764915","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":"Q1708658$D947424A-C1F7-4883-865D-1E1A8DEC3DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0e61f424e98c0fa4b18ca991a4993a14787a86","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164b5cb5338b29069815bdd762f3633699db278d","datavalue":{"value":{"amount":"+0.79764915","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":"Q1708658$ABAD70B9-5B1A-49B0-8E9A-C9902456619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e0395e9bd5562cb9a294a7b0f603a581dee898","datavalue":{"value":{"entity-type":"item","numeric-id":2693115,"id":"Q2693115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248f7ec5d66245aafedfebd9e517df191813504a","datavalue":{"value":{"amount":"+0.7947514","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":"Q1708658$841D6F88-806F-4DBA-8EC9-389A662F61E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba9b5e35757c99e420290f4c6206ac98831ad3f","datavalue":{"value":{"entity-type":"item","numeric-id":3163873,"id":"Q3163873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8f5d217cedeec51440aba3f823fdadff247bbf","datavalue":{"value":{"amount":"+0.7939382","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":"Q1708658$0E904EA0-77B8-471C-B1E1-81DB10D6DA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0f68188bcd501061d0fa1ab7c48e11db3eddc","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844da41b8d46745023fcd3b0e6510fbf4293f793","datavalue":{"value":{"amount":"+0.7906505","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":"Q1708658$B84213CE-7142-4B76-8737-2B062D7C8CFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety property-driven stubborn sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_property-driven_stubborn_sets"}}}}}