{"entities":{"Q2272913":{"pageid":2283656,"ns":120,"title":"Item:Q2272913","lastrevid":43805871,"modified":"2025-11-14T15:47:37Z","type":"item","id":"Q2272913","labels":{"en":{"language":"en","value":"Finding recurrent sets with backward analysis and trace partitioning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106024"}},"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":"Q2272913$20C426BC-5276-431C-A125-E73478CAC7F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13f7e9a9a31aef125cbfbf41c72b068bb7e814c9","datavalue":{"value":{"text":"Finding recurrent sets with backward analysis and trace partitioning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272913$6B54CAF2-BE77-44C5-A1CA-D491718B318D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"512a1d498b24741a20a74f165a9cf5267e34dd0e","datavalue":{"value":"1420.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272913$B7837730-DA9C-4C82-B927-82929C492F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b936256361a3082d315cb31dc8ddf59c9b2dc81","datavalue":{"value":"10.1007/978-3-662-49674-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272913$EB98C874-087C-457F-99AE-E89926B9EF04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082d9474e907d6d05b87a075c48afd47506893ad","datavalue":{"value":{"entity-type":"item","numeric-id":1631231,"id":"Q1631231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272913$154E5ED3-3632-43C1-A9DF-CF5110395338","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":"Q2272913$ABAE3635-1691-406A-BFB4-BBDD4BF0A1E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272913$8D1C6505-5F52-4E3C-8FF9-C1A78A2ABD95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b00694d65680fe63ee374ac3a218892f4764f8c9","datavalue":{"value":"https://link.springer.com/chapter/10.1007/978-3-662-49674-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272913$1E53D2E6-1E50-4C81-B67D-8D86707AC87B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272913$83A8F928-CDA1-4371-BA95-C5AE8F7FB7EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff3faa598fff76c8d2ebdaa059346bbb396d40b7","datavalue":{"value":"7106024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272913$4661AF19-B45A-49FA-8613-580A25D66401","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":"Q2272913$DA0DD600-1B95-4E02-ADE0-8CAA00234389","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d43b887c0f5c770005f85425a7d0ced085022710","datavalue":{"value":"W2337307448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272913$625BF789-3D8C-49CC-8C92-388E4B643CB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0be4e03762369c0acce969df3fd254321bced59","datavalue":{"value":{"entity-type":"item","numeric-id":4557486,"id":"Q4557486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1667ad9e620541d78c0bec2b42979a3fe6b005cc","datavalue":{"value":{"amount":"+0.83125097","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":"Q2272913$1994199A-B6E7-4218-A2DC-9B5B65ECD1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1096957c6c4c1971f02579f678573e8a36ce5fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4461632,"id":"Q4461632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723957e4c90689464d40c3450bea390330dc4f5d","datavalue":{"value":{"amount":"+0.82593876","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":"Q2272913$60DED443-6C5E-4681-9849-0EC1D62D0CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9abe9b9bbc8b27bc8f219d3a780bdebe083ae24a","datavalue":{"value":{"entity-type":"item","numeric-id":4333077,"id":"Q4333077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8cb25d0c2fa354cf617105124442f03523aea08","datavalue":{"value":{"amount":"+0.8147681","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":"Q2272913$93E2C5C2-EB20-459A-ADDA-732A291DEE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0cd8825eef8dbf3489e695c9ad90db2e9555d35","datavalue":{"value":{"entity-type":"item","numeric-id":4729325,"id":"Q4729325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"becc8f62b567037c0cb315bb42695614da2b5970","datavalue":{"value":{"amount":"+0.8141879","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":"Q2272913$345B63C8-850D-4091-8179-876A65BBBEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599c79f3ec89b87169beb9e3e282dc29a27e0fc","datavalue":{"value":{"entity-type":"item","numeric-id":1129648,"id":"Q1129648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c4216cbbf5f406618877f9ad3182cd1057ef36","datavalue":{"value":{"amount":"+0.8124466","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":"Q2272913$714EB308-ED1B-4427-B002-C3577BAD30EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05600c9c945820003e924c7de059cf0ac06182f3","datavalue":{"value":{"entity-type":"item","numeric-id":4252407,"id":"Q4252407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c65f9f289a5c9ccaeccc3f3c83a0281f9981dd","datavalue":{"value":{"amount":"+0.81208014","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":"Q2272913$13670072-EC5D-4727-8F77-2E66851C49D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b00f53db57790898b591016afcfa329db2613f","datavalue":{"value":{"entity-type":"item","numeric-id":3011723,"id":"Q3011723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c492c6f1d330ca1b458805ab8ebf252467c99d7","datavalue":{"value":{"amount":"+0.8110445","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":"Q2272913$591ED98C-908C-4661-A1E0-DF356CB51845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fccb8490da33745e0d6ac327a89eca7109751bd","datavalue":{"value":{"entity-type":"item","numeric-id":2848128,"id":"Q2848128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f015f2220a958ff8794c8bffaeb8f22ba7baf8c4","datavalue":{"value":{"amount":"+0.8092669","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":"Q2272913$E13368A2-88C0-4658-95B8-3ACCF26B2B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639bd90dbfca5b0113e8f97dd7481f84e175b253","datavalue":{"value":{"entity-type":"item","numeric-id":1335577,"id":"Q1335577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49cf317911ec5d322e7bbb01e4a61fa6bed9db23","datavalue":{"value":{"amount":"+0.8092585","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":"Q2272913$6A7474CD-D1B9-47DF-8601-70E921408D47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2272913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2272913"}}}}}